Struct Machine 

pub struct Machine<A: Address, S, M, P, E> { /* private fields */ }

Implementations

impl<A: Address, S, M, P: Copy + PartialEq, E> Machine<A, S, M, P, E>

pub fn new( state: S, phase: P, on: fn(P, &mut S, &M) -> Result<Move<P>, E>, ) -> Self

pub fn state(&self) -> &S

pub fn phase(&self) -> P

pub fn held(&self) -> usize

Trait Implementations

impl<A, S, M, P, E> Behavior for Machine<A, S, M, P, E>

where A: Address, P: Copy + PartialEq,

type Addr = A

type Msg = M

type Event = User<A, M>

type Sends = Vec<Never>

type Ph = Never

type Error = E

type Birth = NoBirths

fn init( &mut self, _: InitializationTurn, ) -> Result<Actions<A, Never, Self::Sends, NoBirths>, E>

Produce initialization actions before the first event is accepted.

fn transition( &mut self, _: ActiveTurn, event: Self::Event, ) -> Result<Actions<A, Never, Self::Sends, NoBirths>, E>

Fold exactly one event into explicit actions and the next behavior.

impl<A, S, M, P, E> BehaviorBase for Machine<A, S, M, P, E>

where A: Address, P: Copy + PartialEq,

type Base = Machine<A, S, M, P, E>

fn base(&self) -> &Self