hibana 0.5.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
18
19

pub(super) mod driver;
pub(super) mod program_image_builder;
pub(super) mod program_lowering;
pub(super) mod program_tail_storage;
pub(super) mod role_image_builder;
pub(super) mod role_image_lowering;
pub(super) mod role_scope_storage;
pub(super) mod seal;

pub(crate) use self::{
    driver::{LoweringSummary, LoweringView, ProgramStamp, RoleLoweringCounts},
    role_image_builder::CompiledRoleImageInitError,
    seal::validate_all_roles,
};

#[cfg(test)]
pub(crate) use self::role_image_builder::{
    RoleImageStreamFault, try_init_compiled_role_image_from_summary_with_fault,
};