chp-1.0.2: An implementation of concurrency ideas from Communicating Sequential Processes
Source code
Contents
Index
Control.Concurrent.CHP.Traces.CSP
Description
This module contains support for CSP-style tracing. A CSP trace is simply a flat list of events in the order in which they occurred.
Synopsis
newtype
CSPTrace
=
CSPTrace
(ChannelLabels, [
RecordedEvent
])
runCHP_CSPTrace
::
CHP
a ->
IO
(
Maybe
a,
CSPTrace
)
runCHP_CSPTraceAndPrint
::
CHP
a ->
IO
()
Documentation
newtype
CSPTrace
Source
A classic CSP trace. It is simply the channel labels, and a list of recorded events in sequence -- the head of the list is the first (oldest) event.
Constructors
CSPTrace
(ChannelLabels, [
RecordedEvent
])
Instances
Show
CSPTrace
Trace
CSPTrace
runCHP_CSPTrace
::
CHP
a ->
IO
(
Maybe
a,
CSPTrace
)
Source
runCHP_CSPTraceAndPrint
::
CHP
a ->
IO
()
Source
Produced by
Haddock
version 2.3.0