ideas-1.5: Feedback services for intelligent tutoring systems

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

Ideas.Common.Strategy.Process

Description

Processes support choices and sequences and are modelled after Hoare's CSP calculus.

Synopsis

Documentation

data Process a Source

Process data type with efficient support for sequences

eqProcessBy :: (a -> a -> Bool) -> Process a -> Process a -> Bool Source

Generalized equality of processes, which takes an equality function for the symbols.

withMenu :: Choice b => (a -> Process a -> b) -> b -> Process a -> b Source

fold :: Choice b => (a -> b -> b) -> b -> Process a -> b Source

runProcess :: Apply f => Process (f a) -> a -> [a] Source