Enum Statement 

pub enum Statement {
    Expression(Expression),
    Let {
        name: String,
        binding: Binding,
        declared_type: Option<Type>,
        value: Expression,
    },
    Assign(Expression, Expression),
    Return(Option<Expression>),
    Label {
        name: String,
        parameters: Vec<Parameter>,
        initial_arguments: Vec<Expression>,
    },
    Jump {
        label: String,
        arguments: Vec<Expression>,
    },
    MultiReplace {
        bindings: Vec<Option<(String, Binding)>>,
        targets: Vec<Expression>,
        values: Vec<Expression>,
    },
    Defer(Box<Self>),
}

Statement nodes within a block.

Variants

Expression(Expression)

Expression evaluated for side effects.

Let

Local variable declaration.

Fields

name: String

Variable name.

binding: Binding

Binding mode.

declared_type: Option<Type>

Optional explicit type annotation.

value: Expression

Initializer expression.

Assign(Expression, Expression)

Assignment to a place expression.

Return(Option<Expression>)

Return from the current function.

Label

Label definition (jump target with parameters).

Fields

name: String

Label name.

parameters: Vec<Parameter>

Label parameters.

initial_arguments: Vec<Expression>

Initial arguments passed when entering the label.

Jump

Jump to a label with arguments.

Fields

label: String

Target label name.

arguments: Vec<Expression>

Arguments passed to the label.

MultiReplace

Simultaneous multi-replacement with optional old-value capture.

Fields

bindings: Vec<Option<(String, Binding)>>

Optional new bindings for old values.

targets: Vec<Expression>

Place expressions to assign to.

values: Vec<Expression>

New values (evaluated before any assignment).

Defer(Box<Self>)

Deferred statement, executed at the end of the enclosing block (LIFO).

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Statement

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

Formats the value using the given formatter.