Skip to main content

StateKind

ff_sdk::engine_error

Enum StateKind

#[non_exhaustive]pub enum StateKind {
Show 32 variants    StaleLease,
    LeaseExpired,
    LeaseRevoked,
    ExecutionNotSuspended,
    AlreadySuspended,
    WaitpointClosed,
    TargetNotSignalable,
    DuplicateSignal,
    ResumeConditionNotMet,
    WaitpointNotPending,
    PendingWaitpointExpired,
    WaitpointNotOpen,
    ExecutionNotTerminal,
    MaxReplaysExhausted,
    StreamClosed,
    StaleOwnerCannotAppend,
    GrantAlreadyExists,
    ExecutionNotInFlow,
    FlowAlreadyTerminal,
    DepsNotSatisfied,
    NotBlockedByDeps,
    NotRunnable,
    Terminal,
    BudgetExceeded,
    BudgetSoftExceeded,
    OkAlreadyApplied,
    AttemptNotStarted,
    AttemptAlreadyTerminal,
    ExecutionNotEligibleForAttempt,
    ReplayNotAllowed,
    MaxRetriesExhausted,
    StreamAlreadyClosed,
}

Expand description

Legal-but-surprising state sub-kinds. Per-variant semantics vary (some are benign no-ops, some are terminal). Consult the RFC-010 §10.7 classification table.

Variants (Non-exhaustive)§

This enum is marked as 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.

StaleLease

Lease superseded by reclaim.

LeaseExpired

Lease TTL elapsed.

LeaseRevoked

Operator revoked lease.

ExecutionNotSuspended

Already resumed/cancelled. No-op.

AlreadySuspended

Open suspension already active. No-op.

WaitpointClosed

Signal too late — waitpoint already closed.

TargetNotSignalable

Execution not suspended; no valid signal target.

DuplicateSignal

Signal already delivered (dedup).

ResumeConditionNotMet

Resume conditions not satisfied.

WaitpointNotPending

Waitpoint not in pending state.

PendingWaitpointExpired

Pending waitpoint aged out before suspension committed.

WaitpointNotOpen

Waitpoint is not in an open state.

ExecutionNotTerminal

Cannot replay non-terminal execution.

MaxReplaysExhausted

Replay limit reached.

StreamClosed

Attempt terminal; no appends.

StaleOwnerCannotAppend

Lease mismatch on stream append.

GrantAlreadyExists

Grant already issued. Skip.

ExecutionNotInFlow

Execution not in specified flow.

FlowAlreadyTerminal

Flow already in terminal state.

DepsNotSatisfied

Dependencies not yet satisfied.

NotBlockedByDeps

Not blocked by dependencies.

NotRunnable

Execution not runnable.

Terminal

Execution already terminal.

BudgetExceeded

Hard budget limit reached.

BudgetSoftExceeded

Soft budget limit reached (warning; continue).

OkAlreadyApplied

Usage seq already processed. No-op.

AttemptNotStarted

Attempt not in started state.

AttemptAlreadyTerminal

Attempt already ended. No-op.

ExecutionNotEligibleForAttempt

Wrong state for new attempt.

ReplayNotAllowed

Execution not terminal or replay limit reached.

MaxRetriesExhausted

Retry limit reached.

StreamAlreadyClosed

Already closed. No-op.

Trait Implementations§

impl Clone for StateKind

fn clone(&self) -> StateKind

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl Debug for StateKind

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

Formats the value using the given formatter. Read more

impl PartialEq for StateKind

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

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

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 Eq for StateKind

impl StructuralPartialEq for StateKind

Auto Trait Implementations§

impl Freeze for StateKind

impl RefUnwindSafe for StateKind

impl Send for StateKind

impl Sync for StateKind

impl Unpin for StateKind

impl UnsafeUnpin for StateKind

impl UnwindSafe for StateKind

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

impl<T> PolicyExt for T
where T: ?Sized,

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more