Enum Stmt

pub(in elab) enum Stmt {
    Let {
        name: String,
        name_span: SourceSpan,
        ownership: OwnershipMode,
        mode: AssignMode,
        value: Expr,
    },
    Assign {
        target: AssignTarget,
        mode: AssignMode,
        value: Expr,
    },
    If {
        condition: Expr,
        then_block: Block,
        else_block: Option<Block>,
    },
    For {
        binding: Binding,
        iterable: Expr,
        body: Block,
    },
    While {
        condition: Expr,
        body: Block,
    },
    Match {
        value: Expr,
        arms: Vec<MatchArm>,
    },
    Meta {
        body: MetaBlock,
    },
    Expr {
        expr: Expr,
        has_semi: bool,
    },
}

Runtime statement.

Variants

Let

Binding declaration statement.

Fields

name: String

Binding name introduced by the statement.

name_span: SourceSpan

Source span covering the binding name token.

ownership: OwnershipMode

Ownership mode assigned to the local binding.

mode: AssignMode

Assignment mode used to initialize the binding.

value: Expr

Value expression assigned by the statement.

Assign

Assignment to an existing binding or field path.

Fields

target: AssignTarget

Assignment target path.

mode: AssignMode

Assignment mode used to initialize the binding.

value: Expr

Value expression assigned by the statement.

If

Conditional statement.

Fields

condition: Expr

Condition expression to evaluate.

then_block: Block

Block evaluated when the condition succeeds.

else_block: Option<Block>

Optional block evaluated when the condition fails.

For

Collection iteration statement.

Fields

binding: Binding

Loop binding introduced for each element.

iterable: Expr

Iterable expression producing the collection.

body: Block

Loop body evaluated for each element.

While

Loop that repeats while the condition is true.

Fields

condition: Expr

Condition expression to evaluate.

body: Block

Loop body evaluated while the condition remains true.

Match

Enum match statement.

Fields

value: Expr

Subject expression to match against.

arms: Vec<MatchArm>

Match arms evaluated in order.

Meta

Embedded meta block statement.

Fields

body: MetaBlock

Meta block evaluated at compile time.

Expr

Standalone expression statement.

Fields

expr: Expr

Expression evaluated by the statement.

has_semi: bool

Whether the source used a trailing semicolon.

Trait Implementations

impl Clone for Stmt

fn clone(&self) -> Stmt

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Stmt

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

Formats the value using the given formatter.

impl PartialEq for Stmt

fn eq(&self, other: &Stmt) -> 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 Stmt

impl StructuralPartialEq for Stmt