Enum Expr 

pub enum Expr {
    Number(f64),
    Str(String),
    Bool(bool),
    Unit,
    Nil,
    Ident(String),
    Block(Vec<Expr>, Span),
    Call {
        callee: Box<Expr>,
        args: Vec<Expr>,
        span: Span,
    },
    Index {
        base: Box<Expr>,
        idx: Box<Expr>,
        span: Span,
    },
    Field {
        base: Box<Expr>,
        name: String,
        span: Span,
    },
    Bind {
        name: String,
        ty: Option<TypeExpr>,
        value: Box<Expr>,
        span: Span,
    },
    Assign {
        target: Box<Expr>,
        value: Box<Expr>,
        span: Span,
    },
    If {
        cond: Box<Expr>,
        then: Box<Expr>,
        else_: Option<Box<Expr>>,
        span: Span,
    },
    While {
        cond: Box<Expr>,
        body: Box<Expr>,
        span: Span,
    },
    For {
        var: String,
        iter: Box<Expr>,
        body: Box<Expr>,
        span: Span,
    },
    Return(Option<Box<Expr>>, Span),
    Break(Span),
    Continue(Span),
    BinOp {
        op: BinOp,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
        span: Span,
    },
    UnOp {
        op: UnOp,
        operand: Box<Expr>,
        span: Span,
    },
    Lambda {
        params: Vec<Param>,
        body: Box<Expr>,
        span: Span,
    },
    List(Vec<Expr>, Span),
    Tuple(Vec<Expr>, Span),
    Map(Vec<(Expr, Expr)>, Span),
}

Expression — the core of Ling AST.

Variants

Number(f64)

Str(String)

Bool(bool)

Unit

Nil

Ident(String)

Block(Vec<Expr>, Span)

Call

Fields

callee: Box<Expr>

args: Vec<Expr>

span: Span

Index

Fields

base: Box<Expr>

idx: Box<Expr>

span: Span

Field

Fields

base: Box<Expr>

name: String

span: Span

Bind

Fields

name: String

ty: Option<TypeExpr>

value: Box<Expr>

span: Span

Assign

Fields

target: Box<Expr>

value: Box<Expr>

span: Span

If

Fields

cond: Box<Expr>

then: Box<Expr>

else_: Option<Box<Expr>>

span: Span

While

Fields

cond: Box<Expr>

body: Box<Expr>

span: Span

For

Fields

var: String

iter: Box<Expr>

body: Box<Expr>

span: Span

Return(Option<Box<Expr>>, Span)

Break(Span)

Continue(Span)

BinOp

Fields

op: BinOp

lhs: Box<Expr>

rhs: Box<Expr>

span: Span

UnOp

Fields

op: UnOp

operand: Box<Expr>

span: Span

Lambda

Fields

params: Vec<Param>

body: Box<Expr>

span: Span

List(Vec<Expr>, Span)

Tuple(Vec<Expr>, Span)

Map(Vec<(Expr, Expr)>, Span)

Implementations

impl Expr

pub fn span(&self) -> Span

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<'de> Deserialize<'de> for Expr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Expr

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.