|
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 |
|
|
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 | | Instances | |
|
|
|
A helper function for pulling out the interesting bit from a CSP trace processed
by labelAll.
Added in version 1.5.0.
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |