Struct NameMap 

pub struct NameMap<V> { /* private fields */ }

A mapping from Name to V.

Wraps HashMap<Name, V> for convenient use in the elaborator and kernel.

Implementations

impl<V> NameMap<V>

pub fn new() -> Self

Create an empty NameMap.

pub fn with_capacity(cap: usize) -> Self

Create a NameMap with the given capacity.

pub fn insert(&mut self, name: Name, value: V) -> Option<V>

Insert or overwrite a mapping.

pub fn get(&self, name: &Name) -> Option<&V>

Get a reference to the value for name.

pub fn get_mut(&mut self, name: &Name) -> Option<&mut V>

Get a mutable reference to the value for name.

pub fn remove(&mut self, name: &Name) -> Option<V>

Remove and return the value for name.

pub fn contains_key(&self, name: &Name) -> bool

Check whether name has a mapping.

pub fn len(&self) -> usize

Number of mappings.

pub fn is_empty(&self) -> bool

Returns true if empty.

pub fn iter(&self) -> impl Iterator<Item = (&Name, &V)>

Iterate over key-value pairs.

pub fn keys(&self) -> impl Iterator<Item = &Name>

Iterate over keys.

pub fn values(&self) -> impl Iterator<Item = &V>

Iterate over values.

pub fn filter_by_namespace(&self, ns: &Name) -> Vec<(&Name, &V)>

Filter entries by a predicate on the name.

pub fn sorted_names(&self) -> Vec<Name>

Collect all names in sorted order.

pub fn entry_or_insert(&mut self, name: Name, value: V) -> &mut V

Get or insert a default value.

Trait Implementations

impl<V: Clone> Clone for NameMap<V>

fn clone(&self) -> NameMap<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Debug> Debug for NameMap<V>

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

Formats the value using the given formatter.

impl<V: Default> Default for NameMap<V>

fn default() -> NameMap<V>

Returns the “default value” for a type.

impl<V> FromIterator<(Name, V)> for NameMap<V>

fn from_iter<I: IntoIterator<Item = (Name, V)>>(iter: I) -> Self

Creates a value from an iterator.