hibana 0.8.0

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
20
21
22
23

//! Role-local program representation derived from const `EffList`.
//!
//! `RoleProgram` is the typed entry point for a role projection witness.
//! Crate-private lowering facts stay behind this module and the compiled layer.

use super::compiled::lowering::{CompiledProgramImage, RoleCompiledCounts};
#[cfg(all(test, hibana_repo_tests))]
use crate::g::Program;
use crate::global::const_dsl::{CompactScopeId, ScopeEvent, ScopeId, ScopeKind, ScopeMarker};
use core::marker::PhantomData;

mod image_impl;
mod image_types;
mod lane_set;
mod program;
#[cfg(all(test, hibana_repo_tests))]
mod tests;

pub use program::{RoleProgram, project};

pub(crate) use image_types::*;
pub(crate) use lane_set::*;
pub(crate) use program::role_program_from_image;