Struct cl_structures::intern::typed_interner::TypedInterner

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

A TypedInterner hands out Interned references for arbitrary types.

See the module-level documentation for more information.

Implementations

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

pub fn new(arena: TypedArena<'a, T>) -> Self

Creates a new TypedInterner backed by the provided TypedArena

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 + Send> Send for TypedInterner<'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<'a, T: Eq + Hash + Send + Sync> Sync for TypedInterner<'a, T>