Struct ObserveEstablishedCreation 

pub struct ObserveEstablishedCreation<C, Occurrence>
where
    C: Behavior,
    BehaviorAddr<C>: EndpointAddress,
{
    pub creation: CreationId,
    /* private fields */
}

Request the exact committed result of a same-action creation at one named creator-local role.

The interpreter commits creation before interpreting this request. A successful report carries an EstablishedRecipient; a rejected report carries no capability. Occurrence keeps duplicate declarations of the same child protocol distinct without becoming protocol identity or a runtime key.

Fields

creation: CreationId

Implementations

impl<C, Occurrence> ObserveEstablishedCreation<C, Occurrence>

where C: Behavior, BehaviorAddr<C>: EndpointAddress,

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

Trait Implementations

impl<C, Occurrence> ActionItem for ObserveEstablishedCreation<C, Occurrence>

where C: Behavior, BehaviorAddr<C>: EndpointAddress, <BehaviorAddr<C> as Address>::Nonce: Send,

type Custody = (Option<ObserveEstablishedCreation<C, Occurrence>>, Option<<ObserveEstablishedCreation<C, Occurrence> as ActionItem>::Reply>)

type Input<'a> = &'a mut Option<ObserveEstablishedCreation<C, Occurrence>> where Self: 'a

type Reply = ItemSettlement<ObserveEstablishedCreation<C, Occurrence>, <ObserveEstablishedCreation<C, Occurrence> as ActionItem>::Accepted, <ObserveEstablishedCreation<C, Occurrence> as ActionItem>::Rejection, <ObserveEstablishedCreation<C, Occurrence> as ActionItem>::Prerequisite>

type Accepted = ()

type Rejection = Never

type Prerequisite = CreationCorrelation<<C 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<C, Occurrence> Clone for ObserveEstablishedCreation<C, Occurrence>

where C: Behavior, BehaviorAddr<C>: EndpointAddress,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C, Occurrence> InterpreterRequest for ObserveEstablishedCreation<C, Occurrence>

where C: Behavior, BehaviorAddr<C>: EndpointAddress,

type ReturnToEmitter = ReturnsToEmitter<EstablishedCreation<C, Occurrence>, Here>

type LogicalProtocols = NoBirthProtocols

impl<C, Occurrence> Copy for ObserveEstablishedCreation<C, Occurrence>

where C: Behavior, BehaviorAddr<C>: EndpointAddress,