Struct BehaviorFn 

pub struct BehaviorFn<S, A: Address, M, Sends, Br: BirthMode, E, I, F> { /* 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: Address, M, Sends, Br: BirthMode, E, I, F> BehaviorFn<S, A, M, Sends, Br, E, I, F>

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

pub fn new(state: S, initialize: I, transition: F) -> Self

pub fn state(&self) -> &S

Trait Implementations

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

where Sends: SendAlgebra, I: FnMut(&mut S) -> Acted<A, Never, Sends, Br, E>, F: FnMut(&mut S, A, M) -> Acted<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) -> BehaviorActed<Self>

Produce initialization actions before the first event is accepted.

fn transition(&mut self, event: Self::Event) -> BehaviorActed<Self>

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.