ideas-1.1: Feedback services for intelligent tutoring systems

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

Ideas.Service.Diagnose

Description

Diagnose a term submitted by a student

Documentation

data Diagnosis a Source

Constructors

Buggy Environment (Rule (Context a)) 
NotEquivalent 
Similar Bool (State a) 
Expected Bool (State a) (Rule (Context a)) 
Detour Bool (State a) Environment (Rule (Context a)) 
Correct Bool (State a) 

Instances

diagnose :: State a -> Context a -> Diagnosis aSource

restartIfNeeded :: State a -> State aSource

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