chp-2.1.0: An implementation of concurrency ideas from Communicating Sequential Processes

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

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

getCSPPlain :: CSPTrace String -> [RecordedEvent String]Source

A helper function for pulling out the interesting bit from a CSP trace processed by labelAll.

Added in version 1.5.0.