Advise-me-0.1: Assessment services for the Advise-Me project

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Task.MagicTrick.Assess

Description

Assessment for the magictrick exercise

Documentation

assess' :: Diagnosis -> Evidence Source #

buildStepsEvidence :: Approach -> Maybe Expr -> EvBuilder () Source #

add8C :: Constraint EvBuilder [Attribute] Source #

mul3C :: Constraint EvBuilder [Attribute] Source #

sub4C :: Constraint EvBuilder [Attribute] Source #

addXC :: Expr -> Constraint EvBuilder [Attribute] Source #

div4C :: Constraint EvBuilder [Attribute] Source #

add2C :: Constraint EvBuilder [Attribute] Source #

subXC :: Expr -> Constraint EvBuilder [Attribute] Source #

fullyExpanded :: Expr -> Constraint EvBuilder [Attribute] Source #

stepsA1Builder :: Expr -> EvBuilder () Source #

stepsA2Builder :: Expr -> EvBuilder () Source #

stepsN1Builder :: Expr -> EvBuilder () Source #

stepsN2Builder :: Expr -> EvBuilder () Source #