xrs-0.1.0.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Lang.NamedExplanation

Documentation

data XEvalJ #

Constructors

XEvalJ Expr Val 

Instances

Instances details
Show XEvalJ # 
Instance details

Defined in Lang.NamedExplanation

Methods

showsPrec :: Int -> XEvalJ -> ShowS #

show :: XEvalJ -> String #

showList :: [XEvalJ] -> ShowS #

Eq XEvalJ # 
Instance details

Defined in Lang.NamedExplanation

Methods

(==) :: XEvalJ -> XEvalJ -> Bool #

(/=) :: XEvalJ -> XEvalJ -> Bool #

getParts :: Proof EvalJ -> (Expr, Val) #

oneStep :: Proof a -> (a, [a]) #

subTreeByJudge :: Eq j => j -> Proof j -> Proof j #

fillRight :: Proof EvalJ -> [XEvalJ] #

data XTag #

Constructors

XTag EvalJ [XEvalJ] 

Instances

Instances details
Show XTag # 
Instance details

Defined in Lang.NamedExplanation

Methods

showsPrec :: Int -> XTag -> ShowS #

show :: XTag -> String #

showList :: [XTag] -> ShowS #

tagJudge :: EvalJ -> XTag #

tagJudge' :: Proof EvalJ -> XTag #

tagProof :: Proof EvalJ -> Proof XTag #

rightProofTree :: Proof XTag -> Proof [XEvalJ] #

data XTagClassify #

Constructors

XTagClassify [XEvalJ] 

Instances

Instances details
Show XTagClassify # 
Instance details

Defined in Lang.NamedExplanation

Methods

showsPrec :: Int -> XTagClassify -> ShowS #

show :: XTagClassify -> String #

showList :: [XTagClassify] -> ShowS #

Classification XTagClassify EvalJ () # 
Instance details

Defined in Lang.NamedExplanation

Methods

classify :: () -> EvalJ -> [Proof (XTagClassify, EvalJ)] -> XTagClassify #

evaluationExamples :: [XTag] #