Safe Haskell	Safe-Inferred
Language	GHC2021

Lang.ClassificationInstances

Contents

Orphan instances

Documentation

unzipProof :: Proof ((h1, h2), j) -> (Proof (h1, j), Proof (h2, j)) #

newtype IsArith #

Constructors

IsArith Bool

Instances

Instances details

Show IsArith #
Instance details Defined in Lang.ClassificationInstances Methods showsPrec :: Int -> IsArith -> ShowS # show :: IsArith -> String # showList :: [IsArith] -> ShowS #
Score IsArith #
Instance details Defined in Lang.ClassificationInstances Methods polarity :: Polarity # score :: IsArith -> Float #
Classification IsArith EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsArith, EvalJ)] -> IsArith #

isArithScore :: Fractional a => IsArith -> a #

newtype IsLiteral #

Constructors

IsLiteral Bool

Instances

Instances details

Show IsLiteral #
Instance details Defined in Lang.ClassificationInstances Methods showsPrec :: Int -> IsLiteral -> ShowS # show :: IsLiteral -> String # showList :: [IsLiteral] -> ShowS #
Score IsLiteral #
Instance details Defined in Lang.ClassificationInstances Methods polarity :: Polarity # score :: IsLiteral -> Float #
Classification IsLiteral EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsLiteral, EvalJ)] -> IsLiteral #

isLiteralScore :: Fractional a => IsLiteral -> a #

newtype IsConditional #

Constructors

IsConditional Bool

Instances

Instances details

Show IsConditional #
Instance details Defined in Lang.ClassificationInstances Methods showsPrec :: Int -> IsConditional -> ShowS # show :: IsConditional -> String # showList :: [IsConditional] -> ShowS #
Score IsConditional #
Instance details Defined in Lang.ClassificationInstances Methods polarity :: Polarity # score :: IsConditional -> Float #
Classification IsConditional EvalJ IsConditionalCTX #
Instance details Defined in Lang.ClassificationInstances Methods classify :: IsConditionalCTX -> EvalJ -> [Proof (IsConditional, EvalJ)] -> IsConditional #

newtype IsConditionalCTX #

Constructors

IsConditionalCTX Bool

Instances

Instances details

Context IsConditionalCTX EvalJ #
Instance details Defined in Lang.ClassificationInstances Methods rootCtx :: Proxy EvalJ -> IsConditionalCTX # childContexts :: IsConditionalCTX -> Proof EvalJ -> [IsConditionalCTX] #
Classification IsConditional EvalJ IsConditionalCTX #
Instance details Defined in Lang.ClassificationInstances Methods classify :: IsConditionalCTX -> EvalJ -> [Proof (IsConditional, EvalJ)] -> IsConditional #

isConditionalScore :: Fractional a => IsConditional -> a #

doesOccurAgain :: Var -> Proof EvalJ -> Bool #

newtype IsBaseCase #

Constructors

BHC Bool

Instances

Instances details

Show IsBaseCase #
Instance details Defined in Lang.ClassificationInstances Methods showsPrec :: Int -> IsBaseCase -> ShowS # show :: IsBaseCase -> String # showList :: [IsBaseCase] -> ShowS #
Score IsBaseCase #
Instance details Defined in Lang.ClassificationInstances Methods polarity :: Polarity # score :: IsBaseCase -> Float #
Classification IsBaseCase EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsBaseCase, EvalJ)] -> IsBaseCase #
Strategy TestClassification EvalJ ((), IsRelevantRecCallCTX) #
Instance details Defined in Lang.ClassificationInstances Methods pick :: Proof (TestClassification, EvalJ) -> [EvalJ] #

baseCaseScore :: IsBaseCase -> Float #

newtype IsBinOp #

Constructors

IsBinOp Bool

Instances

Instances details

Show IsBinOp #
Instance details Defined in Lang.ClassificationInstances Methods showsPrec :: Int -> IsBinOp -> ShowS # show :: IsBinOp -> String # showList :: [IsBinOp] -> ShowS #
Score IsBinOp #
Instance details Defined in Lang.ClassificationInstances Methods polarity :: Polarity # score :: IsBinOp -> Float #
Classification IsBinOp EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsBinOp, EvalJ)] -> IsBinOp #

binOpScore :: IsBinOp -> Float #

newtype IsIfExpr #

Constructors

IsIfExpr Bool

Instances

Instances details

Show IsIfExpr #
Instance details Defined in Lang.ClassificationInstances Methods showsPrec :: Int -> IsIfExpr -> ShowS # show :: IsIfExpr -> String # showList :: [IsIfExpr] -> ShowS #
Score IsIfExpr #
Instance details Defined in Lang.ClassificationInstances Methods polarity :: Polarity # score :: IsIfExpr -> Float #
Classification IsIfExpr EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsIfExpr, EvalJ)] -> IsIfExpr #

ifExprScore :: IsIfExpr -> Float #

newtype IsRelevantRecCall #

Constructors

IsRelevantRecCall Int

Instances

Instances details

Show IsRelevantRecCall #
Instance details Defined in Lang.ClassificationInstances Methods showsPrec :: Int -> IsRelevantRecCall -> ShowS # show :: IsRelevantRecCall -> String # showList :: [IsRelevantRecCall] -> ShowS #
Score IsRelevantRecCall #
Instance details Defined in Lang.ClassificationInstances Methods polarity :: Polarity # score :: IsRelevantRecCall -> Float #
Classification IsRelevantRecCall EvalJ IsRelevantRecCallCTX #
Instance details Defined in Lang.ClassificationInstances Methods classify :: IsRelevantRecCallCTX -> EvalJ -> [Proof (IsRelevantRecCall, EvalJ)] -> IsRelevantRecCall #
Strategy TestClassification EvalJ ((), IsRelevantRecCallCTX) #
Instance details Defined in Lang.ClassificationInstances Methods pick :: Proof (TestClassification, EvalJ) -> [EvalJ] #

newtype IsRelevantRecCallCTX #

Constructors

IsRelevantRecCallCTX Int

Instances

Instances details

Context IsRelevantRecCallCTX EvalJ #
Instance details Defined in Lang.ClassificationInstances Methods rootCtx :: Proxy EvalJ -> IsRelevantRecCallCTX # childContexts :: IsRelevantRecCallCTX -> Proof EvalJ -> [IsRelevantRecCallCTX] #
Classification IsRelevantRecCall EvalJ IsRelevantRecCallCTX #
Instance details Defined in Lang.ClassificationInstances Methods classify :: IsRelevantRecCallCTX -> EvalJ -> [Proof (IsRelevantRecCall, EvalJ)] -> IsRelevantRecCall #
Strategy TestClassification EvalJ ((), IsRelevantRecCallCTX) #
Instance details Defined in Lang.ClassificationInstances Methods pick :: Proof (TestClassification, EvalJ) -> [EvalJ] #

relevantRecCallScore :: IsRelevantRecCall -> Float #

newtype IsClosure #

Constructors

IsClosure Bool

Instances

Instances details

Show IsClosure #
Instance details Defined in Lang.ClassificationInstances Methods showsPrec :: Int -> IsClosure -> ShowS # show :: IsClosure -> String # showList :: [IsClosure] -> ShowS #
Score IsClosure #
Instance details Defined in Lang.ClassificationInstances Methods polarity :: Polarity # score :: IsClosure -> Float #
Context IsClosure EvalJ #
Instance details Defined in Lang.ClassificationInstances Methods rootCtx :: Proxy EvalJ -> IsClosure # childContexts :: IsClosure -> Proof EvalJ -> [IsClosure] #
Classification IsClosure EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsClosure, EvalJ)] -> IsClosure #

closureScore :: IsClosure -> Float #

type CustomClassify = (((((((IsArith, IsLiteral), IsConditional), IsBaseCase), IsClosure), IsBinOp), IsIfExpr), IsRelevantRecCall) #

weightedCustomScore :: CustomClassify -> Float #

newtype CustomClassifyNT #

Constructors

CustomClassifyNT CustomClassify

runExample :: String -> IO () #

postProcessJ :: EvalJ -> EvalJ #

class PostProcessing a where #

Methods

postProcess :: a -> String #

Instances

Instances details

PostProcessing ArithmeticPostProcess #
Instance details Defined in Lang.ClassificationInstances Methods postProcess :: ArithmeticPostProcess -> String #
PostProcessing SimpleArithmeticPostProcess #
Instance details Defined in Lang.ClassificationInstances Methods postProcess :: SimpleArithmeticPostProcess -> String #
Show j => PostProcessing (CanonicalPostProcess j) #
Instance details Defined in Lang.ClassificationInstances Methods postProcess :: CanonicalPostProcess j -> String #

newtype CanonicalPostProcess j #

Constructors

CanonicalPostProcess j

Instances

Instances details

Show j => PostProcessing (CanonicalPostProcess j) #
Instance details Defined in Lang.ClassificationInstances Methods postProcess :: CanonicalPostProcess j -> String #

newtype ArithmeticPostProcess #

Constructors

ArithmeticPostProcess EvalJ

Instances

Instances details

PostProcessing ArithmeticPostProcess #
Instance details Defined in Lang.ClassificationInstances Methods postProcess :: ArithmeticPostProcess -> String #

newtype SimpleArithmeticPostProcess #

Constructors

SimpleArithmeticPostProcess EvalJ

Instances

Instances details

PostProcessing SimpleArithmeticPostProcess #
Instance details Defined in Lang.ClassificationInstances Methods postProcess :: SimpleArithmeticPostProcess -> String #

thd :: (a, b, c) -> c #

fth :: (a, b, c, d) -> d #

type TestClassification = (IsBaseCase, IsRelevantRecCall) #

pickTestClassficationStrategy :: Proof EvalJ -> [EvalJ] #

Orphan instances

Context () j #
Instance details Methods rootCtx :: Proxy j -> () # childContexts :: () -> Proof j -> [()] #
(Context a j, Context b j) => Context (a, b) j #
Instance details Methods rootCtx :: Proxy j -> (a, b) # childContexts :: (a, b) -> Proof j -> [(a, b)] #
(Classification h1 j c1, Classification h2 j c2) => Classification (h1, h2) j (c1, c2) #
Instance details Methods classify :: (c1, c2) -> j -> [Proof ((h1, h2), j)] -> (h1, h2) #
(Context (a, b) j, Context c j) => Context (a, b, c) j #
Instance details Methods rootCtx :: Proxy j -> (a, b, c) # childContexts :: (a, b, c) -> Proof j -> [(a, b, c)] #
(Context (a, b, c) j, Context d j) => Context (a, b, c, d) j #
Instance details Methods rootCtx :: Proxy j -> (a, b, c, d) # childContexts :: (a, b, c, d) -> Proof j -> [(a, b, c, d)] #
(Context (a, b, c, d) j, Context e j) => Context (a, b, c, d, e) j #
Instance details Methods rootCtx :: Proxy j -> (a, b, c, d, e) # childContexts :: (a, b, c, d, e) -> Proof j -> [(a, b, c, d, e)] #
(Context (a, b, c, d, e) j, Context f j) => Context (a, b, c, d, e, f) j #
Instance details Methods rootCtx :: Proxy j -> (a, b, c, d, e, f) # childContexts :: (a, b, c, d, e, f) -> Proof j -> [(a, b, c, d, e, f)] #
(Context (a, b, c, d, e, f) j, Context g j) => Context (a, b, c, d, e, f, g) j #
Instance details Methods rootCtx :: Proxy j -> (a, b, c, d, e, f, g) # childContexts :: (a, b, c, d, e, f, g) -> Proof j -> [(a, b, c, d, e, f, g)] #
(Context (a, b, c, d, e, f, g) j, Context h j) => Context (a, b, c, d, e, f, g, h) j #
Instance details Methods rootCtx :: Proxy j -> (a, b, c, d, e, f, g, h) # childContexts :: (a, b, c, d, e, f, g, h) -> Proof j -> [(a, b, c, d, e, f, g, h)] #
(Context (a, b, c, d, e, f, g, h) j, Context i j) => Context (a, b, c, d, e, f, g, h, i) j #
Instance details Methods rootCtx :: Proxy j -> (a, b, c, d, e, f, g, h, i) # childContexts :: (a, b, c, d, e, f, g, h, i) -> Proof j -> [(a, b, c, d, e, f, g, h, i)] #
(Context (a, b, c, d, e, f, g, h, i) j, Context j' j) => Context (a, b, c, d, e, f, g, h, i, j') j #
Instance details Methods rootCtx :: Proxy j -> (a, b, c, d, e, f, g, h, i, j') # childContexts :: (a, b, c, d, e, f, g, h, i, j') -> Proof j -> [(a, b, c, d, e, f, g, h, i, j')] #
(Context (a, b, c, d, e, f, g, h, i, j') j, Context k j) => Context (a, b, c, d, e, f, g, h, i, j', k) j #
Instance details Methods rootCtx :: Proxy j -> (a, b, c, d, e, f, g, h, i, j', k) # childContexts :: (a, b, c, d, e, f, g, h, i, j', k) -> Proof j -> [(a, b, c, d, e, f, g, h, i, j', k)] #
(Context (a, b, c, d, e, f, g, h, i, j', k) j, Context l j) => Context (a, b, c, d, e, f, g, h, i, j', k, l) j #
Instance details Methods rootCtx :: Proxy j -> (a, b, c, d, e, f, g, h, i, j', k, l) # childContexts :: (a, b, c, d, e, f, g, h, i, j', k, l) -> Proof j -> [(a, b, c, d, e, f, g, h, i, j', k, l)] #