Struct Environment

pub struct Environment { /* private fields */ }

Implements a nested lexical scope

Implementations

impl Environment

pub fn new() -> Environment

pub fn no_builtins() -> Environment

Creates an Environment with no builtins

pub fn eval(&mut self, node: &impl Interpret) -> Result<ConValue, Error>

Reflexively evaluates a node

pub fn call( &mut self, name: Interned<'static, str>, args: &[ConValue], ) -> Result<ConValue, Error>

Calls a function inside the interpreter’s scope, and returns the result

pub fn bind(&mut self, name: &str, value: impl Into<ConValue>)

Binds a value to the given name in the current scope.

pub fn globals(&self) -> &HashMap<Interned<'static, str>, Option<ConValue>>

Gets all registered globals, bound or unbound.

pub fn add_builtins(&mut self, builtins: &'static [Builtin]) -> &mut Environment

Adds builtins

Panics

Will panic if globals table is non-empty!

pub fn push_frame( &mut self, name: &'static str, frame: HashMap<Interned<'static, str>, Option<ConValue>>, )

pub fn pop_frame( &mut self, ) -> Option<(HashMap<Interned<'static, str>, Option<ConValue>>, &'static str)>

pub fn frame(&mut self, name: &'static str) -> Frame<'_>

Enters a nested scope, returning a Frame stack-guard.

Frame implements Deref/DerefMut for Environment.

pub fn get_mut( &mut self, name: Interned<'static, str>, ) -> Result<&mut Option<ConValue>, Error>

Resolves a variable mutably.

Returns a mutable reference to the variable’s record, if it exists.

pub fn get(&self, name: Interned<'static, str>) -> Result<ConValue, Error>

Resolves a variable immutably.

Returns a reference to the variable’s contents, if it is defined and initialized.

pub fn id_of(&self, name: Interned<'static, str>) -> Result<Place, Error>

Resolves the Place associated with a [Sym]

pub fn get_id(&self, at: Place) -> Option<&ConValue>

pub fn get_id_mut(&mut self, at: Place) -> Option<&mut Option<ConValue>>

pub fn insert(&mut self, k: Interned<'static, str>, v: Option<ConValue>)

Inserts a new ConValue into this Environment

pub fn insert_fn(&mut self, decl: &Function)

A convenience function for registering a [FnDecl] as a Function

pub fn stack_alloc(&mut self, value: ConValue) -> Result<usize, Error>

Allocates a local variable

pub fn bind_raw( &mut self, name: Interned<'static, str>, id: usize, ) -> Option<()>

impl Environment

Functions which aid in the implementation of Frame

This impl block contains no items.

Trait Implementations

impl Clone for Environment

fn clone(&self) -> Environment

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Environment

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

Formats the value using the given formatter.

impl Default for Environment

fn default() -> Environment

Returns the “default value” for a type.

impl Display for Environment

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

Formats the value using the given formatter.