chp-1.4.0: An implementation of concurrency ideas from Communicating Sequential ProcessesSource codeContentsIndex
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.
newtype CSPTrace u = CSPTrace (ChannelLabels u, [RecordedEvent u])
runCHP_CSPTrace :: CHP a -> IO (Maybe a, CSPTrace Unique)
runCHP_CSPTraceAndPrint :: CHP a -> IO ()
newtype CSPTrace u 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.
CSPTrace (ChannelLabels u, [RecordedEvent u])
show/hide Instances
runCHP_CSPTrace :: CHP a -> IO (Maybe a, CSPTrace Unique)Source
runCHP_CSPTraceAndPrint :: CHP a -> IO ()Source
Produced by Haddock version 2.4.2