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
14
15
16
17
18
19
20
21
22
23
24

//! Role-local typestate synthesis derived from `EffList`.
//!
//! This module materialises compact role-local transition facts from an
//! `EffList`. Each node captures the local action (send/recv) together
//! with the successor index, allowing higher layers to drive endpoint
//! transitions from compiled facts.

mod cursor;
mod facts;

pub(crate) use self::facts::LocalAction;
pub(crate) use self::facts::StateIndex;
pub(crate) use self::{
    cursor::{
        CursorInvariantError, CursorRefresh, EnabledEventCommit, EventCursor, EventCursorState,
        RelocatableResidentLaneStep, SendPreviewError,
    },
    facts::{
        DeterministicInboundKey, EventCommitMeta, InboundFrameKey, LocalAtomFacts, LocalConflict,
        LocalDependency, LocalMeta, LocalNode, LocalNodeMeta, PRESENT_STATE_INDEX_CAPACITY,
        PackedEventConflict, PackedLocalDependency, PassiveArmChildFact, RecvMeta, RouteChoiceMark,
        RouteScopeRows, SendMeta, state_index_to_usize,
    },
};