Control.Concurrent.CHPSpec.Parallel

A module for running items in parallel. See http://chplib.wordpress.com/2010/04/13/automatic-model-generation-part-1-parallel/ 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.

Documentation

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

runParallel_ :: [CHP a] -> CHP ()

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

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

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

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