Struct Actions 

pub struct Actions<A: Address, Ph, Sends, Birth: BirthMode> {
    pub sends: Sends,
    pub creates: Vec<Create<A, Birth::Child>>,
    pub become_: Become<A, Ph>,
}

Bombay’s typed realization of the actor transition effects: communications, fresh actor creation, and next behavior or termination.

An interpreter resolves every fresh creation in creates before interpreting any ordinary delivery or crate::ServiceSends request in sends from this value. A successful resolution installs and binds the child; a rejected resolution binds nothing. This ordering lets a same-action crate::ObserveCreation request return the committed result rather than the behavior’s intent. Creation order is vector order, and each concrete send lane retains its own order; this contract does not impose an order between independent lanes of a crate::SendProduct. Constructing a value remains pure.

Fields

sends: Sends

creates: Vec<Create<A, Birth::Child>>

become_: Become<A, Ph>

Implementations

impl<A: Address, Ph, Sends, Birth: BirthMode> Actions<A, Ph, Sends, Birth>

pub fn map_sends<Mapped>( self, map: impl FnOnce(Sends) -> Mapped, ) -> Actions<A, Ph, Mapped, Birth>

Transform only the send algebra, preserving creation order and the next-behavior verdict exactly.

pub fn map_become<NextPh>( self, map: impl FnOnce(Become<A, Ph>) -> Become<A, NextPh>, ) -> Actions<A, NextPh, Sends, Birth>

Transform only the next-behavior verdict, preserving sends and creation order exactly.

impl<A: Address, Ph, Sends: SendAlgebra, Birth: BirthMode> Actions<A, Ph, Sends, Birth>

pub const fn new( sends: Sends, creates: Vec<Create<A, Birth::Child>>, become_: Become<A, Ph>, ) -> Self

pub fn just(become_: Become<A, Ph>) -> Self

pub fn cont() -> Self

pub fn stop(exit: Exit<A>) -> Self

pub fn goto(phase: Ph) -> Self

Trait Implementations

impl<A: Address, Ph, Sends, Birth: BirthMode> From<(Sends, Vec<Create<A, <Birth as BirthMode>::Child>>, Step<Ph, Exit<A>>)> for Actions<A, Ph, Sends, Birth>

fn from( (sends, creates, become_): (Sends, Vec<Create<A, Birth::Child>>, Become<A, Ph>), ) -> Self

Converts to this type from the input type.