Struct ChildDelivery 

pub struct ChildDelivery<P, Occurrence>
where
    P: Protocol,
{
    pub creation: CreationId,
    pub message: P::Msg,
    /* private fields */
}

Same-action communication to one declared creator-local role.

The interpreter resolves this route only after all creations in the same crate::Actions have committed. A rejected or absent binding must produce a typed interpreter outcome; it can never be converted into a logical address by nonce arithmetic.

Fields

creation: CreationId

message: P::Msg

Implementations

impl<P, Occurrence> ChildDelivery<P, Occurrence>

where P: Protocol,

pub const fn after(creation: CreationId, message: P::Msg) -> Self

Trait Implementations

impl<P, Occurrence> ActionItem for ChildDelivery<P, Occurrence>

where P: Protocol, P::Msg: Send,

type Accepted = ()

type Rejection = ChildDeliveryReason

type Prerequisite = CreationCorrelation<P, Occurrence>

fn retain_accepted(_: Self::Accepted) -> Option<Self::Accepted>

Keep an accepted value only while it still carries terminal custody.

impl<P, Occurrence> Clone for ChildDelivery<P, Occurrence>

where P: Protocol, P::Msg: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.