Struct Transition 

pub struct Transition<S, E> {
    pub state: S,
    pub effects: Vec<E>,
}

The output of a step: the next state and the protocol’s own effects to run. Transition (S, E) ≅ (S, [E]) — the Writer-over-State pair, now parameterized by the protocol’s private effect type E. PartialEq/Eq are derived (when S/E are) so tests can compare whole transitions.

Fields

state: S

Next state.

effects: Vec<E>

Effects to run, in order.

Implementations

impl<S, E> Transition<S, E>

pub fn pure(state: S) -> Self

A pure transition with no effects: pure s = (s, ε).

pub fn with(state: S, effects: Vec<E>) -> Self

A transition with effects.

Trait Implementations

impl<S: Clone, E: Clone> Clone for Transition<S, E>

fn clone(&self) -> Transition<S, E>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<S: Debug, E: Debug> Debug for Transition<S, E>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<S: Eq, E: Eq> Eq for Transition<S, E>

impl<S: PartialEq, E: PartialEq> PartialEq for Transition<S, E>

fn eq(&self, other: &Transition<S, E>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<S: PartialEq, E: PartialEq> StructuralPartialEq for Transition<S, E>