Struct Actions 

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

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. When creation is rejected, a same-action crate::ObserveChild for its nonce is consumed without installing an observation or emitting crate::ChildStopped, while crate::ObserveCreation reports the rejection. A later creation cannot inherit that consumed observation. 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 as BirthMode>::Child>>

become_: Step<Ph, Exit<A>>

Implementations

impl<A, Ph, Sends, Birth> Actions<A, Ph, Sends, Birth>

where A: Address, Birth: BirthMode,

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(Step<Ph, Exit<A>>) -> Step<NextPh, Exit<A>>, ) -> Actions<A, NextPh, Sends, Birth>

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

impl<A, Ph, Sends, Birth> Actions<A, Ph, Sends, Birth>

where A: Address, Sends: SendAlgebra, Birth: BirthMode,

pub const fn new( sends: Sends, creates: Vec<Create<A, <Birth as BirthMode>::Child>>, become_: Step<Ph, Exit<A>>, ) -> Actions<A, Ph, Sends, Birth>

pub fn just(become_: Step<Ph, Exit<A>>) -> Actions<A, Ph, Sends, Birth>

pub fn cont() -> Actions<A, Ph, Sends, Birth>

pub fn stop(exit: Exit<A>) -> Actions<A, Ph, Sends, Birth>

pub fn goto(phase: Ph) -> Actions<A, Ph, Sends, Birth>

Trait Implementations

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

where A: Address, Birth: BirthMode,

fn from( _: (Sends, Vec<Create<A, <Birth as BirthMode>::Child>>, Step<Ph, Exit<A>>), ) -> Actions<A, Ph, Sends, Birth>

Converts to this type from the input type.