Struct BehaviorFn 

pub struct BehaviorFn<S, A, M, Sends, Br, E, I, F>
where
    A: Address,
    Br: BirthMode,
{ /* private fields */ }

A concrete behavior defined by initialization and user-event folds.

Each function is invoked exactly once for its corresponding input and its returned Actions value is preserved unchanged. This adapter adds no event routing or effect interpretation; those remain the responsibility of concrete behavior wrappers and the runtime interpreter.

Implementations

impl<S, A, M, Sends, Br, E, I, F> BehaviorFn<S, A, M, Sends, Br, E, I, F>

where A: Address, Br: BirthMode, Sends: SendAlgebra, I: FnMut(&mut S) -> Result<Actions<A, Never, Sends, Br>, E>, F: FnMut(&mut S, A, M) -> Result<Actions<A, Never, Sends, Br>, E>,

pub fn new( state: S, initialize: I, transition: F, ) -> BehaviorFn<S, A, M, Sends, Br, E, I, F>

pub fn state(&self) -> &S

Trait Implementations

impl<S, A, M, Sends, Br, E, I, F> Behavior for BehaviorFn<S, A, M, Sends, Br, E, I, F>

where A: Address, Br: BirthMode, Sends: SendAlgebra, I: FnMut(&mut S) -> Result<Actions<A, Never, Sends, Br>, E>, F: FnMut(&mut S, A, M) -> Result<Actions<A, Never, Sends, Br>, E>,

type Addr = A

type Msg = M

type Event = User<A, M>

type Sends = Sends

type Ph = Never

type Error = E

type Birth = Br

fn init( &mut self, ) -> Result<Actions<<BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Addr, <BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Ph, <BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Sends, <BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Birth>, <BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Error>

Produce initialization actions before the first event is accepted.

fn transition( &mut self, event: <BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Event, ) -> Result<Actions<<BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Addr, <BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Ph, <BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Sends, <BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Birth>, <BehaviorFn<S, A, M, Sends, Br, E, I, F> as Behavior>::Error>

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.