Enum StepKind 

pub enum StepKind {
    Pure,
    Idempotent,
    SideEffecting,
}

Advisory classification of a step’s side-effect profile (corrections #3). The substrate can’t verify side-effect freedom, so this is convention the worker respects, not enforcement: a SideEffecting step that already completed should not be silently re-run on rewind without a registered compensating step, whereas Pure / Idempotent steps are safe to re-execute. Rewind reconstructs lifecycle metadata deterministically; it does not undo external side effects.

Variants

Pure

No external side effects — safe to re-execute freely.

Idempotent

Has side effects but re-execution leaves the world unchanged (e.g. an idempotent PUT) — safe to re-execute.

SideEffecting

Produces non-idempotent external effects (an email, a payment, a non-idempotent API call). Re-execution is unsafe.

Implementations

impl StepKind

pub fn may_reexecute(self, already_completed: bool) -> bool

May this step be safely re-executed (e.g. on a rewind/retry) given whether it already_completed? Pure / Idempotent are always safe; a completed SideEffecting step is not (the worker should require a compensating step instead). Advisory.

Trait Implementations

impl Clone for StepKind

fn clone(&self) -> StepKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for StepKind

impl Debug for StepKind

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

Formats the value using the given formatter.

impl Default for StepKind

fn default() -> StepKind

Returns the “default value” for a type.

impl Eq for StepKind

impl PartialEq for StepKind

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