Struct Env 

pub struct Env(/* private fields */);

A persistent spine of chunks, each owning [base, base + vals.len()). Extending a shared one links rather than copies: applying a closure always shares its environment, so a flat copy-on-write vector copied every call.

Implementations

impl Env

pub fn new(vals: Vec<Val>) -> Env

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn get(&self, i: usize) -> Option<&Val>

pub fn iter(&self) -> impl Iterator<Item = &Val> + '_

Yields bindings in de Bruijn order. Each step re-walks the spine, so this is for cold paths (structural equality, printing) only.

pub fn ptr_eq(a: &Env, b: &Env) -> bool

pub fn push(&self, val: Val) -> Env

Always links: the caller holds only a borrow, so the existing chunk may not be disturbed.

pub fn frame(self, vals: Vec<Val>) -> Env

A whole frame at once. Entering a closure binds self and arguments together, and a push apiece regrows the vector once per binding.

pub fn push_owned(self, val: Val) -> Env

Trait Implementations

impl Clone for Env

fn clone(&self) -> Env

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Env

Shape only: printing the bindings recurses through every closure they hold, burying whatever the caller was trying to read.

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

Formats the value using the given formatter.

impl Default for Env

fn default() -> Self

Returns the “default value” for a type.