Struct StorageStateOwnedPinBox 

pub struct StorageStateOwnedPinBox;

Backend for Pin<Box<T>> owned values.

Trait Implementations

impl MayTransition for StorageStateOwnedPinBox

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<FromRuntime, ToRuntime> SMapRuntime<FromRuntime, ToRuntime> for StorageStateOwnedPinBox

where FromRuntime: StateMachineImpl + Unpin, ToRuntime: StateMachineImpl,

fn map_runtime<S, F>( state: State<Self, FromRuntime, S>, f: F, ) -> State<Self, ToRuntime, S>

where F: FnOnce(FromRuntime) -> ToRuntime,

Applies f to the runtime value inside state and returns the same storage and state marker with the new runtime type.

impl SMove for StorageStateOwnedPinBox

impl SPinMut for StorageStateOwnedPinBox

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

where T: StateMachineImpl,

Mutably borrows the runtime implementation as a pinned reference.

impl SPinRef for StorageStateOwnedPinBox

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

where T: StateMachineImpl,

Borrows the runtime implementation as a pinned shared reference.

impl SRef for StorageStateOwnedPinBox

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

where T: StateMachineImpl,

Borrows the runtime implementation from this storage backend.

impl StateStorage for StorageStateOwnedPinBox

type Inner<T, S> = StateOwned<Pin<Box<T>>, S> where T: StateMachineImpl

Concrete state representation used by this storage backend.

type Machine<T> = Pin<Box<T>> where T: StateMachineImpl

Type that carries the state-machine implementation contract.

type Inference = OuterInference

Selects how SDiscriminated recovers the current state marker.

impl StateStorageNew for StorageStateOwnedPinBox

fn new<T, S>(value: T) -> Self::Inner<T, S>

where T: StateMachineImpl, <Self::Machine<T> as StateMachineImpl>::Standin: Initial<S>,

Creates a backend-specific inner value in an allowed initial state.