Enum Expr

pub(in elab) enum Expr {
    Ident {
        name: String,
        span: SourceSpan,
    },
    Int(i64),
    Number(NumberLiteral),
    String(String),
    Bool(bool),
    Array {
        items: Vec<Expr>,
        span: SourceSpan,
    },
    Tuple {
        items: Vec<Expr>,
        span: SourceSpan,
    },
    StructLit {
        name: String,
        fields: Vec<NamedExprField>,
        span: SourceSpan,
    },
    Call {
        callee: Box<Expr>,
        args: Vec<CallArg>,
        span: SourceSpan,
    },
    IntrinsicCall {
        name: String,
        args: Vec<CallArg>,
        span: SourceSpan,
    },
    Field {
        base: Box<Expr>,
        field: String,
    },
    Index {
        base: Box<Expr>,
        index: Box<Expr>,
    },
    SliceRange {
        base: Box<Expr>,
        start: Option<Box<Expr>>,
        end: Option<Box<Expr>>,
    },
    Prefix {
        op: PrefixOp,
        value: Box<Expr>,
    },
    Binary {
        op: BinaryOp,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
    },
    Relational {
        op: RelationalOp,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
    },
    Block(Block),
    Splice(Box<MetaExpr>),
}

Runtime expression.

Variants

Ident

Meta identifier reference.

Fields

name: String

Identifier text as written in source.

span: SourceSpan

Source span covering the identifier token.

Int(i64)

Legacy integer literal.

Number(NumberLiteral)

Numeric literal.

String(String)

String literal.

Bool(bool)

Boolean literal.

Array

Array literal expression.

Fields

items: Vec<Expr>

Elements included in source order.

span: SourceSpan

Source span covering the full literal.

Tuple

Tuple literal expression.

Fields

items: Vec<Expr>

Elements included in source order.

span: SourceSpan

Source span covering the full literal.

StructLit

Struct literal expression.

Fields

name: String

Struct constructor name being instantiated.

fields: Vec<NamedExprField>

Field values supplied for the literal.

span: SourceSpan

Source span covering the full literal.

Call

Function call expression.

Fields

callee: Box<Expr>

Callee expression to invoke.

args: Vec<CallArg>

Positional call arguments.

span: SourceSpan

Source span covering the full call.

IntrinsicCall

Builtin intrinsic call expression.

Fields

name: String

Binding name introduced by the statement.

args: Vec<CallArg>

Positional call arguments.

span: SourceSpan

Source span covering the full intrinsic call.

Field

Field projection expression.

Fields

base: Box<Expr>

Base expression being projected from.

field: String

Field name being accessed.

Index

Collection indexing expression.

Fields

base: Box<Expr>

Base expression being projected from.

index: Box<Expr>

Index expression selecting an element.

SliceRange

Slice-range expression over an array or slice.

Fields

base: Box<Expr>

Base expression being projected from.

start: Option<Box<Expr>>

Optional inclusive start bound.

end: Option<Box<Expr>>

Optional exclusive end bound.

Prefix

Prefix operator expression.

Fields

op: PrefixOp

Prefix operator to apply.

value: Box<Expr>

Operand expression.

Binary

Binary operator expression.

Fields

op: BinaryOp

Binary operator to apply.

lhs: Box<Expr>

Left-hand operand.

rhs: Box<Expr>

Right-hand operand.

Relational

Relational operator expression.

Fields

op: RelationalOp

Relational operator to apply.

lhs: Box<Expr>

Left-hand operand.

rhs: Box<Expr>

Right-hand operand.

Block(Block)

Nested block expression.

Splice(Box<MetaExpr>)

Meta splice inside quoted code.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy 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<(), Error>

Formats the value using the given formatter.

impl PartialEq for Expr

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Expr

impl StructuralPartialEq for Expr