liminal-protocol 0.3.0

Shared participant-lifecycle protocol types for liminal
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//! Pure bounded-retention and floor-transition algebra.

mod capacity;
#[cfg(test)]
mod capacity_tests;
mod floor;
#[cfg(test)]
mod floor_tests;
mod types;

pub use capacity::{
    mandatory_capacity, no_edge_legal, recovery_transfer, retained_baseline, zero_debt_admission,
    zero_debt_capacity_failure,
};
pub use floor::floor_transition;
pub use types::{
    BaselineError, FloorComputation, MandatoryCapacity, RecoveryTransfer, RecoveryTransferError,
    ResourceDimension, ResourceVector, WideResourceVector,
};