Enum EffectClass 

pub enum EffectClass {
    Idempotent,
    AtLeastOnce,
    ExactlyOnceGuarded,
}

How a step’s side effect behaves under replay.

This classification is recorded with every step result so the replay cursor can reason about re-execution safety without inspecting the payload.

Examples

use zeph_durable::EffectClass;

// A pure or naturally-idempotent step is safe to skip on replay.
assert_eq!(EffectClass::Idempotent.as_str(), "idempotent");

Variants

Idempotent

The operation is pure or naturally idempotent: a replayed step returns the journaled result and never invokes the operation closure again (INV-10).

AtLeastOnce

The operation tolerates being run more than once. On an ambiguous replay it may be re-run without correctness loss, accepting at-least-once delivery.

ExactlyOnceGuarded

The operation must run exactly once. It is fenced by an crate::IdempotencyKey and an explicit ambiguity policy; a replayed guarded step never re-fires a committed effect.

Implementations

impl EffectClass

pub fn as_str(self) -> &'static str

Return the canonical lower-snake-case string used in the effect_class journal column.

Trait Implementations

impl Clone for EffectClass

fn clone(&self) -> EffectClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EffectClass

impl Debug for EffectClass

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

Formats the value using the given formatter.

impl Eq for EffectClass

impl Hash for EffectClass

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

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 EffectClass

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

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for EffectClass