Enum closure_calculus::Expr

pub enum Expr {
    J,
    R(Box<Expr>),
    F(Box<Expr>, Box<Expr>),
    L(Box<Expr>, Box<Expr>),
    I,
    P(Box<Expr>, Box<Expr>),
    A(Box<Expr>, Box<Expr>),
}

Stores expressions for Closure Calculus.

Variants

J

Zero.

R(Box<Expr>)

Successor.

F(Box<Expr>, Box<Expr>)

Application freeze.

L(Box<Expr>, Box<Expr>)

Lambda with environment and body.

I

Identity.

P(Box<Expr>, Box<Expr>)

Pair.

A(Box<Expr>, Box<Expr>)

Application.

Implementations

impl Expr

pub fn reduce(self) -> Result<Expr, Expr>

Reduces expression.

Returns Ok(_) if the expression was reduced. Returns Err(_) if the expression was not reduced.

pub fn reduce_all(self) -> Expr

Reduce until no further reductions can be done.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Eq for Expr

impl PartialEq<Expr> for Expr

fn eq(&self, other: &Expr) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Expr) -> bool

This method tests for !=.

impl StructuralEq for Expr

impl StructuralPartialEq for Expr