Struct ChildInput 

pub struct ChildInput<Child, Source, Input, Occurrence>
where
    Child: Behavior,
{
    pub creation: CreationId,
    pub input: Input,
    /* private fields */
}

Private typed communication to one declared creator-local child role.

ChildDelivery addresses the child’s public protocol. ChildInput instead selects one owner-defined member of the concrete child’s event algebra through Source. This is the static boundary used for lifecycle coordination between an owner and a composed child: it retains the exact child behavior, occurrence, input, and ingress owner without exposing the input through the child’s public protocol or performing a runtime lookup.

This is a derived Bombay communication form. Like ChildDelivery, its creator-local route is interpreted only after same-action creations have committed; constructing it performs no delivery.

Fields

creation: CreationId

Creator-local creation ID of the concrete child receiving the input.

input: Input

Complete private input transferred to the child.

Implementations

impl<Child, Source, Input, Occurrence> ChildInput<Child, Source, Input, Occurrence>

where Child: Behavior, Child::Event: ChildInputIngress<Source, Input>,

pub const fn after(creation: CreationId, input: Input) -> Self

Construct a private input for one exact creator-local child creation.

Trait Implementations

impl<Child, Source, Input, Occurrence> ActionItem for ChildInput<Child, Source, Input, Occurrence>

where Child: Behavior, Input: Send,

type Custody = (Option<ChildInput<Child, Source, Input, Occurrence>>, Option<<ChildInput<Child, Source, Input, Occurrence> as ActionItem>::Reply>)

type Input<'a> = &'a mut Option<ChildInput<Child, Source, Input, Occurrence>> where Self: 'a

type Reply = ItemSettlement<ChildInput<Child, Source, Input, Occurrence>, <ChildInput<Child, Source, Input, Occurrence> as ActionItem>::Accepted, <ChildInput<Child, Source, Input, Occurrence> as ActionItem>::Rejection, <ChildInput<Child, Source, Input, Occurrence> as ActionItem>::Prerequisite>

type Accepted = ()

type Rejection = ChildInputReason

type Prerequisite = CreationCorrelation<<Child as Behavior>::Protocol, 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<Child, Source, Input, Occurrence> Clone for ChildInput<Child, Source, Input, Occurrence>

where Child: Behavior, Input: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.