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<Delivery<A, Never>>

type Ph = Never

type Error = E

type Birth = NoBirths

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

Produce initialization actions before the first event is accepted.

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

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

fn receive( &mut self, from: Self::Addr, message: Self::Msg, ) -> BehaviorActed<Self>

where Self: Sized,

Fold one user communication through the composed protocol.

fn on<Input>(&mut self, input: Input) -> BehaviorActed<Self>

where Self: Sized, Self::Event: EventInput<Input>,

Inject one supported semantic input and fold it through this behavior.