Module cl_structures::intern
source · Expand description
Interners for strings and arbitrary types.
An object is Interned if it is allocated within one of the interners in this module. Interned values have referential equality semantics, and Deref to the value within their respective intern pool.
This means, of course, that the same value interned in two different pools will be considered not equal by Eq and Hash.
Modules§
- An Interned reference asserts its wrapped value has referential equality.
- A StringInterner hands out Interned copies of each unique string given to it.
- A TypedInterner hands out Interned references for arbitrary types.