Struct tvix_eval::upvalues::Upvalues

pub struct Upvalues {
    static_upvalues: Vec<Value>,
    with_stack: Option<Vec<Value>>,
}

Structure for carrying upvalues of an UpvalueCarrier. The implementation of this struct encapsulates the logic for capturing and accessing upvalues.

Nix’s with cannot be used to shadow an enclosing binding – like Rust’s use xyz::* construct, but unlike Javascript’s with (xyz). This means that Nix has two kinds of identifiers, which can be distinguished at compile time:

• Static identifiers, which are bound in some enclosing scope by let, name: or {name}:
• Dynamic identifiers, which are not bound in any enclosing scope

Fields

static_upvalues: Vec<Value>

The upvalues of static identifiers. Each static identifier is assigned an integer identifier at compile time, which is an index into this Vec.

with_stack: Option<Vec<Value>>

The upvalues of dynamic identifiers, if any exist. This consists of the value passed to each enclosing with val;, from outermost to innermost.

Implementations

impl Upvalues

pub fn with_capacity(count: usize) -> Self

pub fn push(&mut self, value: Value)

Push an upvalue at the end of the upvalue list.

pub fn set_with_stack(&mut self, with_stack: Vec<Value>)

Set the captured with stack.

pub fn with_stack(&self) -> Option<&Vec<Value>>

pub fn with_stack_len(&self) -> usize

pub fn resolve_deferred_upvalues(&mut self, stack: &[Value])

Resolve deferred upvalues from the provided stack slice, mutating them in the internal upvalue slots.

Trait Implementations

impl Clone for Upvalues

fn clone(&self) -> Upvalues

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Upvalues

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

Formats the value using the given formatter.

impl Index<UpvalueIdx> for Upvalues

type Output = Value

The returned type after indexing.

fn index(&self, index: UpvalueIdx) -> &Self::Output

Performs the indexing (container[index]) operation.