Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
data ThreadState Source
This datatype defines the state machine for a single thread.
threadMachine :: Machine ThreadState EventInfo Source
This state machine tracks the events processed by a thread.