Ideas.Service.Diagnose

Diagnose a term submitted by a student

Documentation

data Diagnosis a

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

Show (Diagnosis a)

Methods

showsPrec :: Int -> Diagnosis a -> ShowS

show :: Diagnosis a -> String

showList :: [Diagnosis a] -> ShowS

tDiagnosis :: Type a (Diagnosis a)

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

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

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

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