Enum Statement 

pub enum Statement {
    IntLiteral(i64),
    FloatLiteral(f64),
    BoolLiteral(bool),
    StringLiteral(Vec<u8>),
    Symbol(String),
    WordCall {
        name: String,
        span: Option<Span>,
    },
    If {
        then_branch: Vec<Statement>,
        else_branch: Option<Vec<Statement>>,
        span: Option<Span>,
    },
    Quotation {
        id: usize,
        body: Vec<Statement>,
        span: Option<QuotationSpan>,
    },
    Match {
        arms: Vec<MatchArm>,
        span: Option<Span>,
    },
}

Variants

IntLiteral(i64)

Integer literal: pushes value onto stack

FloatLiteral(f64)

Floating-point literal: pushes IEEE 754 double onto stack

BoolLiteral(bool)

Boolean literal: pushes true/false onto stack

StringLiteral(Vec<u8>)

String literal: pushes a byte-clean string onto the stack.

The payload is Vec<u8> because Seq strings are arbitrary byte sequences (\xNN escapes produce literal bytes, embedded NULs are legal). Most literals happen to be UTF-8 text; the type stays general so binary-protocol authors can write magic numbers, alignment NULs, and IEEE-754 byte patterns inline.

Symbol(String)

Symbol literal: pushes symbol onto stack Syntax: :foo, :some-name, :ok Used for dynamic variant construction and SON. Note: Symbols are not currently interned (future optimization).

WordCall

Word call: calls another word or built-in Contains the word name and optional source span for precise diagnostics

Fields

name: String

span: Option<Span>

If

Conditional: if/else/then

Pops an integer from the stack (0 = zero, non-zero = non-zero) and executes the appropriate branch

Fields

then_branch: Vec<Statement>

Statements to execute when condition is non-zero (the ‘then’ clause)

else_branch: Option<Vec<Statement>>

Optional statements to execute when condition is zero (the ‘else’ clause)

span: Option<Span>

Source span for error reporting (points to ‘if’ keyword)

Quotation

Quotation: [ … ]

A block of deferred code (quotation/lambda) Quotations are first-class values that can be pushed onto the stack and executed later with combinators like call, times, or while

The id field is used by the typechecker to track the inferred type (Quotation vs Closure) for this quotation. The id is assigned during parsing. The span field records the source location for LSP hover support.

Fields

id: usize

body: Vec<Statement>

span: Option<QuotationSpan>

Match

Match expression: pattern matching on union types

Pops a union value from the stack and dispatches to the appropriate arm based on the variant tag.

Example:

match
  Get -> send-response
  Increment -> do-increment send-response
  Report -> aggregate-add
end

Fields

arms: Vec<MatchArm>

The match arms in order

span: Option<Span>

Source span for error reporting (points to ‘match’ keyword)

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.

impl PartialEq for Statement

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