Ideas.Service.Diagnose

Diagnose a term submitted by a student

Documentation

data Diagnosis a

Constructors

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

Typed a (Diagnosis a)

Show (Diagnosis a)

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

restartIfNeeded :: State a -> State a

newState :: Diagnosis a -> Maybe (State a)

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

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