Struct StackMap 

pub struct StackMap<K: PartialEq + Clone, V: Clone> { /* private fields */ }

A map supporting scoped bindings with push/pop semantics.

Useful for implementing the typing context in the elaborator, where entering a binder pushes a new scope and exiting pops it.

Implementations

impl<K: PartialEq + Clone, V: Clone> StackMap<K, V>

pub fn new() -> Self

Create a new StackMap with a single (global) scope.

pub fn push_scope(&mut self)

Push a new scope.

pub fn pop_scope(&mut self)

Pop the innermost scope, discarding its bindings.

pub fn insert(&mut self, key: K, value: V)

Insert into the current (innermost) scope.

pub fn get(&self, key: &K) -> Option<&V>

Look up by key, searching from innermost to outermost scope.

pub fn contains_key(&self, key: &K) -> bool

Check if a key is visible in any scope.

pub fn depth(&self) -> usize

Number of current scope levels.

pub fn total_bindings(&self) -> usize

Total number of bindings across all scopes.

pub fn clear(&mut self)

Clear all scopes (but keep one empty global scope).

Trait Implementations

impl<K: Clone + PartialEq + Clone, V: Clone + Clone> Clone for StackMap<K, V>

fn clone(&self) -> StackMap<K, V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<K: Debug + PartialEq + Clone, V: Debug + Clone> Debug for StackMap<K, V>

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

Formats the value using the given formatter.

impl<K: PartialEq + Clone, V: Clone> Default for StackMap<K, V>

fn default() -> Self

Returns the “default value” for a type.