hibana 0.9.6

Choreography-derived runtime enforcement kernel for no_std Rust multiparty protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

//! Rendezvous session/lane owner.
//!
//! This module is a low-level building block used by the session runtime.
//! Prefer the higher-level APIs in `runtime` unless you need direct access to
//! rendezvous tables or ports.

mod association;
pub(crate) mod core;
pub(crate) mod error;
pub(crate) mod port;
mod recv_frame_receipt;

pub(crate) use association::SessionFaultKind;