Enum Expr 

pub enum Expr {
    Lit(Literal),
    Path(Path),
    Tuple(Vec<Spanned<Expr>>),
    Array(Vec<Spanned<Expr>>),
    ArrayRepeat {
        init: Box<Spanned<Expr>>,
        len: Box<Spanned<Expr>>,
    },
    Block(Block),
    If {
        cond: Box<Spanned<Expr>>,
        then: Box<Spanned<Block>>,
        else_: Option<Box<Spanned<Expr>>>,
    },
    Match {
        scrutinee: Box<Spanned<Expr>>,
        arms: Vec<MatchArm>,
    },
    While {
        cond: Box<Spanned<Expr>>,
        body: Box<Spanned<Block>>,
    },
    For {
        pattern: Spanned<Pattern>,
        iter: Box<Spanned<Expr>>,
        body: Box<Spanned<Block>>,
    },
    Range {
        lo: Box<Spanned<Expr>>,
        hi: Box<Spanned<Expr>>,
        inclusive: bool,
    },
    Return(Option<Box<Spanned<Expr>>>),
    Break(Option<Box<Spanned<Expr>>>),
    Continue,
    Closure {
        params: Vec<Param>,
        ret: Option<Spanned<Type>>,
        body: Box<Spanned<Expr>>,
    },
    Record {
        path: Path,
        fields: Vec<FieldInit>,
        base: Option<Box<Spanned<Expr>>>,
    },
    Binary {
        op: BinOp,
        lhs: Box<Spanned<Expr>>,
        rhs: Box<Spanned<Expr>>,
    },
    Unary {
        op: UnOp,
        expr: Box<Spanned<Expr>>,
    },
    Call {
        callee: Box<Spanned<Expr>>,
        args: Vec<Spanned<Expr>>,
    },
    Index {
        target: Box<Spanned<Expr>>,
        index: Box<Spanned<Expr>>,
    },
    Field {
        target: Box<Spanned<Expr>>,
        field: Spanned<String>,
    },
    Try(Box<Spanned<Expr>>),
    Await(Box<Spanned<Expr>>),
    Cast {
        expr: Box<Spanned<Expr>>,
        ty: Spanned<Type>,
    },
    Assign {
        op: AssignOp,
        lhs: Box<Spanned<Expr>>,
        rhs: Box<Spanned<Expr>>,
    },
    StringInterp(Vec<StringPart>),
}

An expression.

Variants

Lit(Literal)

Path(Path)

Tuple(Vec<Spanned<Expr>>)

Array(Vec<Spanned<Expr>>)

ArrayRepeat

[init; n] — an n-slot array whose every slot is init, with both init and n evaluated once at runtime.

init is not copied per slot: it is evaluated a single time and that one value goes into every slot, so for a heap element type all n slots refer to the same object ([Cell { n: 0 }; 3] is one Cell seen three times, and a[0].n = 42 shows through a[1] and a[2]). Nova has reference semantics throughout and no Copy, so there is no per-slot clone to perform.

Fields

init: Box<Spanned<Expr>>

len: Box<Spanned<Expr>>

Block(Block)

If

Fields

cond: Box<Spanned<Expr>>

then: Box<Spanned<Block>>

else_: Option<Box<Spanned<Expr>>>

Match

Fields

scrutinee: Box<Spanned<Expr>>

arms: Vec<MatchArm>

While

Fields

cond: Box<Spanned<Expr>>

body: Box<Spanned<Block>>

For

Fields

pattern: Spanned<Pattern>

iter: Box<Spanned<Expr>>

body: Box<Spanned<Block>>

Range

A range expression lo..hi (exclusive) or lo..=hi (inclusive). Phase 1 supports these only as the iterable of a for loop.

Fields

lo: Box<Spanned<Expr>>

hi: Box<Spanned<Expr>>

inclusive: bool

Return(Option<Box<Spanned<Expr>>>)

Break(Option<Box<Spanned<Expr>>>)

Continue

Closure

Fields

params: Vec<Param>

ret: Option<Spanned<Type>>

body: Box<Spanned<Expr>>

Record

Fields

path: Path

fields: Vec<FieldInit>

base: Option<Box<Spanned<Expr>>>

..base spread

Binary

Fields

op: BinOp

lhs: Box<Spanned<Expr>>

rhs: Box<Spanned<Expr>>

Unary

Fields

op: UnOp

expr: Box<Spanned<Expr>>

Call

Fields

callee: Box<Spanned<Expr>>

args: Vec<Spanned<Expr>>

Index

Fields

target: Box<Spanned<Expr>>

index: Box<Spanned<Expr>>

Field

Fields

target: Box<Spanned<Expr>>

field: Spanned<String>

Try(Box<Spanned<Expr>>)

expr? — the try / error-propagation operator.

Await(Box<Spanned<Expr>>)

expr.await.

Cast

expr as Type.

Fields

expr: Box<Spanned<Expr>>

ty: Spanned<Type>

Assign

lhs = rhs, lhs += rhs, etc.

Fields

op: AssignOp

lhs: Box<Spanned<Expr>>

rhs: Box<Spanned<Expr>>

StringInterp(Vec<StringPart>)

A string with interpolated expressions: "Hello, ${name}!".

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Self

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.