Enum StatementKind

pub enum StatementKind {
    Use {
        file: Identifier,
    },
    Blob {
        name: String,
        fields: HashMap<String, Type>,
    },
    Print {
        value: Expression,
    },
    Assignment {
        kind: Op,
        target: Assignable,
        value: Expression,
    },
    Definition {
        ident: Identifier,
        kind: VarKind,
        ty: Type,
        value: Expression,
    },
    If {
        condition: Expression,
        pass: Box<Statement>,
        fail: Box<Statement>,
    },
    Loop {
        condition: Expression,
        body: Box<Statement>,
    },
    Break,
    Continue,
    IsCheck {
        lhs: Type,
        rhs: Type,
    },
    Ret {
        value: Expression,
    },
    Block {
        statements: Vec<Statement>,
    },
    StatementExpression {
        value: Expression,
    },
    Unreachable,
    EmptyStatement,
}

The different kinds of Statements.

There are both shorter statements like a = b + 1 as well as longer statements like if a { ... } else { ...}. The variants here include examples of how they look in the code.

Note that this shouldn’t be read as a formal language specification.

Variants

Use

“Imports” another file.

use <file>.

Fields

file: Identifier

Blob

Defines a new Blob.

A :: Blob { <field>.. }.

Fields

name: String

fields: HashMap<String, Type>

Print

Prints to standard out.

print <expression>.

Fields

value: Expression

Assignment

Assigns to a variable (a = <expression>), optionally with an operator applied (a += <expression>)

Fields

kind: Op

target: Assignable

value: Expression

Definition

Defines a new variable.

Example: a := <expression>.

Valid definition operators are ::, := and : <type> =.

Fields

ident: Identifier

kind: VarKind

ty: Type

value: Expression

If

Makes your code go either here or there.

if <expression> <statement> [else <statement>].

Fields

condition: Expression

pass: Box<Statement>

fail: Box<Statement>

Loop

Do something as long as something else evaluates to true.

loop <expression> <statement>.

Fields

condition: Expression

body: Box<Statement>

Break

Jump out of a loop.

break.

Continue

Go back to the start of the loop.

continue.

IsCheck

Handles compile time checks of types.

:A is :B

Fields

lhs: Type

rhs: Type

Ret

Returns a value from a function.

ret <expression>.

Fields

value: Expression

Block

Groups together statements that are executed after another.

{ <statement>.. }.

Fields

statements: Vec<Statement>

StatementExpression

A free-standing expression. It’s just a <expression>.

Fields

value: Expression

Unreachable

Throws an error if it is ever evaluated.

<!>.

EmptyStatement

Trait Implementations

impl Clone for StatementKind

fn clone(&self) -> StatementKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StatementKind

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

Formats the value using the given formatter.