Struct EtaReduction 

pub struct EtaReduction {
    pub inner_id: u64,
    pub ctor: String,
    pub is_valid: bool,
}

An eta-reduction opportunity: a constructor applied to its own projections.

Fields

inner_id: u64

The inner expression (the projected-from value).

ctor: String

The structure constructor name.

is_valid: bool

Whether the reduction is valid (all projections match).

Implementations

impl EtaReduction

pub fn valid(inner_id: u64, ctor: impl Into<String>) -> Self

Create a valid eta-reduction.

pub fn invalid(ctor: impl Into<String>) -> Self

Create an invalid (not reducible) result.

Trait Implementations

impl Clone for EtaReduction

fn clone(&self) -> EtaReduction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaReduction

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

Formats the value using the given formatter.