Enum WhnfReductionOrder 

pub enum WhnfReductionOrder {
    BetaFirst,
    DeltaFirst,
    StructuralOnly,
}

Controls the order in which WHNF reduction applies rules.

Variants

BetaFirst

Apply beta before delta (unfold definitions).

DeltaFirst

Apply delta (unfold) before beta.

StructuralOnly

Apply only structural reductions (beta, iota, zeta).

Trait Implementations

impl Clone for WhnfReductionOrder

fn clone(&self) -> WhnfReductionOrder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WhnfReductionOrder

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

Formats the value using the given formatter.

impl Display for WhnfReductionOrder

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

Formats the value using the given formatter.

impl PartialEq for WhnfReductionOrder

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

impl Eq for WhnfReductionOrder

impl StructuralPartialEq for WhnfReductionOrder