Enum ExprKind 

pub enum ExprKind {
    Int(u64),
    Float(f64),
    Str(String),
    FStr(Vec<FStrPart>),
    Bool(bool),
    Unit,
    Name(Ident),
    SelfValue,
    SelfType,
    Paren(Box<Expr>),
    List(Vec<Expr>),
    Map(Vec<(Expr, Expr)>),
    StructLit {
        path: Path,
        type_args: Vec<Ty>,
        fields: Vec<FieldInit>,
        base: Option<Box<Expr>>,
    },
    Field {
        base: Box<Expr>,
        name: Ident,
    },
    TypeArgs {
        base: Box<Expr>,
        args: Vec<Ty>,
    },
    Call {
        callee: Box<Expr>,
        args: Vec<Arg>,
    },
    Index {
        base: Box<Expr>,
        index: Box<Expr>,
    },
    Slice {
        base: Box<Expr>,
        start: Option<Box<Expr>>,
        end: Option<Box<Expr>>,
        inclusive: bool,
    },
    Try(Box<Expr>),
    Unary {
        op: UnaryOp,
        operand: Box<Expr>,
    },
    Binary {
        op: BinaryOp,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
    },
    Closure {
        params: Vec<ClosureParam>,
        ret: Option<Ty>,
        body: Box<Expr>,
    },
    Block(Block),
    If {
        cond: Box<Expr>,
        then: Block,
        otherwise: Option<Box<Expr>>,
    },
    IfLet {
        items: Vec<CondItem>,
        then: Block,
        otherwise: Option<Box<Expr>>,
    },
    Loop {
        label: Option<Ident>,
        body: Block,
    },
    Match {
        mode: Mode,
        scrutinee: Box<Expr>,
        arms: Vec<Arm>,
    },
    Return(Option<Box<Expr>>),
    Break {
        label: Option<Ident>,
        value: Option<Box<Expr>>,
    },
    Continue {
        label: Option<Ident>,
    },
    Error,
}

The forms of expressions.

Variants

Int(u64)

An integer literal.

Float(f64)

A float literal.

Str(String)

A string literal.

FStr(Vec<FStrPart>)

An interpolated string f"..." (0.2).

Bool(bool)

true or false.

Unit

()

Name(Ident)

A name.

SelfValue

self

SelfType

Self

Paren(Box<Expr>)

(e)

List(Vec<Expr>)

[a, b]

Map(Vec<(Expr, Expr)>)

["a": 1], [:]

StructLit

Path.<T> { field: value, shorthand, ..base }

Fields

path: Path

The type name.

type_args: Vec<Ty>

Explicit type arguments .<T>.

fields: Vec<FieldInit>

The fields.

base: Option<Box<Expr>>

The base of the update syntax ..base (0.2).

Field

base.name

Fields

base: Box<Expr>

The left side.

name: Ident

The name after the dot.

TypeArgs

base.<T, U>

Fields

base: Box<Expr>

The left side.

args: Vec<Ty>

The type arguments.

Call

callee(args)

Fields

callee: Box<Expr>

What is called.

args: Vec<Arg>

The arguments.

Index

base[index]

Fields

base: Box<Expr>

The collection.

index: Box<Expr>

The index.

Slice

base[a..b] and the other slice forms.

Fields

base: Box<Expr>

The collection.

start: Option<Box<Expr>>

The start, if written.

end: Option<Box<Expr>>

The end, if written.

inclusive: bool

..=

Try(Box<Expr>)

e?

Unary

-e, !e, ~e

Fields

op: UnaryOp

The operator.

operand: Box<Expr>

The operand.

Binary

a op b

Fields

op: BinaryOp

The operator.

lhs: Box<Expr>

Left operand.

rhs: Box<Expr>

Right operand.

Closure

|x, y: Int| body or |x| -> T { body }.

Fields

params: Vec<ClosureParam>

The parameters.

ret: Option<Ty>

The written result type.

body: Box<Expr>

The body.

Block(Block)

{ ... } as the body of a closure or a match arm.

If

if cond { } else ...

Fields

cond: Box<Expr>

The condition.

then: Block

The first branch.

otherwise: Option<Box<Expr>>

else followed by a block or another if.

IfLet

if let pattern = mode? value { } else ... (0.2), or a chain of conditions with a let among them (spec chapter 3, section 5, rule 14a).

Fields

items: Vec<CondItem>

The items of the condition; at least one is a let.

then: Block

The branch taken when every item succeeds.

otherwise: Option<Box<Expr>>

else followed by a block or another if.

Loop

label: loop { body } (0.2).

Fields

label: Option<Ident>

The label of the loop.

body: Block

The body.

Match

match mode? scrutinee { arms }

Fields

mode: Mode

The mode marker.

scrutinee: Box<Expr>

The matched value.

arms: Vec<Arm>

The arms.

Return(Option<Box<Expr>>)

return e?

Break

break, break label, break value. The parser takes a name after break as a label when an enclosing loop has that label.

Fields

label: Option<Ident>

The label of the loop that is left.

value: Option<Box<Expr>>

The value of the loop that is left.

Continue

continue, continue label.

Fields

label: Option<Ident>

The label of the loop that is continued.

Error

Something that could not be parsed; a diagnostic was reported.

Trait Implementations

impl Clone for ExprKind

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 ExprKind

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

Formats the value using the given formatter.

impl PartialEq for ExprKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ExprKind