Expand description
This module provides types and traits for implementing a protocol state machine.
A protocol party is conceived of as having a set of possible states, one of which is the initial state. Transitioning to a different state is possible either through receiving and processing a message or through writing a message.
Traitsยง
- Initial
State - A trait for protocol initial states.
- Read
State - A state where a message must be read before transitioning to the next state.
- Write
State - A state where a message must be written before transitioning to the next state.