hibana 0.6.2

Const-projected Affine Multiparty Session Types for choreography-first Rust protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Rendezvous descriptor evaluator for `control::cluster::effects::ControlOp`.
//!
//! This module is a low-level building block used by the control plane and
//! runtime. Prefer the higher-level APIs in `control` and `runtime` unless you
//! need direct access to rendezvous tables or ports.

mod association;
pub(crate) mod capability;
pub(crate) mod core;
pub(crate) mod error;
pub(crate) mod port;
pub(crate) mod tables;
mod topology;
mod waiter;

pub(crate) use association::SessionFaultKind;
pub(crate) use topology::TopologySessionState;