Safe Haskell	Safe-Inferred

Control.Concurrent.CHP.Traces.TraceOff

Synopsis

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.