Enum ClaimDispositionKind 

pub enum ClaimDispositionKind {
    AbandonNoExternalEffect,
    AbandonEffectReconciled {
        evidence: EvidenceReference,
    },
    CarryReceipt {
        receipt_id: ExecutionReceiptId,
    },
    RetryInSuccessor,
}

What became of one outstanding claim when a successor was planned.

There is no implicit abandonment. A claim may hold a lease over work that really happened outside this engine, and a handoff that stayed silent about it would move the ceremony on while the effect stayed behind with nobody accountable for it.

Variants

AbandonNoExternalEffect

Nothing happened outside the engine, so there is nothing to reconcile.

AbandonEffectReconciled

Something happened outside the engine and was settled; the evidence says where that was established.

Fields

evidence: EvidenceReference

CarryReceipt

The work produced a receipt the successor answers for.

Fields

receipt_id: ExecutionReceiptId

RetryInSuccessor

The work is to be done again, under the successor’s definition.

Implementations

impl ClaimDispositionKind

pub const fn as_label(&self) -> &'static str

Trait Implementations

impl Clone for ClaimDispositionKind

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClaimDispositionKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ClaimDispositionKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ClaimDispositionKind

impl PartialEq for ClaimDispositionKind

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ClaimDispositionKind

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ClaimDispositionKind