Enum Expr 

pub enum Expr {
    IntLit(i64, SourceLoc),
    BoolLit(bool, SourceLoc),
    StringLit(String, SourceLoc),
    WordCall(String, SourceLoc),
    Quotation(Vec<Expr>, SourceLoc),
    Match {
        branches: Vec<MatchBranch>,
        loc: SourceLoc,
    },
    If {
        then_branch: Box<Expr>,
        else_branch: Box<Expr>,
        loc: SourceLoc,
    },
}

Expression in the body of a word

Variants

IntLit(i64, SourceLoc)

Literal integer

BoolLit(bool, SourceLoc)

Literal boolean

StringLit(String, SourceLoc)

Literal string

WordCall(String, SourceLoc)

Word call (reference to another word)

Quotation(Vec<Expr>, SourceLoc)

Quotation (code block)

Match

Pattern match expression

Fields

branches: Vec<MatchBranch>

loc: SourceLoc

If

If expression (condition is top of stack)

Fields

then_branch: Box<Expr>

else_branch: Box<Expr>

loc: SourceLoc

Implementations

impl Expr

pub fn loc(&self) -> &SourceLoc

Get the source location of any expression

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.

impl Display for Expr

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

Formats the value using the given formatter.

impl PartialEq for Expr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Expr