Enum ReductionResult 

pub enum ReductionResult {
    Reduced(Expr),
    Normal(Expr),
    Aborted(Expr),
}

The result of a single reduction step.

Variants

Reduced(Expr)

The expression was reduced to a new expression.

Normal(Expr)

The expression is already in normal form (no reduction possible).

Aborted(Expr)

Reduction was aborted (e.g., step limit exceeded).

Implementations

impl ReductionResult

pub fn expr(&self) -> &Expr

Get the resulting expression regardless of whether reduction occurred.

pub fn was_reduced(&self) -> bool

Returns true if reduction occurred.

pub fn is_normal(&self) -> bool

Returns true if the expression is in normal form.

pub fn into_expr(self) -> Expr

Consume the result and return the expression.

Trait Implementations

impl Clone for ReductionResult

fn clone(&self) -> ReductionResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReductionResult

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

Formats the value using the given formatter.

impl PartialEq for ReductionResult

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