Struct Pure 

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

Implementations

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

where S: Handler<Sends, Br, E>, Sends: SendAlgebra, Br: BirthMode,

pub fn new(state: S) -> Self

pub fn state(&self) -> &S

impl<S, F, A: Address, M, Sends, Br: BirthMode, E> Pure<FoldFn<S, A, M, Sends, Br, E, F>, Sends, Br, E>

where Sends: SendAlgebra, F: FnMut(&mut S, A, M) -> Acted<A, Never, Sends, Br, E>,

pub fn from_fn(state: S, transition: F) -> Self

Trait Implementations

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

where S: Handler<Sends, Br, E>, Sends: SendAlgebra, Br: BirthMode,

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

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

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

type Sends = Sends

type Ph = Never

type Error = E

type Birth = Br

fn init(&mut self) -> Acted<S::Addr, Never, Sends, Br, E>

Produce initialization actions before the first event is accepted.

fn transition( &mut self, event: Self::Event, ) -> Acted<S::Addr, Never, Sends, Br, 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.