Struct Environment 

pub struct Environment {
    values: Vec<ConValue>,
    frames: Vec<EnvFrame>,
    types: HashMap<Symbol, Type>,
    impls: Vec<HashMap<Symbol, ConValue>>,
}

Implements a nested lexical scope

Fields

values: Vec<ConValue>

frames: Vec<EnvFrame>

types: HashMap<Symbol, Type>

impls: Vec<HashMap<Symbol, ConValue>>

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: Symbol, args: &[ConValue]) -> IResult<ConValue>

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

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

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

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

pub(crate) fn globals(&self) -> &EnvFrame

Gets all registered globals, bound or unbound.

pub fn backtrace(&self) -> Backtrace<'_>

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

Adds builtins

Panics

Will panic if stack contains more than the globals frame!

pub fn push_frame(&mut self, name: &'static str, frame: StackFrame)

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

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

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

Frame implements Deref/DerefMut for Environment.

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

Enters a nested scope, assigning the contents of frame, and returning a Frame stack-guard.

Frame implements Deref/DerefMut for Environment.

pub fn get_mut(&mut self, name: Symbol) -> IResult<&mut ConValue>

Resolves a variable mutably.

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

pub fn get(&self, name: Symbol) -> 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: Symbol) -> IResult<usize>

Resolves the index associated with a Symbol

pub fn get_id(&self, id: usize) -> Option<&ConValue>

pub fn get_id_mut(&mut self, id: usize) -> Option<&mut ConValue>

pub fn get_slice(&self, start: usize, len: usize) -> Option<&[ConValue]>

pub fn get_slice_mut( &mut self, start: usize, len: usize, ) -> Option<&mut [ConValue]>

pub fn def_type(&mut self, name: Symbol, model: Model) -> Type

pub fn get_type(&self, name: Symbol) -> Option<Type>

pub fn insert(&mut self, k: Symbol, v: ConValue)

Inserts a new ConValue into this Environment

pub fn pos(&self) -> usize

Gets the current stack top position

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

Allocates a local variable

Trait Implementations

impl Clone for Environment

fn clone(&self) -> Environment

Returns a duplicate 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.