Expand description
Runtime runner and guest-runtime surfaces.
Re-exports§
pub use crate::driver::NativeSingleThreadDriver as GuestRuntime;pub use crate::kernel::ProtocolMachineKernel;pub use crate::owned::OwnedSession;
Structs§
- Nested
Protocol Machine Handler - Effect handler that dispatches to inner ProtocolMachines keyed by outer role name.
- Protocol
Machine - The choreographic ProtocolMachine.
- Sched
Step Debug - Debug metadata for the most recent scheduler-dispatched step.
Enums§
- Protocol
Machine Error - Errors from ProtocolMachine operations.
- RunStatus
- Terminal status returned by bounded ProtocolMachine run APIs.
- Sched
Exec Status - Debug metadata for the most recent scheduler-dispatched step.
- Step
Result - The ProtocolMachine execution result for a single step.