Enum Stmt 

pub enum Stmt {
    Let {
        name: String,
        ty: Option<TypeAnn>,
        value: Expr,
        span: Span,
    },
    Var {
        name: String,
        ty: Option<TypeAnn>,
        value: Option<Expr>,
        span: Span,
    },
    Assign {
        name: String,
        name_span: Span,
        op: AssignOp,
        value: Expr,
        span: Span,
    },
    Func {
        name: String,
        params: Vec<Param>,
        ret: Option<TypeAnn>,
        body: Vec<Stmt>,
        span: Span,
    },
    Return {
        value: Option<Expr>,
        span: Span,
    },
    Struct {
        name: String,
        fields: Vec<FieldDef>,
        span: Span,
    },
    Enum {
        name: String,
        variants: Vec<VariantDef>,
        span: Span,
    },
    If {
        cond: Expr,
        then_body: Vec<Stmt>,
        else_body: Option<Vec<Stmt>>,
        span: Span,
    },
    While {
        cond: Expr,
        body: Vec<Stmt>,
        span: Span,
    },
    For {
        var: String,
        iter: Expr,
        body: Vec<Stmt>,
        span: Span,
    },
    Expr(Expr),
}

Variants

Let

let name = value — an immutable binding.

Fields

name: String

ty: Option<TypeAnn>

value: Expr

span: Span

Var

var name = value or var name: type — a mutable binding.

Fields

name: String

ty: Option<TypeAnn>

value: Option<Expr>

span: Span

Assign

name = value, name += value, name -= value.

Fields

name: String

name_span: Span

op: AssignOp

value: Expr

span: Span

Func

func name(params) -> ret { body }. A missing -> ret means the function returns nothing.

Fields

name: String

params: Vec<Param>

ret: Option<TypeAnn>

body: Vec<Stmt>

span: Span

Return

return or return value.

Fields

value: Option<Expr>

span: Span

Struct

struct Name { field: type ... } — declares a record type.

Fields

name: String

fields: Vec<FieldDef>

span: Span

Enum

enum Name { case ... } — declares a type that is exactly one of a fixed set of cases, each of which may carry its own values.

Fields

name: String

variants: Vec<VariantDef>

span: Span

If

if cond { ... } else { ... }. An else if is represented as an else body holding a single nested If.

Fields

cond: Expr

then_body: Vec<Stmt>

else_body: Option<Vec<Stmt>>

span: Span

While

while cond { ... }.

Fields

cond: Expr

body: Vec<Stmt>

span: Span

For

for var in iter { ... }, where iter is an array or a range.

Fields

var: String

iter: Expr

body: Vec<Stmt>

span: Span

Expr(Expr)

A bare expression run for its effect, like print("hi").

Trait Implementations

impl Clone for Stmt

fn clone(&self) -> Stmt

Returns a duplicate 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

Formats the value using the given formatter.