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 ServiceSends request in sends from this value. This makes actors created by a transition available to that transition’s deliveries and local observation requests. 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 SendProduct.

The ordering rule belongs to the interpreter boundary. Constructing an Actions value remains pure and performs none of its effects.

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