chp-1.3.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 u = CSPTrace (ChannelLabels u, [RecordedEvent u]) runCHP_CSPTrace :: CHP a -> IO (Maybe a, CSPTrace Unique) runCHP_CSPTraceAndPrint :: CHP a -> IO ()

Documentation

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. Constructors CSPTrace (ChannelLabels u, [RecordedEvent u]) Instances Trace CSPTrace Ord u => Show (CSPTrace u)

runCHP_CSPTrace :: CHP a -> IO (Maybe a, CSPTrace Unique) Source

runCHP_CSPTraceAndPrint :: CHP a -> IO () Source

Produced by Haddock version 2.4.2