ideas-1.6: Feedback services for intelligent tutoring systems

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

Ideas.Service.Submit

Description

Diagnose a term submitted by a student. Deprecated (see diagnose service).

Documentation

submit :: State a -> Context a -> Result a Source #

data Result a Source #

Constructors

Buggy [Rule (Context a)] 
NotEquivalent String 
Ok [Rule (Context a)] (State a) 
Detour [Rule (Context a)] (State a) 
Unknown (State a) 

tResult :: Type a (Result a) Source #

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