chp-1.5.1: An implementation of concurrency ideas from Communicating Sequential ProcessesSource codeContentsIndex
data TraceOff a
runCHP_TraceOff :: CHP a -> IO (Maybe a, TraceOff Unique)
data TraceOff a Source
A trace type that does not record anything.
show/hide Instances
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 module.
Produced by Haddock version 2.4.2