Enum ErasedExprExt 

pub enum ErasedExprExt {
    BVar(u32),
    FVar(String),
    Lit(u64),
    CtorTag(u32),
    Lam(Box<ErasedExprExt>),
    App(Box<ErasedExprExt>, Box<ErasedExprExt>),
    Const(String),
    Let(Box<ErasedExprExt>, Box<ErasedExprExt>),
    TypeErased,
    Unit,
}

An erased expression node with only runtime-relevant information.

Variants

BVar(u32)

A bound variable (De Bruijn index).

FVar(String)

A free variable by name.

Lit(u64)

A literal integer value.

CtorTag(u32)

A constructor tag (for inductive types).

Lam(Box<ErasedExprExt>)

A lambda abstraction.

App(Box<ErasedExprExt>, Box<ErasedExprExt>)

An application.

Const(String)

A global constant reference.

Let(Box<ErasedExprExt>, Box<ErasedExprExt>)

A let binding.

TypeErased

A type-erased placeholder (occurs when types are erased).

Unit

A unit value.

Implementations

impl ErasedExprExt

pub fn is_lit(&self) -> bool

Return true if this expression is a literal.

pub fn is_lam(&self) -> bool

Return true if this is a lambda.

pub fn is_app(&self) -> bool

Return true if this is an application.

pub fn is_type_erased(&self) -> bool

Return true if this is type-erased.

pub fn size(&self) -> usize

Count the total number of nodes in the expression tree.

Trait Implementations

impl Clone for ErasedExprExt

fn clone(&self) -> ErasedExprExt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ErasedExprExt

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

Formats the value using the given formatter.

impl PartialEq for ErasedExprExt

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

impl StructuralPartialEq for ErasedExprExt