Expand description
Persistent state machines driven by HOP polynomial actions.
Modules§
Structs§
- Channel
- A persistent channel state machine.
- Producer
- Marker representing the producer side of a channel.
- Subscriber
- A checked linear projection over channel states.
Enums§
- Channel
Error - Errors returned by checked channel operations.