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, S: Clone, M: Clone, P: Copy + PartialEq,

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

Stable public communication identity owned by this actor template.

type Event = User<A, M>

type Sends = Vec<Never>

type Ph = Never

type Error = MachineError<A, M, E>

type Birth = NoBirths

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

Produce initialization actions before the first event is accepted.

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

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

fn layer<L>(self, layer: L) -> <L as BehaviorLayer<Self>>::Output

where Self: Sized, L: BehaviorLayer<Self>,

Apply one statically dispatched construction layer.

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

where A: Address,

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

fn base(&self) -> &Self

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

where A: Address, S: Clone, M: Clone, P: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Address, S, M, P, E> Protocol for Machine<A, S, M, P, E>

type Addr = A

type Msg = M