Safe Haskell | Safe-Inferred |
---|
Documentation
data ThreadState Source
This datatype defines the state machine for a single thread.
Eq ThreadState | |
Ord ThreadState | |
Show ThreadState |
threadMachine :: Machine ThreadState EventInfoSource
This state machine tracks the events processed by a thread.