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
pub(super) mod image;
pub(super) mod program;

pub(crate) use self::{
    image::{
        CompiledProgramRef, ProgramImageBytes, ProgramImageColumns, ProgramImagePlan,
        RoleDescriptorRef, RoleImageSlice,
    },
    program::{EventSemanticKind, RouteResolverSite},
};

#[cfg(all(test, hibana_repo_tests))]
pub(crate) use self::image::{
    PROGRAM_IMAGE_ATOM_STRIDE, PROGRAM_IMAGE_ROUTE_RESOLVER_STRIDE, ProgramColumnRange,
};