Struct symtern::adaptors::Luma

pub struct Luma<W> { /* fields omitted */ }

Interner adaptor that utilizes interior mutability to implement the Intern trait.

See the module-level documentation for more information.

Methods

impl<W> Luma<W>

fn new() -> Self where W: Default

Create a new, empty Luma instance.

Trait Implementations

impl<W: Default> Default for Luma<W>

fn default() -> Luma<W>

Returns the "default value" for a type.

impl<W> From<W> for Luma<W>

fn from(w: W) -> Self

Performs the conversion.

impl<'a, W, BS, BI: ?Sized> Intern for &'a Luma<W> where &'b mut W: Intern<Symbol=BS, Input=BI>, BS: Symbol + Symbol

type Input = BI

Type of value accepted by intern.

type Symbol = Sym<'a, BS>

Type used to represent interned values.

fn intern(self, input: &Self::Input) -> Result<Self::Symbol>

Fetch the symbol that corresponds to the given value. If the value does not map to any existing symbol, create and return a new one. This method may return an error if the interner encounters any error while storing the value.

impl<'a, W, BI, BO: ?Sized> Resolve for &'a Luma<W> where &'b W: Resolve<Input=BI, Output=&'b BO>, BI: Symbol + Symbol, BO: 'a

type Input = Sym<'a, BI>

Type used to represent interned values.

type Output = Ref<'a, BO>

Type stored by the interner and made available with resolve.

fn resolve(self, sym: Self::Input) -> Result<Self::Output>

Look up and return a reference to the value represented by a symbol, or an error if the symbol was not found.

impl<W> Len for Luma<W> where W: Len

fn len(&self) -> usize

Fetch the number of values contained in the interner.

fn is_full(&self) -> bool

Check if the number of interned symbols has reached the maximum allowed.

fn is_empty(&self) -> bool

Check if the interner is "empty", i.e. has zero stored values.