Enum ItemSettlement 

pub enum ItemSettlement<Item, Accepted, Rejection, Prerequisite> {
    Accepted(Accepted),
    Rejected {
        item: Item,
        reason: Rejection,
    },
    Blocked {
        item: Item,
        prerequisite: Prerequisite,
    },
    Corrupt {
        item: Item,
        fault: InterpreterFault,
    },
}

Total settlement of one statically selected action item.

Rejection and dependency blocking retain the complete original item. Interpreter corruption does the same. Accepted items are consumed and leave only the capability’s promised receipt. Whether an item was attempted at all belongs to SettledItem, so a concrete interpreter cannot fabricate that product-level fact.

Variants

Accepted(Accepted)

The capability consumed the item and returned its promised receipt.

Rejected

The capability lawfully rejected the complete item.

Fields

item: Item

reason: Rejection

Blocked

A declared prerequisite did not commit, so the item remains untouched.

Fields

item: Item

prerequisite: Prerequisite

Corrupt

The interpreter violated its contract while the item remained owned.

Fields

item: Item

fault: InterpreterFault

Trait Implementations

impl<Item, Accepted, Rejection, Prerequisite> ClassifySettlement for ItemSettlement<Item, Accepted, Rejection, Prerequisite>

fn settlement_status(&self) -> SettlementStatus

Inspect every member without consuming or rewriting the settlement.

impl<Item: Clone, Accepted: Clone, Rejection: Clone, Prerequisite: Clone> Clone for ItemSettlement<Item, Accepted, Rejection, Prerequisite>

fn clone(&self) -> ItemSettlement<Item, Accepted, Rejection, Prerequisite>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Item: Debug, Accepted: Debug, Rejection: Debug, Prerequisite: Debug> Debug for ItemSettlement<Item, Accepted, Rejection, Prerequisite>

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

Formats the value using the given formatter.

impl<Item: PartialEq, Accepted: PartialEq, Rejection: PartialEq, Prerequisite: PartialEq> PartialEq for ItemSettlement<Item, Accepted, Rejection, Prerequisite>

fn eq( &self, other: &ItemSettlement<Item, Accepted, Rejection, Prerequisite>, ) -> 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<Item: Copy, Accepted: Copy, Rejection: Copy, Prerequisite: Copy> Copy for ItemSettlement<Item, Accepted, Rejection, Prerequisite>

impl<Item: Eq, Accepted: Eq, Rejection: Eq, Prerequisite: Eq> Eq for ItemSettlement<Item, Accepted, Rejection, Prerequisite>

impl<Item, Accepted, Rejection, Prerequisite> StructuralPartialEq for ItemSettlement<Item, Accepted, Rejection, Prerequisite>