Struct Environment

pub struct Environment { /* private fields */ }

Implements a nested lexical scope

Implementations

impl Environment

pub fn new() -> Self

pub fn no_builtins() -> Self

Creates an Environment with no builtins

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

Reflexively evaluates a node

pub fn call(&mut self, name: Sym, args: &[ConValue]) -> IResult<ConValue>

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<Sym, Option<ConValue>>

Gets all registered globals, bound or unbound.

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

Adds builtins

Panics

Will panic if globals table is non-empty!

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

pub fn pop_frame( &mut self, ) -> Option<(HashMap<Sym, 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: Sym) -> IResult<&mut Option<ConValue>>

Resolves a variable mutably.

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

pub fn get(&self, name: Sym) -> IResult<ConValue>

Resolves a variable immutably.

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

pub fn id_of(&self, name: Sym) -> IResult<Place>

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: Sym, v: Option<ConValue>)

Inserts a new ConValue into this Environment

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

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

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

Allocates a local variable

pub fn bind_raw(&mut self, name: Sym, id: usize) -> Option<()>

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

Formats the value using the given formatter.

impl Default for Environment

fn default() -> Self

Returns the “default value” for a type.

impl Display for Environment

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

Formats the value using the given formatter.