Ideas.Service.Diagnose

Diagnose a term submitted by a student

Documentation

data Diagnosis a

Constructors

SyntaxError String

Buggy Environment (Rule (Context a))

NotEquivalent String

Similar Bool (State a)

WrongRule Bool (State a) (Maybe (Rule (Context a)))

Expected Bool (State a) (Rule (Context a))

Detour Bool (State a) Environment (Rule (Context a))

Correct Bool (State a)

Unknown Bool (State a)

Instances

Show (Diagnosis a)

tDiagnosis :: Type a (Diagnosis a)

diagnose :: State a -> Context a -> Maybe Id -> Diagnosis a

difference :: Exercise a -> a -> a -> Maybe (a, a)

differenceEqual :: Exercise a -> a -> a -> Maybe (a, a)