Expand description
This module implements the abstract/virtual machine that runs Tvix bytecode.
The operation of the VM is facilitated by the Frame
type,
which controls the current execution state of the VM and is
processed within the VM’s operating loop.
A VM
is used by instantiating it with an initial Frame
,
then triggering its execution and waiting for the VM to return or
yield an error.
Modules§
- This module implements generator logic for the VM. Generators are functions used during evaluation which can suspend their execution during their control flow, and request that the VM do something.
- macros 🔒
Structs§
- The result of a VM’s runtime evaluation.
- VM 🔒
Enums§
- Specification for how to handle top-level values returned by evaluation
- Frame 🔒A frame represents an execution state of the VM. The VM has a stack of frames representing the nesting of execution inside of the VM, and operates on the frame at the top.
Traits§
- GetSpan 🔒Internal helper trait for taking a span from a variety of types, to make use of
WithSpan
(defined below) more ergonomic at call sites. - With
Span 🔒Internal helper trait for ergonomically converting from aResult<T, ErrorKind>
to aResult<T, Error>
using the current span of a call frame, and chaining the VM’s frame stack around it for printing a cause chain.
Functions§
- Generator that retrieves the final value from the stack, and deep-forces it before returning.
- Resolve a dynamically bound identifier (through
with
) by looking for matching values in the with-stacks carried at runtime.