Documentation

Constructors

VInt Integer
VBool Bool
VTuple [Value]
VDot [Value]
VEvent Name [Value]
VDataType Name [Value]
VList [Value]
VSet ValueSet
VFunction ([Value] -> EvaluationMonad Value)
VProc Proc

Instances

Constructors

PAlphaParallel [(EventSet, Proc)]
PException Proc EventSet Proc
PExternalChoice [Proc]
PGenParallel EventSet [Proc]
PHide Proc EventSet
PInternalChoice [Proc]
PInterrupt Proc Proc
PInterleave [Proc]
PPrefix Event Proc
PSequentialComp Proc Proc
PSlidingChoice Proc Proc
PProcCall ProcName (Maybe Proc)	PLinkParallel EventMap [Proc] \| PRename EventMap Proc \| POperator ProcOperator Proc where: data ProcOperator = Normalise \| Explicate \| StrongBisim \| TauLoopFactor \| Diamond \| ModelCompress

Instances

Show Proc
PrettyPrintable Proc

Events, as represented in the LTS.

Constructors

Tau	The internal special event tau.
Tick	The internal event tick, representing termination.
UserEvent String	Any event defined in a channel definition.

Instances