Struct Pure 

pub struct Pure<S, O = Never, Br = NoBirths, E = Never>
where
    S: Handler<O, Br, E>,
    Br: BirthMode,
{ /* private fields */ }

Implementations

impl<S, O, Br, E> Pure<S, O, Br, E>

where S: Handler<O, Br, E>, Br: BirthMode,

pub fn new(state: S) -> Pure<S, O, Br, E>

pub fn state(&self) -> &S

impl<S, F, A, M, O, Br, E> Pure<FoldFn<S, A, M, O, Br, E, F>, O, Br, E>

where A: Address, Br: BirthMode, F: FnMut(&mut S, A, M) -> Result<Actions<A, Never, Vec<Delivery<A, O>>, Br>, E>,

pub fn from_fn( state: S, transition: F, ) -> Pure<FoldFn<S, A, M, O, Br, E, F>, O, Br, E>

Trait Implementations

impl<S, O, Br, E> Behavior for Pure<S, O, Br, E>

where S: Handler<O, Br, E>, Br: BirthMode,

type Addr = <S as Handler<O, Br, E>>::Addr

type Msg = <S as Handler<O, Br, E>>::Msg

type Event = User<<S as Handler<O, Br, E>>::Addr, <S as Handler<O, Br, E>>::Msg>

type Sends = Vec<Delivery<<S as Handler<O, Br, E>>::Addr, O>>

type Ph = Never

type Error = E

type Birth = Br

fn init( &mut self, ) -> Result<Actions<<S as Handler<O, Br, E>>::Addr, Never, Vec<Delivery<<S as Handler<O, Br, E>>::Addr, O>>, Br>, E>

Produce initialization actions before the first event is accepted.

fn transition( &mut self, event: <Pure<S, O, Br, E> as Behavior>::Event, ) -> Result<Actions<<S as Handler<O, Br, E>>::Addr, Never, Vec<Delivery<<S as Handler<O, Br, E>>::Addr, O>>, Br>, E>

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

fn receive( &mut self, from: Self::Addr, message: Self::Msg, ) -> Result<Actions<Self::Addr, Self::Ph, Self::Sends, Self::Birth>, Self::Error>

where Self: Sized,

Fold one user communication through the composed protocol.

fn on<Input>( &mut self, input: Input, ) -> Result<Actions<Self::Addr, Self::Ph, Self::Sends, Self::Birth>, Self::Error>

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

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