|
Control.Concurrent.CHP.Traces.Structural |
|
|
Description |
This module contains support for structural traces. Structural
traces reflect the parallel composition of your program. Effectively,
each process records its own local trace. Parallel traces are then
merged as parallel compositions, and you end up with a big tree of
sequentially and parallel-composed traces. Note that in this tracing
style, unlike CSP and VCR, events are recorded by every process
involved in them, not just once per occurrence.
|
|
Synopsis |
|
|
|
Documentation |
|
newtype StructuralTrace u | Source |
|
A nested (or hierarchical) trace. The trace is an event hierarchy, wrapped
in a Maybe type to allow for representation of the empty trace (Nothing).
| Constructors | | Instances | |
|
|
|
A data type representing a hierarchy of events. The count on the StructuralSequence
count is a replicator count for that list of sequential items.
The Show, Read, Foldable and Traversable instances were added in version 1.3.0.
| Constructors | | Instances | |
|
|
|
|
|
|
|
Flattens the events into a list. The resulting list may contain duplicates, and it
should not be assumed that the order relates in any way to the original
hierarchy.
|
|
Produced by Haddock version 2.4.2 |