hibana 0.9.2

Session-typed choreographic programming for no_std Rust protocols, inspired by affine MPST
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
25
26
27
28
29
30

pub(crate) mod seal {
    pub trait Sealed {
        fn project<const ROLE: u8>(&self) -> crate::global::role_program::RoleProgram<ROLE>;
    }
}

/// Bound for hibana choreography values accepted by `project(&value)`.
///
/// This is a sealed projection contract for generated protocol packages,
/// host harnesses, small runtime facades, or other composition layers that
/// need to return `impl Projectable` without naming the internal
/// `hibana::g::Program<_>` step-list type. Ordinary runtime code should
/// build a local `let program = ...` and call the same
/// `runtime::program::project(&program)` entry. Projection authority and
/// metadata visitation stay behind Hibana's projection owner; this trait is
/// only the sealed choreography bound.
///
/// Projection is independent of runtime resources. Keep this bound
/// parameter-free so facade APIs do not make users write runtime parameters
/// just to hide a choreography term.
///
/// The trait is not an extension point. Return hibana choreography values behind
/// `impl Projectable`; do not implement a parallel projection path.
#[diagnostic::on_unimplemented(
    message = "value is not a projectable hibana choreography",
    label = "expected a hibana choreography built with `hibana::g`"
)]
pub trait Projectable: seal::Sealed {}

impl<P> Projectable for P where P: seal::Sealed + ?Sized {}