Enum tvix_eval::vm::Frame

enum Frame {
    CallFrame {
        call_frame: CallFrame,
        span: Span,
    },
    Generator {
        name: &'static str,
        span: Span,
        state: GeneratorState,
        generator: Gen<VMRequest, VMResponse, Pin<Box<dyn Future<Output = Result<Value, ErrorKind>>>>>,
    },
}

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.

When a frame has been fully executed, it is removed from the VM’s frame stack and expected to leave a result Value on the top of the stack.

Variants

CallFrame

CallFrame represents the execution of Tvix bytecode within a thunk, function or closure.

Fields

call_frame: CallFrame

The call frame itself, separated out into another type to pass it around easily.

span: Span

Span from which the call frame was launched.

Generator

Generator represents a frame that can yield further instructions to the VM while its execution is being driven.

A generator is essentially an asynchronous function that can be suspended while waiting for the VM to do something (e.g. thunk forcing), and resume at the same point.

Fields

name: &'static str

human-readable description of the generator,

span: Span

Span from which the generator was launched.

state: GeneratorState

generator: Gen<VMRequest, VMResponse, Pin<Box<dyn Future<Output = Result<Value, ErrorKind>>>>>

Generator itself, which can be resumed with .resume().

Implementations

impl Frame

pub fn span(&self) -> Span