Enum InverseSpec 

pub enum InverseSpec {
    Involution,
    SelfFamily,
    NamedOp(&'static str),
}

How a RevClass::Bijection op inverts — the zero-garbage inverse recipe.

Variants

Involution

The op is its own inverse: applying it twice is the identity (Not-into-self, Swap, additive negation, XOR-by-a-value). f ∘ f = id.

SelfFamily

The inverse is the SAME op variant with a flag flipped (e.g. CrdtBump { negate } inverts by flipping negate). The variant carries its own inverse direction.

NamedOp(&'static str)

The inverse is a DISTINCT op variant, named by its Op::name (e.g. RevAdd⁻¹ = RevSub). The lock checks the name resolves to a real ISA op.

Trait Implementations

impl Clone for InverseSpec

fn clone(&self) -> InverseSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InverseSpec

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

Formats the value using the given formatter.

impl PartialEq for InverseSpec

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

impl Eq for InverseSpec

impl StructuralPartialEq for InverseSpec