chp-2.2.0.1: An implementation of concurrency ideas from Communicating Sequential Processes

Safe HaskellSafe-Inferred

Control.Concurrent.CHP.Traces.TraceOff

Synopsis

Documentation

data TraceOff a Source

A trace type that does not record anything.

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.