Struct ErasedScope 

pub struct ErasedScope { /* private fields */ }

A scope for erased code: a stack of local bindings.

Implementations

impl ErasedScope

pub fn new() -> Self

Create an empty scope.

pub fn bind(&mut self, name: &str, val: ErasedValue)

Bind a variable.

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

Look up a variable.

pub fn depth(&self) -> usize

Return the scope depth.

pub fn save(&self) -> usize

Push a checkpoint and return it (index into vars).

pub fn restore(&mut self, checkpoint: usize)

Restore to a checkpoint.

Trait Implementations

impl Default for ErasedScope

fn default() -> Self

Returns the “default value” for a type.