Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Task.Matryoshka.Assess

Description

Assessment for matryoshka exercise. For the algebraic strategy we generate labels that can be easily matched to evidence For the numerical strategies we simplify look for certain computations

Documentation

assess' :: Diagnosis -> Evidence Source #

buildStepsEvidence :: Approach -> EvBuilder () Source #

stepsAGBuilder :: EvBuilder () Source #

isStepN1 :: Constraint EvBuilder [Attribute] Source #

stepsN1Builder :: EvBuilder () Source #

isStepN2a :: Constraint EvBuilder [Attribute] Source #

isStepN2b :: Constraint EvBuilder [Attribute] Source #

stepsN2Builder :: EvBuilder () Source #

stepBuilder :: Node (Maybe Bool) -> Expr -> Expr -> Constraint EvBuilder [Attribute] -> EvBuilder () Source #