Enum AbortOwnership 

#[non_exhaustive]
pub enum AbortOwnership {
    Exhausted,
    Propagated,
    Claimed,
}

Where a CratestackError::TransactionAborted stands relative to the procedure dispatch that answers the request. Decides CratestackError::is_idempotency_replayable and what the response says (CratestackError::disowned_transaction_abort).

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Exhausted

Returned by the retry loop whose own attempts ran out, and not (yet) claimed by the dispatch of the procedure that owns that loop — what a caller of <procedure>::invoke_with_db receives. Answered as a 500 INTERNAL_ERROR and recorded by an idempotency layer, like any other error.

Propagated

Passed out of a procedure body: another procedure’s exhausted transaction, propagated by a caller that may have committed work of its own. Answered as a 500 INTERNAL_ERROR, recorded, and never claimed.

Claimed

Claimed by the generated dispatch (REST, RPC, MCP) of the @isolation procedure whose own retries ran out: nothing the call did was committed. The only state answered as 409 TRANSACTION_ABORTED, and the only one an idempotency layer releases. Reached only through CratestackError::__generated_claim_transaction_abort.

Trait Implementations

impl Clone for AbortOwnership

fn clone(&self) -> AbortOwnership

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AbortOwnership

impl Debug for AbortOwnership

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

Formats the value using the given formatter.

impl Default for AbortOwnership

fn default() -> AbortOwnership

Returns the “default value” for a type.

impl Eq for AbortOwnership

impl Hash for AbortOwnership

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for AbortOwnership

fn eq(&self, other: &AbortOwnership) -> 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 StructuralPartialEq for AbortOwnership