chp-1.6.0: An implementation of concurrency ideas from Communicating Sequential ProcessesSource codeContentsIndex
A module for recording View Centric Reasoning (VCR) traces. A view centric reasnoning trace is a list of sets of events. Each set contains independent events that have no causal relationship between them. Hopefully we will publish a paper explaining all this in detail soon.
newtype VCRTrace u = VCRTrace (ChannelLabels u, [Set (RecordedEvent u)])
getVCRPlain :: VCRTrace String -> [Set (RecordedEvent String)]
runCHP_VCRTrace :: CHP a -> IO (Maybe a, VCRTrace Unique)
runCHP_VCRTraceAndPrint :: CHP a -> IO ()
newtype VCRTrace u Source

A VCR (View-Centric Reasoning) trace. It is the channel labels, accompanied by a sequential list of sets of recorded events. Each of the sets is a set of independent events. The set at the head of the list is the first-recorded (oldest).

The type became parameterised in version 1.3.0

VCRTrace (ChannelLabels u, [Set (RecordedEvent u)])
show/hide Instances
getVCRPlain :: VCRTrace String -> [Set (RecordedEvent String)]Source

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

Added in version 1.5.0.

runCHP_VCRTrace :: CHP a -> IO (Maybe a, VCRTrace Unique)Source
runCHP_VCRTraceAndPrint :: CHP a -> IO ()Source
Produced by Haddock version 2.4.2