Struct stak_vm::Vm

pub struct Vm<'a, T: PrimitiveSet> { /* private fields */ }

A virtual machine.

Implementations

impl<'a, T: PrimitiveSet> Vm<'a, T>

pub fn new(heap: &'a mut [Value], primitive_set: T) -> Result<Self, T::Error>

Creates a virtual machine.

pub fn run(&mut self) -> Result<(), T::Error>

Runs a virtual machine.

pub const fn stack(&self) -> Cons

Returns a current stack.

pub fn push(&mut self, value: Value) -> Result<(), T::Error>

Pushes a value to a stack.

pub fn pop(&mut self) -> Value

Pops a value from a stack.

pub fn top(&mut self) -> Value

Peeks a value at the top of a stack.

pub fn allocate(&mut self, car: Value, cdr: Value) -> Result<Cons, T::Error>

Allocates a cons on heap.

pub fn car(&self, cons: Cons) -> Value

Returns a value of a car field in a cons.

pub fn cdr(&self, cons: Cons) -> Value

Returns a value of a cdr field in a cons.

pub fn car_value(&self, cons: Value) -> Value

Returns a value of a car field in a value assumed as a cons.

pub fn cdr_value(&self, cons: Value) -> Value

Returns a value of a cdr field in a value assumed as a cons.

pub fn set_car(&mut self, cons: Cons, value: Value)

Sets a value to a car field in a cons.

pub fn set_cdr(&mut self, cons: Cons, value: Value)

Sets a value to a cdr field in a cons.

pub fn set_car_value(&mut self, cons: Value, value: Value)

Sets a value to a car field in a value assumed as a cons.

pub fn set_cdr_value(&mut self, cons: Value, value: Value)

Sets a value to a cdr field in a value assumed as a cons.

pub fn boolean(&self, value: bool) -> Cons

Returns a boolean value.

pub fn null(&self) -> Cons

Returns a null value.

pub fn initialize( &mut self, input: impl IntoIterator<Item = u8>, ) -> Result<(), T::Error>

Initializes a virtual machine with bytecodes of a program.

pub const fn primitive_set(&self) -> &T

Returns a reference to a primitive set.

pub fn primitive_set_mut(&mut self) -> &mut T

Returns a mutable reference to a primitive set.

Trait Implementations

impl<'a, T: PrimitiveSet> Display for Vm<'a, T>

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

Formats the value using the given formatter.