Enum Instruction 

pub enum Instruction {
    Push(Value),
    Pop,
    Dup,
    Swap,
    Rot3,
    Add,
    Sub,
    Mul,
    Div,
    Mod,
    Neg,
    Pow,
    Eq,
    Ne,
    Lt,
    Le,
    Gt,
    Ge,
    And,
    Or,
    Not,
    Jump(usize),
    JumpIf(usize),
    JumpIfNot(usize),
    Call(usize),
    CallNative(String),
    Return,
    BindLocal(String),
    LoadLocal(String),
    LoadGlobal(String),
    MakeList(usize),
    MakeDict(usize),
    MakeTuple(usize),
    GetIndex,
    GetAttr(String),
    Slice(Option<i64>, Option<i64>),
    ListAppend,
    ListConcat,
    DictInsert,
    DictMerge,
    MatchValue,
    MatchType(String),
    Destructure(usize),
    MakePromise,
    AwaitPromise,
    ResolvePromise,
    RejectPromise,
    MakeOk,
    MakeErr,
    UnwrapResult,
    MapResult,
    RequireCapability(String),
    CheckCapability(String),
    CallIntrinsic {
        name: String,
        capability: Option<String>,
    },
    TraceValue(String),
    RecordTelemetry(String),
    Nop,
    Halt,
}

Bytecode instructions for the Glyph VM

Variants

Push(Value)

Pop

Dup

Swap

Rot3

Add

Sub

Mul

Div

Mod

Neg

Pow

Eq

Ne

Lt

Le

Gt

Ge

And

Or

Not

Jump(usize)

JumpIf(usize)

JumpIfNot(usize)

Call(usize)

CallNative(String)

Return

BindLocal(String)

LoadLocal(String)

LoadGlobal(String)

MakeList(usize)

MakeDict(usize)

MakeTuple(usize)

GetIndex

GetAttr(String)

Slice(Option<i64>, Option<i64>)

ListAppend

ListConcat

DictInsert

DictMerge

MatchValue

MatchType(String)

Destructure(usize)

MakePromise

AwaitPromise

ResolvePromise

RejectPromise

MakeOk

MakeErr

UnwrapResult

MapResult

RequireCapability(String)

CheckCapability(String)

CallIntrinsic

Fields

name: String

capability: Option<String>

TraceValue(String)

RecordTelemetry(String)

Nop

Halt

Implementations

impl Instruction

pub fn size(&self) -> usize

Returns the size of this instruction in bytes (for jump calculations)

pub fn required_capability(&self) -> Option<&str>

Check if this instruction requires a specific capability

pub fn is_pure(&self) -> bool

Check if this instruction modifies state (all should be immutable)

Trait Implementations

impl Clone for Instruction

fn clone(&self) -> Instruction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Instruction

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Instruction

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Instruction

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Instruction