Struct ReportTerminalOutcome 

pub struct ReportTerminalOutcome<A: Address> {
    pub outcome: TerminalOutcome<A>,
}

Ask the interpreter to publish one exact terminal outcome for the emitting incarnation before interpreting the same action’s terminal verdict.

This is a Bombay lifecycle-publication policy, not an actor-model primitive. It is an explicit effect so a pure composition can propagate an authoritative child or peer fact without placing lifecycle provenance in behavior::Step or using an ambient runtime side channel.

Fields

outcome: TerminalOutcome<A>

Implementations

impl<A: Address> ReportTerminalOutcome<A>

pub const fn new(outcome: TerminalOutcome<A>) -> Self

Trait Implementations

impl<A> ActionItem for ReportTerminalOutcome<A>

where A: Address + Send,

type Custody = (Option<ReportTerminalOutcome<A>>, Option<<ReportTerminalOutcome<A> as ActionItem>::Reply>)

type Input<'a> = &'a mut Option<ReportTerminalOutcome<A>> where Self: 'a

type Reply = ItemSettlement<ReportTerminalOutcome<A>, <ReportTerminalOutcome<A> as ActionItem>::Accepted, <ReportTerminalOutcome<A> as ActionItem>::Rejection, <ReportTerminalOutcome<A> as ActionItem>::Prerequisite>

type Accepted = ()

type Rejection = Never

type Prerequisite = Never

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<A: Clone + Address> Clone for ReportTerminalOutcome<A>

fn clone(&self) -> ReportTerminalOutcome<A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Debug + Address> Debug for ReportTerminalOutcome<A>

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

Formats the value using the given formatter.

impl<A: Address> InterpreterRequest for ReportTerminalOutcome<A>

type ReturnToEmitter = NoReturnToEmitter

type LogicalProtocols = NoBirthProtocols

impl<A: PartialEq + Address> PartialEq for ReportTerminalOutcome<A>

fn eq(&self, other: &ReportTerminalOutcome<A>) -> 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<A: Copy + Address> Copy for ReportTerminalOutcome<A>

impl<A: Eq + Address> Eq for ReportTerminalOutcome<A>

impl<A: Address> StructuralPartialEq for ReportTerminalOutcome<A>