Enum SimplifiedExpr 

pub enum SimplifiedExpr {
    Var(String),
    App(Box<SimplifiedExpr>, Box<SimplifiedExpr>),
    Lambda(String, Box<SimplifiedExpr>),
    Pi(String, Box<SimplifiedExpr>, Box<SimplifiedExpr>),
}

Simplified Expr representation for hashing (mirrors actual Expr).

Used for caching purposes with a streamlined structure suitable for hashing.

Variants

Var(String)

A variable reference with the given name.

App(Box<SimplifiedExpr>, Box<SimplifiedExpr>)

Function application: function and argument.

Lambda(String, Box<SimplifiedExpr>)

Lambda abstraction: parameter name and body.

Pi(String, Box<SimplifiedExpr>, Box<SimplifiedExpr>)

Pi type: parameter name, parameter type, and body type.

Implementations

impl SimplifiedExpr

pub fn hash(&self) -> u64

Compute FNV-1a hash for this expression

Trait Implementations

impl Clone for SimplifiedExpr

fn clone(&self) -> SimplifiedExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimplifiedExpr

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

Formats the value using the given formatter.

impl PartialEq for SimplifiedExpr

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

impl StructuralPartialEq for SimplifiedExpr