Struct IndexRegistry 

pub struct IndexRegistry { /* private fields */ }

Index registry: maps declared index names and typed Nat-range identities to IndexDef.

Implementations

impl IndexRegistry

pub fn get_index(&self, name: &str) -> Option<&IndexDef>

Look up a declared index definition by name.

pub fn get_nat_range(&self, index: NatRangeIndex) -> Option<&IndexDef>

Look up a compiler-generated Nat range index by typed identity.

pub fn all_indexes(&self) -> impl Iterator<Item = &IndexDef>

Iterate over all index definitions.

Trait Implementations

impl Clone for IndexRegistry

fn clone(&self) -> IndexRegistry

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IndexRegistry

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.