Struct ObserveCreation 

pub struct ObserveCreation<P: Protocol, Occurrence> {
    pub creation: CreationId,
    /* private fields */
}

Ask the local interpreter to return the committed result of the same-action creation ID through the behavior’s typed creation-result lane.

Equal address and message types do not make child protocols substitutable:

struct Store;
struct Gateway;
impl behavior::Protocol for Store {
    type Addr = behavior::MailAddr;
    type Msg = ();
}
impl behavior::Protocol for Gateway {
    type Addr = behavior::MailAddr;
    type Msg = ();
}
let creation = behavior::CreationSequence::new()
    .issue()
    .expect("the child creation ID exists");
let gateway = behavior_actors::ObserveCreation::<Gateway, behavior::ChildHead>::new(creation);
let _: behavior_actors::ObserveCreation<Store, behavior::ChildHead> = gateway;

Fields

creation: CreationId

Implementations

impl<P: Protocol, Occurrence> ObserveCreation<P, Occurrence>

pub const fn new(creation: CreationId) -> Self

Trait Implementations

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

where P: Protocol, <P::Addr as Address>::Nonce: Send,

type Custody = (Option<ObserveCreation<P, Occurrence>>, Option<<ObserveCreation<P, Occurrence> as ActionItem>::Reply>)

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

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

type Accepted = ()

type Rejection = Never

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: Protocol, Occurrence> Clone for ObserveCreation<P, Occurrence>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Protocol, Occurrence> Debug for ObserveCreation<P, Occurrence>

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<P: Protocol, Occurrence> InterpreterRequest for ObserveCreation<P, Occurrence>

type ReturnToEmitter = ReturnsToEmitter<CreationResolved<<P as Protocol>::Addr>, Here>

type LogicalProtocols = NoBirthProtocols

impl<P: Protocol, Occurrence> PartialEq for ObserveCreation<P, Occurrence>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<P: Protocol, Occurrence> Copy for ObserveCreation<P, Occurrence>

impl<P: Protocol, Occurrence> Eq for ObserveCreation<P, Occurrence>