hibana 0.9.3

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
31
32
33
34
35
36

//! Frontier-selection helpers for `offer()`.
//!
//! # Unsafe Owner Contract
//!
//! This module owns frontier scratch slices borrowed from the endpoint runtime
//! image. Unsafe blocks here may form slices over that storage only after the
//! endpoint has initialized the matching capacity fields for the current
//! generation.

use core::{
    convert::TryFrom,
    mem,
    ops::{Deref, DerefMut, Index, IndexMut},
    slice,
};

use crate::global::const_dsl::ScopeId;
use crate::global::typestate::{MAX_STATES, StateIndex, state_index_to_usize};

const FRONTIER_SLOT_MASK_BITS: usize = u8::BITS as usize;

use super::offer::CurrentScopeSelectionMeta;

mod entry_sets;
mod kind;
mod offer_entries;
mod scratch;
mod select;
mod snapshot;

pub(crate) use entry_sets::*;
pub(crate) use kind::*;
pub(crate) use offer_entries::*;
pub(crate) use scratch::*;
pub(crate) use select::*;
pub(crate) use snapshot::*;