Enum EtaStructure 

pub enum EtaStructure {
    Atomic,
    Lambda(usize),
    App(usize),
    EtaExpandable,
}

Describes the structure of an expression for eta-expansion purposes.

Variants

Atomic

An expression that is not a lambda or application.

Lambda(usize)

A lambda abstraction with arity n.

App(usize)

An application spine with n arguments.

EtaExpandable

An expression suitable for eta-expansion.

Implementations

impl EtaStructure

pub fn arity(&self) -> usize

Returns the arity if this is a lambda or app.

Trait Implementations

impl Clone for EtaStructure

fn clone(&self) -> EtaStructure

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaStructure

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

Formats the value using the given formatter.

impl PartialEq for EtaStructure

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

impl StructuralPartialEq for EtaStructure