Struct BaseEnv 

pub struct BaseEnv { /* private fields */ }

The compile-time environment: the flat name -> value table of primitives and base constants that crate::compile folds unshadowed references against, and whose BaseEnv::names seed the elaborator’s scope.

This is deliberately NOT the runtime environment, and is not the root of the runtime frame chain. Nothing resolves a name at run time — top-level bindings go through the compiler’s Globals table, locals through slot indices, and unshadowed base names are constant-folded at compile time — so the two are what they actually are: a name map used while compiling, and a stack of positional frames used while running.

Implementations

impl BaseEnv

pub fn new() -> BaseEnv

pub fn child(&self) -> BaseEnv

A copy that can be extended without disturbing this one. There is no frame chain here — shadowing is just overwriting in the copy.

pub fn define(&mut self, name: impl Into<Rc<str>>, value: Value)

pub fn lookup(&self, name: &str) -> Option<Value>

pub fn names(&self) -> Vec<String>

Every name bound here (feeds the elaborator’s scope).

Trait Implementations

impl Clone for BaseEnv

fn clone(&self) -> BaseEnv

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BaseEnv

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

Formats the value using the given formatter.

impl Default for BaseEnv

fn default() -> BaseEnv

Returns the “default value” for a type.