Struct Interner

pub struct Interner<T> { /* private fields */ }

Interning data structure generic over the element type.

For the sake of simplicity and correctness we are using a rather naive implementation.

Usage

This is used in order to quite efficiently cache strings and type definitions uniquely identified by their associated type identifiers.

Implementations

impl<T> Interner<T>

where T: Ord,

pub fn new() -> Self

Creates a new empty interner.

impl<T> Interner<T>

where T: Ord + Clone,

pub fn intern_or_get(&mut self, s: T) -> (bool, Symbol<'_, T>)

Interns the given element or returns its associated symbol if it has already been interned.

pub fn get(&self, sym: &T) -> Option<Symbol<'_, T>>

Returns the symbol of the given element or None if it hasn’t been interned already.

pub fn resolve(&self, sym: Symbol<'_, T>) -> Option<&T>

Resolves the original element given its associated symbol or returns None if it has not been interned yet.

pub fn elements(&self) -> &[T]

Returns the ordered sequence of interned elements.

Trait Implementations

impl<T: Debug> Debug for Interner<T>

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

Formats the value using the given formatter.

impl<T: Ord> Default for Interner<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T: PartialEq> PartialEq for Interner<T>

fn eq(&self, other: &Interner<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Eq> Eq for Interner<T>

impl<T> StructuralPartialEq for Interner<T>