Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Ideas.Service.Diagnose
Description
Diagnose a term submitted by a student
Documentation
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) |
tDiagnosis :: Type a (Diagnosis a) Source #
difference :: Exercise a -> a -> a -> Maybe (a, a) Source #
differenceEqual :: Exercise a -> a -> a -> Maybe (a, a) Source #