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 installs every fresh actor in creates before interpreting any ordinary delivery or crate::ServiceSends request in sends from this value. 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: SendAlgebra, Birth: BirthMode> Actions<A, Ph, Sends, Birth>

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