ideas-1.6: Feedback services for intelligent tutoring systems

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

Ideas.Service.Diagnose

Description

Diagnose a term submitted by a student

Documentation

data Diagnosis a Source #

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

tDiagnosis :: Type a (Diagnosis a) Source #

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

getState :: Diagnosis a -> Maybe (State a) Source #

getStateAndReady :: Diagnosis a -> Maybe (State a, Bool) Source #

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

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