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
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

use crate::{StateKind, StateMachineImpl, StateMarker, StateStorage, StateTrait};
use core::marker::PhantomData;

#[doc(hidden)]
pub struct TransitionProof<Storage, T, From, Marker, To, Kind>
where
    Storage: StateStorage,
    T: StateMachineImpl,
    From: StateTrait,
    Marker: StateMarker,
    To: StateTrait + StateMarker,
    Kind: StateKind,
{
    marker: PhantomData<fn() -> (Storage, T, From, Marker, To, Kind)>,
}

impl<Storage, T, From, Marker, To, Kind> TransitionProof<Storage, T, From, Marker, To, Kind>
where
    Storage: StateStorage,
    T: StateMachineImpl,
    From: StateTrait,
    Marker: StateMarker,
    To: StateTrait + StateMarker,
    Kind: StateKind,
{
    #[doc(hidden)]
    pub fn new() -> Self {
        Self {
            marker: PhantomData,
        }
    }
}