Enum evaltrees::ast::Expr

pub enum Expr<Aux> {
    If(Box<Expr<Aux>>, Box<Expr<Aux>>, Box<Expr<Aux>>, Aux),
    Literal(Literal, Aux),
    Op(Op, Box<Expr<Aux>>, Box<Expr<Aux>>, Aux),
    Variable(Symbol, Aux),
}

An expression.

Variants

If(Box<Expr<Aux>>, Box<Expr<Aux>>, Box<Expr<Aux>>, Aux)

A conditional expression.

Literal(Literal, Aux)

A literal value.

Op(Op, Box<Expr<Aux>>, Box<Expr<Aux>>, Aux)

A binary operator.

Variable(Symbol, Aux)

A variable.

Methods

impl<Aux> Expr<Aux>

pub fn to_cst(&self) -> CstExpr

Converts the AST expression back to a CST expression.

impl<Aux> Expr<Aux>

pub fn display_as<'a>(     &'a self,     style: PrintStyle ) -> impl 'a + Display

Returns a Display that follows the given print style.

impl<Aux> Expr<Aux>

pub fn aux_ref(&self) -> &Aux

Gets the auxiliary data as a reference.

pub fn free_count(&self) -> BTreeMap<Symbol, usize>

Returns the number of occurrences of variables.

pub fn freevars(&self) -> BTreeSet<Symbol>

Returns the free variables of an expression.

pub fn map_aux<Aux2, F: Copy + Fn(Aux) -> Aux2>(self, f: F) -> Expr<Aux2>

Modifies the aux value, recursively.

impl<Aux: Clone> Expr<Aux>

pub fn aux(&self) -> Aux

Clones the auxiliary data out.

Trait Implementations

impl<Aux: Clone> Clone for Expr<Aux>

fn clone(&self) -> Expr<Aux>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Aux: Debug> Debug for Expr<Aux>

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

Formats the value using the given formatter.

impl<Aux> Display for Expr<Aux>

fn fmt(&self, fmt: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<Aux: PartialEq> PartialEq for Expr<Aux>

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

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

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

This method tests for !=.