chp-220.127.116.11: An implementation of concurrency ideas from Communicating Sequential Processes
data TraceOff a Source
A trace type that does not record anything.
runCHP_TraceOff :: CHP a -> IO (Maybe a, TraceOff Unique)Source
A type-constrained version of runCHPAndTrace. This is semantically identical
to runCHP, but this function is useful with the qcCHP' function in the testing
Produced by Haddock version 2.8.1