Enum Reconciliation 

pub enum Reconciliation<T> {
    Landed(T),
    DidNotHappen,
    Inconclusive,
}

What a reconciliation probe established about a call whose outcome was unknown.

This is how an undecidable case becomes decidable: instead of assuming the call is safe to repeat, ask the provider what happened. Every serious provider supports it — retrieving a payment intent by id, querying a transfer by reference — and it is strictly better than the alternatives, because it produces an answer rather than a bet.

Variants

Landed(T)

It landed, and here is the result, recovered from the provider.

The effect is complete. Nothing is re-performed, and the recovered output is journaled as this effect’s outcome.

DidNotHappen

It never landed. Performing it now is safe.

Inconclusive

The probe could not tell.

Not a failure of the probe so much as an honest answer, and it leaves the run exactly where it was: undecidable, and escalated rather than guessed at.

Implementations

impl<T> Reconciliation<T>

pub fn disposition(&self) -> Disposition

The probe’s answer in the same vocabulary a failure uses, because it is the same question.

Trait Implementations

impl<T: Debug> Debug for Reconciliation<T>

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

Formats the value using the given formatter.