Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- Async
Session Endpoint - An asynchronous session endpoint that buffers outgoing messages.
- Choreography
Engine - A choreography engine that steps through a
GTypeand emits actions. - Deadlock
Checker - A simple graph-based deadlock freedom checker.
- Gradual
Session Monitor - A runtime monitor for gradual session types.
- Prob
Branch - A probabilistic session choice, picking a branch by weighted probability.
- Prob
Session Scheduler - A Markov-chain protocol simulator: makes probabilistic choices at each
Choicenode according to supplied weights. - Protocol
Builder - A builder for constructing session types fluently.
- Role
- A role in a multiparty session.
- Session
Checker - A simple session type checker for binary sessions.
- Session
Endpoint - A session channel endpoint, consuming the session type as it is used.
- Session
Subtype Checker - Behavioral subtype checker for session types.
Enums§
- Base
Type - A base type that can be communicated over a session.
- Choreography
Step - An action step extracted from a global type during choreography execution.
- GType
- A global session type (multiparty protocol specification).
- LType
- A local session type (from one role’s perspective).
- Message
- A message that can be sent or received on a session channel.
- Monitor
Result - The result of a runtime monitor check.
- SType
- A binary session type.
- Session
Op - A single session operation (for type checking).