Enum Expr

pub enum Expr {
    Box(ExprBox),
    InPlace(ExprInPlace),
    Array(ExprArray),
    Call(ExprCall),
    MethodCall(ExprMethodCall),
    Tuple(ExprTuple),
    Binary(ExprBinary),
    Unary(ExprUnary),
    Lit(ExprLit),
    Cast(ExprCast),
    Type(ExprType),
    If(ExprIf),
    IfLet(ExprIfLet),
    While(ExprWhile),
    WhileLet(ExprWhileLet),
    ForLoop(ExprForLoop),
    Loop(ExprLoop),
    Match(ExprMatch),
    Closure(ExprClosure),
    Unsafe(ExprUnsafe),
    Block(ExprBlock),
    Assign(ExprAssign),
    AssignOp(ExprAssignOp),
    Field(ExprField),
    Index(ExprIndex),
    Range(ExprRange),
    Path(ExprPath),
    AddrOf(ExprAddrOf),
    Break(ExprBreak),
    Continue(ExprContinue),
    Return(ExprReturn),
    Macro(ExprMacro),
    Struct(ExprStruct),
    Repeat(ExprRepeat),
    Paren(ExprParen),
    Group(ExprGroup),
    Try(ExprTry),
    Catch(ExprCatch),
    Yield(ExprYield),
    Verbatim(ExprVerbatim),
}

A Rust expression.

This type is available if Syn is built with the "derive" or "full" feature.

Syntax tree enums

This type is a syntax tree enum. In Syn this and other syntax tree enums are designed to be traversed using the following rebinding idiom.

let expr: Expr = /* ... */;
match expr {
    Expr::MethodCall(expr) => {
        /* ... */
    }
    Expr::Cast(expr) => {
        /* ... */
    }
    Expr::IfLet(expr) => {
        /* ... */
    }
    /* ... */
}

We begin with a variable expr of type Expr that has no fields (because it is an enum), and by matching on it and rebinding a variable with the same name expr we effectively imbue our variable with all of the data fields provided by the variant that it turned out to be. So for example above if we ended up in the MethodCall case then we get to use expr.receiver, expr.args etc; if we ended up in the IfLet case we get to use expr.pat, expr.then_branch, expr.else_branch.

The pattern is similar if the input expression is borrowed:

match *expr {
    Expr::MethodCall(ref expr) => {

This approach avoids repeating the variant names twice on every line.

Expr::MethodCall(ExprMethodCall { method, args, .. }) => { // repetitive

In general, the name to which a syntax tree enum variant is bound should be a suitable name for the complete syntax tree enum type.

// Binding is called `base` which is the name I would use if I were
// assigning `*discriminant.base` without an `if let`.
if let Expr::Tuple(ref base) = *discriminant.base {

A sign that you may not be choosing the right variable names is if you see names getting repeated in your code, like accessing receiver.receiver or pat.pat or cond.cond.

Variants

Box(ExprBox)

A box expression: box f.

This type is available if Syn is built with the "full" feature.

InPlace(ExprInPlace)

A placement expression: place <- value.

This type is available if Syn is built with the "full" feature.

Array(ExprArray)

A slice literal expression: [a, b, c, d].

This type is available if Syn is built with the "full" feature.

Call(ExprCall)

A function call expression: invoke(a, b).

This type is available if Syn is built with the "derive" or "full" feature.

MethodCall(ExprMethodCall)

A method call expression: x.foo::<T>(a, b).

This type is available if Syn is built with the "full" feature.

Tuple(ExprTuple)

A tuple expression: (a, b, c, d).

This type is available if Syn is built with the "full" feature.

Binary(ExprBinary)

A binary operation: a + b, a * b.

This type is available if Syn is built with the "derive" or "full" feature.

Unary(ExprUnary)

A unary operation: !x, *x.

This type is available if Syn is built with the "derive" or "full" feature.

Lit(ExprLit)

A literal in place of an expression: 1, "foo".

This type is available if Syn is built with the "derive" or "full" feature.

Cast(ExprCast)

A cast expression: foo as f64.

This type is available if Syn is built with the "derive" or "full" feature.

Type(ExprType)

A type ascription expression: foo: f64.

This type is available if Syn is built with the "full" feature.

If(ExprIf)

An if expression with an optional else block: if expr { ... } else { ... }.

The else branch expression may only be an If, IfLet, or Block expression, not any of the other types of expression.

This type is available if Syn is built with the "full" feature.

IfLet(ExprIfLet)

An if let expression with an optional else block: if let pat = expr { ... } else { ... }.

The else branch expression may only be an If, IfLet, or Block expression, not any of the other types of expression.

This type is available if Syn is built with the "full" feature.

While(ExprWhile)

A while loop: while expr { ... }.

This type is available if Syn is built with the "full" feature.

WhileLet(ExprWhileLet)

A while-let loop: while let pat = expr { ... }.

This type is available if Syn is built with the "full" feature.

ForLoop(ExprForLoop)

A for loop: for pat in expr { ... }.

This type is available if Syn is built with the "full" feature.

Loop(ExprLoop)

Conditionless loop: loop { ... }.

This type is available if Syn is built with the "full" feature.

Match(ExprMatch)

A match expression: match n { Some(n) => {}, None => {} }.

This type is available if Syn is built with the "full" feature.

Closure(ExprClosure)

A closure expression: |a, b| a + b.

This type is available if Syn is built with the "full" feature.

Unsafe(ExprUnsafe)

An unsafe block: unsafe { ... }.

This type is available if Syn is built with the "full" feature.

Block(ExprBlock)

A blocked scope: { ... }.

This type is available if Syn is built with the "full" feature.

Assign(ExprAssign)

An assignment expression: a = compute().

This type is available if Syn is built with the "full" feature.

AssignOp(ExprAssignOp)

A compound assignment expression: counter += 1.

This type is available if Syn is built with the "full" feature.

Field(ExprField)

Access of a named struct field (obj.k) or unnamed tuple struct field (obj.0).

This type is available if Syn is built with the "full" feature.

Index(ExprIndex)

A square bracketed indexing expression: vector[2].

This type is available if Syn is built with the "derive" or "full" feature.

Range(ExprRange)

A range expression: 1..2, 1.., ..2, 1..=2, ..=2.

This type is available if Syn is built with the "full" feature.

Path(ExprPath)

A path like std::mem::replace possibly containing generic parameters and a qualified self-type.

A plain identifier like x is a path of length 1.

This type is available if Syn is built with the "derive" or "full" feature.

AddrOf(ExprAddrOf)

A referencing operation: &a or &mut a.

This type is available if Syn is built with the "full" feature.

Break(ExprBreak)

A break, with an optional label to break and an optional expression.

This type is available if Syn is built with the "full" feature.

Continue(ExprContinue)

A continue, with an optional label.

This type is available if Syn is built with the "full" feature.

Return(ExprReturn)

A return, with an optional value to be returned.

This type is available if Syn is built with the "full" feature.

Macro(ExprMacro)

A macro invocation expression: format!("{}", q).

This type is available if Syn is built with the "full" feature.

Struct(ExprStruct)

A struct literal expression: Point { x: 1, y: 1 }.

The rest provides the value of the remaining fields as in S { a: 1, b: 1, ..rest }.

This type is available if Syn is built with the "full" feature.

Repeat(ExprRepeat)

An array literal constructed from one repeated element: [0u8; N].

This type is available if Syn is built with the "full" feature.

Paren(ExprParen)

A parenthesized expression: (a + b).

This type is available if Syn is built with the "full" feature.

Group(ExprGroup)

An expression contained within invisible delimiters.

This variant is important for faithfully representing the precedence of expressions and is related to None-delimited spans in a TokenStream.

This type is available if Syn is built with the "full" feature.

Try(ExprTry)

A try-expression: expr?.

This type is available if Syn is built with the "full" feature.

Catch(ExprCatch)

A catch expression: do catch { ... }.

This type is available if Syn is built with the "full" feature.

Yield(ExprYield)

A yield expression: yield expr.

This type is available if Syn is built with the "full" feature.

Verbatim(ExprVerbatim)

Tokens in expression position not interpreted by Syn.

This type is available if Syn is built with the "derive" or "full" feature.

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 From<ExprAddrOf> for Expr

fn from(e: ExprAddrOf) -> Expr

Converts to this type from the input type.

impl From<ExprArray> for Expr

fn from(e: ExprArray) -> Expr

Converts to this type from the input type.

impl From<ExprAssign> for Expr

fn from(e: ExprAssign) -> Expr

Converts to this type from the input type.

impl From<ExprAssignOp> for Expr

fn from(e: ExprAssignOp) -> Expr

Converts to this type from the input type.

impl From<ExprBinary> for Expr

fn from(e: ExprBinary) -> Expr

Converts to this type from the input type.

impl From<ExprBlock> for Expr

fn from(e: ExprBlock) -> Expr

Converts to this type from the input type.

impl From<ExprBox> for Expr

fn from(e: ExprBox) -> Expr

Converts to this type from the input type.

impl From<ExprBreak> for Expr

fn from(e: ExprBreak) -> Expr

Converts to this type from the input type.

impl From<ExprCall> for Expr

fn from(e: ExprCall) -> Expr

Converts to this type from the input type.

impl From<ExprCast> for Expr

fn from(e: ExprCast) -> Expr

Converts to this type from the input type.

impl From<ExprCatch> for Expr

fn from(e: ExprCatch) -> Expr

Converts to this type from the input type.

impl From<ExprClosure> for Expr

fn from(e: ExprClosure) -> Expr

Converts to this type from the input type.

impl From<ExprContinue> for Expr

fn from(e: ExprContinue) -> Expr

Converts to this type from the input type.

impl From<ExprField> for Expr

fn from(e: ExprField) -> Expr

Converts to this type from the input type.

impl From<ExprForLoop> for Expr

fn from(e: ExprForLoop) -> Expr

Converts to this type from the input type.

impl From<ExprGroup> for Expr

fn from(e: ExprGroup) -> Expr

Converts to this type from the input type.

impl From<ExprIf> for Expr

fn from(e: ExprIf) -> Expr

Converts to this type from the input type.

impl From<ExprIfLet> for Expr

fn from(e: ExprIfLet) -> Expr

Converts to this type from the input type.

impl From<ExprInPlace> for Expr

fn from(e: ExprInPlace) -> Expr

Converts to this type from the input type.

impl From<ExprIndex> for Expr

fn from(e: ExprIndex) -> Expr

Converts to this type from the input type.

impl From<ExprLit> for Expr

fn from(e: ExprLit) -> Expr

Converts to this type from the input type.

impl From<ExprLoop> for Expr

fn from(e: ExprLoop) -> Expr

Converts to this type from the input type.

impl From<ExprMacro> for Expr

fn from(e: ExprMacro) -> Expr

Converts to this type from the input type.

impl From<ExprMatch> for Expr

fn from(e: ExprMatch) -> Expr

Converts to this type from the input type.

impl From<ExprMethodCall> for Expr

fn from(e: ExprMethodCall) -> Expr

Converts to this type from the input type.

impl From<ExprParen> for Expr

fn from(e: ExprParen) -> Expr

Converts to this type from the input type.

impl From<ExprPath> for Expr

fn from(e: ExprPath) -> Expr

Converts to this type from the input type.

impl From<ExprRange> for Expr

fn from(e: ExprRange) -> Expr

Converts to this type from the input type.

impl From<ExprRepeat> for Expr

fn from(e: ExprRepeat) -> Expr

Converts to this type from the input type.

impl From<ExprReturn> for Expr

fn from(e: ExprReturn) -> Expr

Converts to this type from the input type.

impl From<ExprStruct> for Expr

fn from(e: ExprStruct) -> Expr

Converts to this type from the input type.

impl From<ExprTry> for Expr

fn from(e: ExprTry) -> Expr

Converts to this type from the input type.

impl From<ExprTuple> for Expr

fn from(e: ExprTuple) -> Expr

Converts to this type from the input type.

impl From<ExprType> for Expr

fn from(e: ExprType) -> Expr

Converts to this type from the input type.

impl From<ExprUnary> for Expr

fn from(e: ExprUnary) -> Expr

Converts to this type from the input type.

impl From<ExprUnsafe> for Expr

fn from(e: ExprUnsafe) -> Expr

Converts to this type from the input type.

impl From<ExprVerbatim> for Expr

fn from(e: ExprVerbatim) -> Expr

Converts to this type from the input type.

impl From<ExprWhile> for Expr

fn from(e: ExprWhile) -> Expr

Converts to this type from the input type.

impl From<ExprWhileLet> for Expr

fn from(e: ExprWhileLet) -> Expr

Converts to this type from the input type.

impl From<ExprYield> for Expr

fn from(e: ExprYield) -> Expr

Converts to this type from the input type.

impl Hash for Expr

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

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 Synom for Expr

fn parse(i: Cursor<'_>) -> PResult<'_, Self>

fn description() -> Option<&'static str>

impl ToTokens for Expr

fn to_tokens(&self, tokens: &mut Tokens)

Write self to the given Tokens.

fn into_tokens(self) -> Tokens

where Self: Sized,

Convert self directly into a Tokens object.

impl Eq for Expr

impl StructuralPartialEq for Expr