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 Custody = (Option<ChildDelivery<P, Occurrence>>, Option<<ChildDelivery<P, Occurrence> as ActionItem>::Reply>)

type Input<'a> = &'a mut Option<ChildDelivery<P, Occurrence>> where Self: 'a

type Reply = ItemSettlement<ChildDelivery<P, Occurrence>, <ChildDelivery<P, Occurrence> as ActionItem>::Accepted, <ChildDelivery<P, Occurrence> as ActionItem>::Rejection, <ChildDelivery<P, Occurrence> as ActionItem>::Prerequisite>

type Accepted = ()

type Rejection = ChildDeliveryReason

type Prerequisite = CreationCorrelation<P, Occurrence>

fn prepare_interpretation( progress: &mut Option<InterpretationProgress<Self, Self::Custody, Self::Reply>>, )

fn interpretation_input<'a>( custody: &'a mut Self::Custody, ) -> Option<(Self::Input<'a>, &'a mut Option<Self::Reply>)>

where Self: 'a,

fn finish_interpretation( progress: &mut Option<InterpretationProgress<Self, Self::Custody, Self::Reply>>, )

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.