Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Processes support choices and sequences and are modelled after Hoare's CSP calculus.
Synopsis
Documentation
Process data type with efficient support for sequences
Instances
Functor Process Source # | |
Eq a => Eq (Process a) Source # | |
Fix (Process a) Source # | |
Choice (Process a) Source # | |
Firsts (Process a) Source # | |
Sequence (Process a) Source # | |
Defined in Ideas.Common.Strategy.Process | |
type Elem (Process a) Source # | |
Defined in Ideas.Common.Strategy.Process | |
type Sym (Process a) Source # | |
Defined in Ideas.Common.Strategy.Process |
eqProcessBy :: (a -> a -> Bool) -> Process a -> Process a -> Bool Source #
Generalized equality of processes, which takes an equality function for the symbols.
runProcess :: Apply f => Process (f a) -> a -> [a] Source #