Safe Haskell | None |
---|---|
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.