Struct NameSet 

pub struct NameSet { /* private fields */ }

A set of Name values.

Wraps HashSet<Name> for convenient use in the elaborator.

Implementations

impl NameSet

pub fn new() -> Self

Create an empty NameSet.

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

Insert a name. Returns true if it was newly inserted.

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

Remove a name. Returns true if it was present.

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

Check whether the set contains name.

pub fn len(&self) -> usize

Number of names in the set.

pub fn is_empty(&self) -> bool

Returns true if the set is empty.

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

Iterate over all names.

pub fn union(&self, other: &NameSet) -> NameSet

Compute the union with another NameSet.

pub fn intersection(&self, other: &NameSet) -> NameSet

Compute the intersection with another NameSet.

pub fn difference(&self, other: &NameSet) -> NameSet

Compute the difference self \ other.

pub fn in_namespace(&self, ns: &Name) -> NameSet

Filter to names in a given namespace.

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

Convert to a sorted vector.

Trait Implementations

impl Clone for NameSet

fn clone(&self) -> NameSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NameSet

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

Formats the value using the given formatter.

impl Default for NameSet

fn default() -> NameSet

Returns the “default value” for a type.

impl FromIterator<Name> for NameSet

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

Creates a value from an iterator.