chp-1.5.0: 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