chp-1.5.1: An implementation of concurrency ideas from Communicating Sequential Processes Source code Contents Index

Control.Concurrent.CHP.Traces.TraceOff

Synopsis

data TraceOff a runCHP_TraceOff :: CHP a -> IO (Maybe a, TraceOff Unique)

Documentation

data TraceOff a Source

A trace type that does not record anything. Instances Trace TraceOff Show (TraceOff a)

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