A state machine derived from the types it is based on.
Each state have its unique data that it works on.
The state transitions are calculated by next and the actions are performed by act.
Helper function to convert the return type to StateT.
The states and state specific data.
See Implementation
A state machine derived from the types it is based on.
Each state have its unique data that it works on.
The state transitions are calculated by next and the actions are performed by act.