Struct Env

pub struct Env {
    pub(crate) env: BTreeMap<Path, ModuleEnv>,
}

The type resolution environment

Also contains the entire module structure

Fields

env: BTreeMap<Path, ModuleEnv>

Implementations

impl Env

pub(crate) fn insert(&mut self, path: Path, module: ModuleEnv)

pub fn get(&self, path: &Path, name: &str) -> Option<&ModSymbol>

Given a path to a module and a name, get the item, if any

pub fn iter_items( &self, ) -> impl Iterator<Item = (&Path, &Ident, &ModSymbol)> + '_

Iterate over all items in the environment

This will occur in a stable lexically sorted order by path and then name

pub fn iter_modules(&self) -> impl Iterator<Item = (&Path, &ModuleEnv)> + '_

Iterate over all modules

This will occur in a stable lexically sorted order by path

Trait Implementations

impl Clone for Env

fn clone(&self) -> Env

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for Env

fn default() -> Env

Returns the “default value” for a type.

impl Index<&Path> for Env

type Output = ModuleEnv

The returned type after indexing.

fn index(&self, i: &Path) -> &ModuleEnv

Performs the indexing (container[index]) operation.