Enum EtaLongStatus 

pub enum EtaLongStatus {
    EtaLong,
    NotEtaLong,
    Unknown,
}

Represents whether an expression is in eta-long normal form.

Variants

EtaLong

Expression is already in eta-long normal form.

NotEtaLong

Expression is not eta-long; needs expansion.

Unknown

Cannot determine without full type information.

Implementations

impl EtaLongStatus

pub fn is_eta_long(&self) -> bool

Return true if this is the EtaLong variant.

Trait Implementations

impl Clone for EtaLongStatus

fn clone(&self) -> EtaLongStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaLongStatus

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

Formats the value using the given formatter.

impl PartialEq for EtaLongStatus

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

impl Eq for EtaLongStatus

impl StructuralPartialEq for EtaLongStatus