Enum Expr 

pub enum Expr {
    Int(i64, Span),
    Float(f64, Span),
    Str(String, Span),
    Bool(bool, Span),
    Ident(String, Span),
    Array(Vec<Expr>, Span),
    Unary {
        op: UnOp,
        rhs: Box<Expr>,
        span: Span,
    },
    Binary {
        op: BinOp,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
        span: Span,
    },
    Index {
        base: Box<Expr>,
        index: Box<Expr>,
        span: Span,
    },
    Range {
        start: Box<Expr>,
        end: Box<Expr>,
        span: Span,
    },
    Call {
        name: String,
        args: Vec<Expr>,
        span: Span,
    },
    StructLit {
        name: String,
        fields: Vec<(String, Expr)>,
        span: Span,
    },
    EnumLit {
        enum_name: String,
        variant: String,
        fields: Vec<(String, Expr)>,
        span: Span,
    },
    Field {
        base: Box<Expr>,
        field: String,
        span: Span,
    },
    Match {
        scrutinee: Box<Expr>,
        arms: Vec<MatchArm>,
        span: Span,
    },
}

Variants

Int(i64, Span)

Float(f64, Span)

Str(String, Span)

Bool(bool, Span)

Ident(String, Span)

Array(Vec<Expr>, Span)

An array literal: [2, 3, 5].

Unary

Fields

op: UnOp

rhs: Box<Expr>

span: Span

Binary

Fields

op: BinOp

lhs: Box<Expr>

rhs: Box<Expr>

span: Span

Index

Reading an element by position: xs[0].

Fields

base: Box<Expr>

index: Box<Expr>

span: Span

Range

A half-open range: 0..5 means 0, 1, 2, 3, 4.

Fields

start: Box<Expr>

end: Box<Expr>

span: Span

Call

A function call. Built-ins (print, string, int, float, length) and user-defined functions share this node.

Fields

name: String

args: Vec<Expr>

span: Span

StructLit

Building a struct by naming its fields: Point(x: 0, y: 0).

Fields

name: String

fields: Vec<(String, Expr)>

span: Span

EnumLit

Building an enum case: Shape.circle(radius: 2.0). A payload-less case like Shape.dot parses as a Field and is resolved at run time.

Fields

enum_name: String

variant: String

fields: Vec<(String, Expr)>

span: Span

Field

Reading a struct field with a dot: origin.x.

Fields

base: Box<Expr>

field: String

span: Span

Match

match scrutinee { pattern => expr ... }. An expression: it evaluates to the body of the one arm that matches.

Fields

scrutinee: Box<Expr>

arms: Vec<MatchArm>

span: Span

Implementations

impl Expr

pub fn span(&self) -> Span

The source span covering this whole 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.