chp-spec-1.0.0: A mirror implementation of chp that generates a specification of the program



A module for running items in parallel. See for details of how parallel items are modelled.

Parallel specifications are well supported, and the only change to this module from normal CHP is that forking is not currently supported.


runParallel :: [CHP a] -> CHP [a]Source

(<||>) :: CHP a -> CHP b -> CHP (a, b)Source

(<|*|>) :: CHP a -> CHP b -> CHP ()Source

runParMapM :: (a -> CHP b) -> [a] -> CHP [b]Source

runParMapM_ :: (a -> CHP b) -> [a] -> CHP ()Source