Struct EnvIndex 

pub struct EnvIndex {
    pub name_idx: NameIndex,
    pub type_idx: TypeIndex,
    pub module_idx: ModuleIndex,
    pub size: usize,
}

Composite index combining name, type, and module indices.

Provides a single entry point for all indexed lookups over a kernel Environment. The index is append-only: names are inserted as declarations are added, and ids are never recycled.

Fields

name_idx: NameIndex

Bidirectional name ↔ id mapping.

type_idx: TypeIndex

Index over sort level and Pi arity.

module_idx: ModuleIndex

Index grouping declarations by namespace.

size: usize

Total number of indexed declarations (equals name_idx.len()).

Implementations

impl EnvIndex

pub fn new() -> Self

Create a new, empty EnvIndex.

pub fn insert(&mut self, name: &str) -> u32

Insert a declaration name into all sub-indices and return its id.

The sort level is recorded as 0 and the arity as 0 for the base call-site (callers that have type information should use the individual sub-index methods directly after calling insert).

If the name already exists, its existing id is returned and size is not incremented again.

pub fn lookup<'a>(&'a self, name: &str) -> Option<LookupResult<'a>>

Look up name and return a LookupResult on success.

pub fn by_namespace(&self, prefix: &str) -> Vec<u32>

Return all declaration ids whose namespace prefix equals prefix.

pub fn stats(&self) -> IndexStats

Return an IndexStats snapshot for this index.

by_kind is left empty; callers that track declaration kinds may populate it externally.

Trait Implementations

impl Clone for EnvIndex

fn clone(&self) -> EnvIndex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EnvIndex

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

Formats the value using the given formatter.

impl Default for EnvIndex

fn default() -> Self

Returns the “default value” for a type.