MagicStateMachines 0.1.1

Ergonomic typestate wrappers for compiler-enforced state machines with separable contracts
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

mod bind;
mod concrete;
mod receiver;
mod target;
mod transition;
mod union;

pub use bind::StateTransitionProofBind;
pub use concrete::StateConcreteTransitionProof;
pub use receiver::{StateConcreteProvenState, StateUnionProvenState, StateWithProof};
pub use target::TransitionProof;
pub use transition::StateProofTransition;
pub use union::{StateUnionTransitionProof, UnionTransitionProof};