Struct StorageStateMut 

pub struct StorageStateMut<'a, Backend>(/* private fields */);

Generic State backend for a mutable shared-state guard.

Trait Implementations

impl<'a, Backend> MayTransition for StorageStateMut<'a, Backend>

where Backend: SharedStorageView + 'a,

fn complete_transition<T, From, To, Args>( state: State<Self, T, From>, _args: Args, _callsite: TransitionCallsite, ) -> State<Self, T, To>

where T: StateMachineImpl, From: StateTrait, To: ConcreteStateTrait, T::Standin: Transition<From, To>, <T::Standin as Transition<From, To>>::F: TransitionSignature<Args>,

Retags a state after checking that Args matches the declared transition signature.

impl<'a, Backend> SMut for StorageStateMut<'a, Backend>

where Backend: SharedStorageView + 'a,

fn s_mut<T, S>(inner: &mut Self::Inner<T, S>) -> &mut T

where T: StateMachineImpl,

Mutably borrows the runtime implementation from this storage backend.

impl<'a, Backend> SRef for StorageStateMut<'a, Backend>

where Backend: SharedStorageView + 'a,

fn s_ref<T, S>(inner: &Self::Inner<T, S>) -> &T

where T: StateMachineImpl,

Borrows the runtime implementation from this storage backend.

impl<'a, Backend> StateStorage for StorageStateMut<'a, Backend>

where Backend: SharedStorageView + 'a,

type Inference = InnerInference

Selects how SDiscriminated recovers the current state marker.

type Inner<T, S> = StateMut<<Backend as SharedStorageView>::WriteGuard<'a, T>, T, S> where T: StateMachineImpl

Concrete state representation used by this storage backend.

type Machine<T> = T where T: StateMachineImpl

Type that carries the state-machine implementation contract.