Enum EtaOutcome 

pub enum EtaOutcome {
    AlreadyNormal,
    Reduced,
    NotApplicable,
    DepthLimitExceeded,
}

Records the outcome of an eta-reduction attempt.

Variants

AlreadyNormal

The expression was already in eta-normal form.

Reduced

The expression was reduced successfully.

NotApplicable

The expression could not be reduced (not an eta-redex).

DepthLimitExceeded

Reduction was aborted due to exceeding depth limit.

Implementations

impl EtaOutcome

pub fn is_success(self) -> bool

Returns true if this represents a successful reduction.

pub fn label(self) -> &'static str

Returns a short human-readable string.

Trait Implementations

impl Clone for EtaOutcome

fn clone(&self) -> EtaOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaOutcome

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

Formats the value using the given formatter.

impl PartialEq for EtaOutcome

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

impl Eq for EtaOutcome

impl StructuralPartialEq for EtaOutcome