xrs-0.1.0.0

Safe Haskell	Safe-Inferred
Language	GHC2021

Lang.Operation

Documentation

data EvalJ #

Constructors

EvalJ GlobalEnv LocalEnv Expr Val

Instances

Instances details

Show EvalJ #
Instance details Defined in Lang.Operation Methods showsPrec :: Int -> EvalJ -> ShowS # show :: EvalJ -> String # showList :: [EvalJ] -> ShowS #
Eq EvalJ #
Instance details Defined in Lang.Operation Methods (==) :: EvalJ -> EvalJ -> Bool # (/=) :: EvalJ -> EvalJ -> Bool #
Latex EvalJ #
Instance details Defined in Lang.Operation Methods latex :: EvalJ -> String #
Explain EvalJ #
Instance details Defined in Lang.Operation Methods premises :: EvalJ -> [[EvalJ]] #
Context IsClosure EvalJ #
Instance details Defined in Lang.ClassificationInstances Methods rootCtx :: Proxy EvalJ -> IsClosure # childContexts :: IsClosure -> Proof EvalJ -> [IsClosure] #
Context IsConditionalCTX EvalJ #
Instance details Defined in Lang.ClassificationInstances Methods rootCtx :: Proxy EvalJ -> IsConditionalCTX # childContexts :: IsConditionalCTX -> Proof EvalJ -> [IsConditionalCTX] #
Context IsRelevantRecCallCTX EvalJ #
Instance details Defined in Lang.ClassificationInstances Methods rootCtx :: Proxy EvalJ -> IsRelevantRecCallCTX # childContexts :: IsRelevantRecCallCTX -> Proof EvalJ -> [IsRelevantRecCallCTX] #
Classification IsArith EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsArith, EvalJ)] -> IsArith #
Classification IsBaseCase EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsBaseCase, EvalJ)] -> IsBaseCase #
Classification IsBinOp EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsBinOp, EvalJ)] -> IsBinOp #
Classification IsClosure EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsClosure, EvalJ)] -> IsClosure #
Classification IsConditional EvalJ IsConditionalCTX #
Instance details Defined in Lang.ClassificationInstances Methods classify :: IsConditionalCTX -> EvalJ -> [Proof (IsConditional, EvalJ)] -> IsConditional #
Classification IsIfExpr EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsIfExpr, EvalJ)] -> IsIfExpr #
Classification IsLiteral EvalJ () #
Instance details Defined in Lang.ClassificationInstances Methods classify :: () -> EvalJ -> [Proof (IsLiteral, EvalJ)] -> IsLiteral #
Classification IsRelevantRecCall EvalJ IsRelevantRecCallCTX #
Instance details Defined in Lang.ClassificationInstances Methods classify :: IsRelevantRecCallCTX -> EvalJ -> [Proof (IsRelevantRecCall, EvalJ)] -> IsRelevantRecCall #
Classification XTagClassify EvalJ () #
Instance details Defined in Lang.NamedExplanation Methods classify :: () -> EvalJ -> [Proof (XTagClassify, EvalJ)] -> XTagClassify #
Strategy TestClassification EvalJ ((), IsRelevantRecCallCTX) #
Instance details Defined in Lang.ClassificationInstances Methods pick :: Proof (TestClassification, EvalJ) -> [EvalJ] #

fillEnvJ :: EvalJ -> EvalJ #

exprMap :: (Expr -> Expr) -> EvalJ -> EvalJ #

trace :: GlobalEnv -> Expr -> Proof EvalJ #