Enum OperationAttempt 

pub enum OperationAttempt {
    NotStarted(CallError),
    Started(Result<CallResult, OperationFailure>),
}

Dispatch progress returned to the provider’s atomic execution boundary.

Variants

NotStarted(CallError)

A canonical precondition failed and typed implementation code did not run.

Started(Result<CallResult, OperationFailure>)

Typed implementation invocation began, with either a result or a typed post-invocation failure.

Implementations

impl OperationAttempt

pub fn reject(kind: CallErrorKind) -> Self

Rejects a provider precondition before typed implementation invocation.

Only use this before dispatch starts; post-invocation failures require an explicit effect disposition. The diagnostic is intentionally generic.

pub fn confirm_rollback(self) -> Self

Marks a post-invocation failure as fully rolled back.

Successful attempts and pre-dispatch failures are returned unchanged.

Trait Implementations

impl Debug for OperationAttempt

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

Formats the value using the given formatter.