Enum EffectKind 

pub enum EffectKind {
    Output,
    Clock,
    Timer,
    Concurrency,
    Network,
}

The family of observable effect a RevClass::Effectful op performs — determines how far reversal can go before it hits a named barrier.

Variants

Output

Buffered program output (Show) — fully reversible by truncating the output buffer.

Clock

Reads the environment clock (today / now) — reversed via the value recorded on the determinism trace, so a reverse-then-re-forward replays the identical instant.

Timer

Advances virtual time (Sleep) — a no-op on observable state; reverses as a no-op.

Concurrency

Deterministic in-process concurrency (channels / tasks / select) — internal queue and scheduler mutations, reversed via the recorded schedule trace.

Network

Peer networking over the relay — the genuinely external frontier; internal state reverses fully, but an already-observed send raises a NAMED irreversibility barrier.

Trait Implementations

impl Clone for EffectKind

fn clone(&self) -> EffectKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectKind

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

Formats the value using the given formatter.

impl PartialEq for EffectKind

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

impl Eq for EffectKind

impl StructuralPartialEq for EffectKind