ideas-1.5: Feedback services for intelligent tutoring systems

Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Ideas.Common.Rule.EnvironmentMonad

Contents

Environment Monad
Running the monad
Extracting used references

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

Instances

Monad EnvMonad Source
Functor EnvMonad Source
Applicative EnvMonad Source
Alternative EnvMonad Source
MonadPlus EnvMonad Source
MakeTrans EnvMonad Source

getRef :: Typeable a => Ref a -> EnvMonad a Source

updateRefs :: MonadPlus m => [EnvMonad a] -> Environment -> m Environment Source

Running the monad

runEnvMonad :: EnvMonad a -> Environment -> [(a, Environment)] Source

execEnvMonad :: EnvMonad a -> Environment -> [Environment] Source

evalEnvMonad :: EnvMonad a -> Environment -> [a] Source

Extracting used references

envMonadRefs :: EnvMonad a -> [Some Ref] Source

envMonadFunctionRefs :: (a -> EnvMonad b) -> [Some Ref] Source