Struct DroplessInterner 

pub struct DroplessInterner<'a, T: Eq + Hash> {
    arena: DroplessArena<'a>,
    keys: RwLock<HashSet<&'a T>>,
}

A DroplessInterner hands out Interned references for arbitrary types.

See the module-level documentation for more information.

Fields

arena: DroplessArena<'a>

keys: RwLock<HashSet<&'a T>>

Implementations

impl<'a, T: Eq + Hash> DroplessInterner<'a, T>

pub fn new(arena: DroplessArena<'a>) -> Self

Creates a new DroplessInterner backed by the provided DroplessArena

Panics

Panics if T needs drop

pub fn get_or_insert(&'a self, value: T) -> Interned<'a, T>

Converts the given value into an Interned value.

Blocks

This function blocks when the interner is held by another thread.

pub fn get(&self, value: &T) -> Option<Interned<'a, T>>

Returns the Interned copy of the given value, if one already exists

Blocks

This function blocks when the interner is being written to by another thread.

Trait Implementations

impl<'a, T: Eq + Hash> Default for DroplessInterner<'a, T>

fn default() -> Self

Returns the “default value” for a type.

impl<'a, T: Eq + Hash + Send> Send for DroplessInterner<'a, T>

where &'a T: Send,

Safety

This should be safe because references yielded by get_or_insert are unique, and the function uses the RwLock around the HashSet to ensure mutual exclusion

impl<T: Eq + Hash + Send + Sync> Sync for DroplessInterner<'_, T>