MagicStateMachines 0.1.0

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
14
15
16
17

/// State policy permitting [`crate::State`] to clone its runtime value.
///
/// States implement this automatically. A definition crate can opt out with:
///
/// ```ignore
/// impl !StateClone for Sensitive {}
/// ```
pub auto trait StateClone {}

/// State policy permitting [`crate::State`] to copy its runtime value.
///
/// States implement this automatically. A definition crate can opt out with:
///
/// ```ignore
/// impl !StateCopy for Connected {}
/// ```
pub auto trait StateCopy {}