Enum Expr 

pub enum Expr {
    Era,
    Var {
        nam: Name,
    },
    Chn {
        nam: Name,
    },
    Num {
        val: Num,
    },
    Call {
        fun: Box<Expr>,
        args: Vec<Expr>,
        kwargs: Vec<(Name, Expr)>,
    },
    Lam {
        names: Vec<(Name, bool)>,
        bod: Box<Expr>,
    },
    Opr {
        op: Op,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
    },
    Str {
        val: GlobalString,
    },
    Lst {
        els: Vec<Expr>,
    },
    Tup {
        els: Vec<Expr>,
    },
    Sup {
        els: Vec<Expr>,
    },
    Ctr {
        name: Name,
        args: Vec<Expr>,
        kwargs: Vec<(Name, Expr)>,
    },
    LstMap {
        term: Box<Expr>,
        bind: Name,
        iter: Box<Expr>,
        cond: Option<Box<Expr>>,
    },
    Map {
        entries: Vec<(Expr, Expr)>,
    },
    MapGet {
        nam: Name,
        key: Box<Expr>,
    },
    TreeNode {
        left: Box<Expr>,
        right: Box<Expr>,
    },
    TreeLeaf {
        val: Box<Expr>,
    },
}

Variants

Era

Var

Fields

nam: Name

Chn

Fields

nam: Name

Num

Fields

val: Num

Call

Fields

fun: Box<Expr>

args: Vec<Expr>

kwargs: Vec<(Name, Expr)>

Lam

Fields

names: Vec<(Name, bool)>

bod: Box<Expr>

Opr

Fields

op: Op

lhs: Box<Expr>

rhs: Box<Expr>

Str

Fields

val: GlobalString

Lst

Fields

els: Vec<Expr>

Tup

Fields

els: Vec<Expr>

Sup

Fields

els: Vec<Expr>

Ctr

Fields

name: Name

args: Vec<Expr>

kwargs: Vec<(Name, Expr)>

LstMap

Fields

term: Box<Expr>

bind: Name

iter: Box<Expr>

cond: Option<Box<Expr>>

Map

Fields

entries: Vec<(Expr, Expr)>

MapGet

Fields

nam: Name

key: Box<Expr>

TreeNode

Fields

left: Box<Expr>

right: Box<Expr>

TreeLeaf

Fields

val: Box<Expr>

Implementations

impl Expr

pub fn to_fun(self) -> Term

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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.