Enum TransitionResult 

pub enum TransitionResult<Machine, DestinationState>
where
    Machine: StateMachine,
    DestinationState: Into<Machine::State>,
{
    InvalidTransition,
    Ok {
        commands: Vec<Machine::Command>,
        new_state: DestinationState,
    },
    Err(Machine::Error),
}

A transition result is emitted every time the StateMachine handles an event.

Variants

InvalidTransition

This state does not define a transition for this event from this state. All other errors should use the Err variant.

Ok

The transition was successful

Fields

commands: Vec<Machine::Command>

new_state: DestinationState

Err(Machine::Error)

There was some error performing the transition

Implementations

impl<Sm, Ds> TransitionResult<Sm, Ds>

where Sm: StateMachine, Ds: Into<Sm::State>,

pub fn ok<CI>(commands: CI, new_state: Ds) -> Self

where CI: IntoIterator<Item = Sm::Command>,

Produce a transition with the provided commands to the provided state. No changes to shared state if it exists

pub fn from<CurrentState>(current_state: CurrentState) -> Self

where CurrentState: Into<Ds>,

Uses Into to produce a transition with no commands from the provided current state to the provided (by type parameter) destination state.

impl<Sm, Ds> TransitionResult<Sm, Ds>

where Sm: StateMachine, Ds: Into<Sm::State> + Default,

pub fn commands<CI>(commands: CI) -> Self

where CI: IntoIterator<Item = Sm::Command>,

Produce a transition with commands relying on Default for the destination state’s value

impl<Sm, Ds> TransitionResult<Sm, Ds>

where Sm: StateMachine, Ds: Into<Sm::State>,

pub fn into_general(self) -> TransitionResult<Sm, Sm::State>

Turns more-specific (struct) transition result into more-general (enum) transition result

pub fn into_cmd_result( self, ) -> Result<(Vec<Sm::Command>, Sm::State), MachineError<Sm::Error>>

Transforms the transition result into a machine-ready outcome with commands and new state, or a MachineError

Trait Implementations

impl<Sm, Ds> Default for TransitionResult<Sm, Ds>

where Sm: StateMachine, Ds: Into<Sm::State> + Default,

fn default() -> Self

Returns the “default value” for a type.