CSPM.Compiler.Events

Documentation

data Event

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

Eq Event

Ord Event

Show Event

PrettyPrintable EventSet

PrettyPrintable Event

type EventSet = Set Event

An alias for ease