Control.Concurrent.CHP.Traces.CSP

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.

Documentation

newtype CSPTrace

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)

runCHP_CSPTraceAndPrint :: CHP a -> IO ()