Struct Interner

pub struct Interner<'a, T: 'a + Eq> { /* private fields */ }

The interner.

An interner is a structure which uniquely owns the interned items, and provides shared immutable references to those items.

Implementations

impl<'a, T: 'a + Eq> Interner<'a, T>

pub fn new() -> Self

pub fn intern(&mut self, item: T) -> Intern<'a, T>

Intern an item.

This consumes the item by adding it to the intern-list and returns a reference to it. It also extends the lifetime of the item to match the lifetime of this interner.

This item is dropped if an item equal to this one is already interned, in which case a reference to the already interned item is returned instead.

pub fn contains(&self, item: &T) -> bool

pub fn iter<'this>(&'this self) -> Iter<'this, 'a, T>

Trait Implementations

impl<'a, T> !Sync for Interner<'a, T>