Enum nyar_hir::Operation

pub enum Operation {
    Sequence {
        items: Vec<Operation>,
    },
    CallFunction {
        name: Symbol,
        input: Vec<Operation>,
    },
    GetVariable {
        kind: VariableKind,
        variable: Symbol,
    },
    SetVariable {
        kind: VariableKind,
        variable: Symbol,
    },
    TeeVariable {
        variable: Symbol,
    },
    Loop {
        continue: Symbol,
        break: Symbol,
        body: Vec<Operation>,
    },
    Goto {
        label: Symbol,
    },
    Drop,
    Return,
    Unreachable,
    Conditional {
        condition: Vec<Operation>,
        then: Vec<Operation>,
        else: Vec<Operation>,
    },
    Constant {
        value: NyarValue,
    },
    NativeSum {
        native: NyarType,
        terms: Vec<Operation>,
    },
    Convert {
        from: NyarType,
        into: NyarType,
        code: Vec<Operation>,
    },
    Transmute {
        from: NyarType,
        into: NyarType,
        code: Vec<Operation>,
    },
    NativeEqual {
        native: NyarType,
        terms: Vec<Operation>,
    },
    NativeEqualZero {
        native: NyarType,
        term: Box<Operation>,
    },
}

Variants

Sequence

Fields

items: Vec<Operation>

CallFunction

Fields

name: Symbol

input: Vec<Operation>

GetVariable

Fields

kind: VariableKind

variable: Symbol

SetVariable

Fields

kind: VariableKind

variable: Symbol

TeeVariable

Fields

variable: Symbol

Loop

Fields

continue: Symbol

break: Symbol

body: Vec<Operation>

Goto

Fields

label: Symbol

Drop

Return

Unreachable

Conditional

Fields

condition: Vec<Operation>

then: Vec<Operation>

else: Vec<Operation>

if cond { } { }

Constant

Fields

value: NyarValue

NativeSum

Fields

native: NyarType

terms: Vec<Operation>

Convert

Fields

from: NyarType

into: NyarType

code: Vec<Operation>

Transmute

Fields

from: NyarType

into: NyarType

code: Vec<Operation>

NativeEqual

Fields

native: NyarType

terms: Vec<Operation>

NativeEqualZero

Fields

native: NyarType

term: Box<Operation>

Implementations

impl Operation

pub fn loop(label: &str, body: Vec<Operation>) -> Self

pub fn continue(label: &str) -> Self

pub fn break(label: &str) -> Self

Trait Implementations

impl Debug for Operation

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

Formats the value using the given formatter.