Skip to main content

ConcreteStateKind

magicstatemachines

Struct ConcreteStateKind 

Source 
pub struct ConcreteStateKind;
Expand description

Marker kind for concrete state ZSTs.

This is the kind assigned by States!. Concrete states can be stored as the authoritative state in shared storage and can appear as concrete transition sources or targets.

Trait Implementations§

Source§

impl StateKind for ConcreteStateKind

Source§

type RuntimeState<Marker> = <Marker as StateRuntimeMarkerFor<ConcreteStateKind>>::RuntimeState where Marker: StateRuntimeMarkerFor<Self>

Runtime marker actually checked by shared storage for this kind. Read more
Source§

type Proof<T, From, Marker, To> = StateConcreteTransitionProof<T, From, Marker, To> where T: StateMachineImpl, From: StateTrait + StateMarker<Kind = Self>, Marker: StateUnionDiscriminant, To: StateTrait + StateMarker<Kind = ConcreteStateKind>

Proof type used by generated transition helpers for this kind. Read more

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.