Skip to main content

StorageStateOwned

Struct StorageStateOwned 

Source
pub struct StorageStateOwned;
Expand description

Backend for directly owned values.

Trait Implementations§

Source§

impl MayTransition for StorageStateOwned

Source§

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. Read more
Source§

impl<FromRuntime, ToRuntime> SMapRuntime<FromRuntime, ToRuntime> for StorageStateOwned
where FromRuntime: StateMachineImpl, ToRuntime: StateMachineImpl,

Source§

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. Read more
Source§

impl SMove for StorageStateOwned

Source§

impl SMut for StorageStateOwned

Source§

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

Mutably borrows the runtime implementation from this storage backend.
Source§

impl SRef for StorageStateOwned

Source§

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

Borrows the runtime implementation from this storage backend.
Source§

impl StateStorage for StorageStateOwned

Source§

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

Concrete state representation used by this storage backend.
Source§

type Machine<T> = T where T: StateMachineImpl

Type that carries the state-machine implementation contract.
Source§

type Inference = OuterInference

Selects how SDiscriminated recovers the current state marker.
Source§

impl StateStorageNew for StorageStateOwned

Source§

fn new<T, S>(value: T) -> Self::Inner<T, S>
where T: StateMachineImpl, T::Standin: Initial<S>,

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

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.