Struct VariableMap 

pub struct VariableMap { /* private fields */ }

Implementations

impl VariableMap

pub fn new() -> Self

pub fn depth(&self) -> usize

pub fn add_context(&mut self, is_base: bool)

pub fn remove_context(&mut self)

pub fn define_var(&mut self, name: String, idx: usize, t: Type) -> usize

pub fn count_up(&mut self) -> usize

pub fn is_var_defined(&mut self, name: &String) -> bool

pub fn is_var_defined_in_last_ctx(&mut self, name: &String) -> bool

pub fn get_var(&self, name: &String) -> Option<(usize, &(usize, Type))>

pub fn num_vars(&self) -> usize

pub fn for_each_last_ctx<T: FnMut(usize, &String, &Type)>(&self, f: T)

pub fn for_each_until_base<T: FnMut(usize, &String, &Type)>(&self, f: T)

pub fn var_names(&self) -> FxHashSet<&String>

Trait Implementations

impl Clone for VariableMap

fn clone(&self) -> VariableMap

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for VariableMap

fn default() -> Self

Returns the “default value” for a type.