ideas-1.7: Feedback services for intelligent tutoring systems

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

Ideas.Service.State

Contents

Description

The information maintained for a learner trying to complete a derivation.

Synopsis

Exercise state

data State a Source #

Instances

Show (State a) Source # 

Methods

showsPrec :: Int -> State a -> ShowS #

show :: State a -> String #

showList :: [State a] -> ShowS #

Firsts (State a) Source # 

Associated Types

type Elem (State a) :: * Source #

Methods

ready :: State a -> Bool Source #

firsts :: State a -> [(Elem (State a), State a)] Source #

HasId (State a) Source # 

Methods

getId :: State a -> Id Source #

changeId :: (Id -> Id) -> State a -> State a Source #

HasEnvironment (State a) Source # 

Methods

environment :: State a -> Environment Source #

setEnvironment :: Environment -> State a -> State a Source #

deleteRef :: Ref a -> State a -> State a Source #

insertRef :: Ref a -> a -> State a -> State a Source #

changeRef :: Ref a -> (a -> a) -> State a -> State a Source #

type Elem (State a) Source # 
type Elem (State a) = (Rule (Context a), Context a, Environment)

firsts :: Firsts s => s -> [(Elem s, s)] Source #

The firsts set.