Struct UnionStateKind 

pub struct UnionStateKind;

Marker kind for generated union state markers.

This is the kind assigned by StateUnion!. Union markers are accepted as borrowed views and generic receiver bounds, but they are not valid committed states in shared storage. Shared storage commits the concrete member marker and checks union borrows against it.

Trait Implementations

impl StateKind for UnionStateKind

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

Runtime marker actually checked by shared storage for this kind.

type Proof<T, From, Marker, To> = StateUnionTransitionProof<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.