Control.CUtils.Processes

An implementation of communicating sequential processes.

Documentation

data CSP

The CSP data type:

:|| - interleave

:? - deterministic choice

Join - interface parallel

:-> - prefix

Stop - empty computation

Do - execute IO, then behave as the returned process

Constructors

CSP :|| CSP

CSP :? CSP

Join CSP [String] CSP

String :-> CSP infixr 1

Stop

Do (IO CSP)

Instances

Show CSP

runCSP0 :: (String -> IO (), Chan String) -> [(MVar Side, String, Side)] -> CSP -> IO ()

runCSP :: CSP -> IO ()

Run a CSP computation.