Struct Interner 

pub struct Interner { /* private fields */ }

String interner. See the module-level docs.

Examples

use arena_lib::Interner;

let mut interner = Interner::new();
let a = interner.intern("user:42");
let b = interner.intern("user:42");
let c = interner.intern("user:7");

assert_eq!(a, b);
assert_ne!(a, c);
assert_eq!(interner.resolve(a), Some("user:42"));
assert_eq!(interner.len(), 2);

Implementations

impl Interner

pub const fn new() -> Self

Creates an empty interner that performs no allocation up front.

pub fn with_capacity(capacity: usize) -> Self

Creates an empty interner with storage pre-reserved for capacity distinct strings.

pub fn len(&self) -> usize

Number of distinct strings currently interned.

pub fn is_empty(&self) -> bool

Returns true if the interner holds no strings.

pub fn intern(&mut self, s: &str) -> Symbol

Interns s and returns its Symbol.

Idempotent: repeated calls with the same input return the same symbol. Panics if the symbol counter would overflow u32::MAX — use Interner::try_intern for the explicit fallible variant.

pub fn try_intern(&mut self, s: &str) -> Result<Symbol>

Interns s, returning a Symbol on success or Error::CounterOverflow if the interner cannot represent more distinct strings.

pub fn resolve(&self, symbol: Symbol) -> Option<&str>

Returns the original string for symbol, or None if the symbol did not come from this interner.

pub fn contains(&self, s: &str) -> bool

Returns true if s has already been interned.

Equivalent to Interner::lookup returning Some.

pub fn lookup(&self, s: &str) -> Option<Symbol>

Returns the symbol previously assigned to s, without inserting a new entry if the string is unknown.

pub fn iter(&self) -> Iter<'_>

Iterator over (Symbol, &str) pairs for every interned string, in insertion order.

Trait Implementations

impl Debug for Interner

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

Formats the value using the given formatter.

impl Default for Interner

fn default() -> Self

Returns the “default value” for a type.