Struct BoxedHashConsArena 

pub struct BoxedHashConsArena<T>
where
    T: 'static,
{ /* private fields */ }

A version of HashConsArena that ensures interned values are dropped.

Implementations

impl<T> BoxedHashConsArena<T>

where T: Eq + Hash + 'static,

pub fn new() -> Self

Create a new BoxedHashConsArena.

pub fn intern<'a>(&'a self, value: T) -> HRef<'a, T>

Intern a value, returning a reference that’s guaranteed to be the same for structurally equal values.

Arguments

• value - The value to intern. It must implement Eq and Hash.

Returns

A HRef<T> that points to the interned value. If the value is already interned, it returns the existing reference.

pub fn reset(&mut self)

Reset the arena, clearing all interned values.

Trait Implementations

impl<T> Drop for BoxedHashConsArena<T>

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.