ideas-1.5: Feedback services for intelligent tutoring systems

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

Ideas.Common.Rule.EnvironmentMonad

Contents

Description

State monad for environments

Synopsis

Environment Monad

data EnvMonad a where Source

Constructors

(:=) :: Typeable a => Ref a -> a -> EnvMonad () infix 2 
(:~) :: Typeable a => Ref a -> (a -> a) -> EnvMonad () infix 2 
(:?) :: Typeable a => Ref a -> a -> EnvMonad a infix 2 

Running the monad

Extracting used references