Enum ReductionStatus 

pub enum ReductionStatus {
    Continue(Expr, Expr),
    Equal,
    Stuck,
    Unknown,
}

Status of a lazy delta reduction step.

Variants

Continue(Expr, Expr)

Continue: reduced one or both sides.

Equal

Definitely equal.

Stuck

Definitely not equal (both stuck).

Unknown

Unknown: need more reduction.

Trait Implementations

impl Debug for ReductionStatus

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

Formats the value using the given formatter.

impl PartialEq for ReductionStatus

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

impl StructuralPartialEq for ReductionStatus