Struct Env 

pub struct Env {
    pub by_id: MapS<BindId, Bind>,
    pub byref_chain: MapS<BindId, BindId>,
    pub binds: MapS<ModPath, MapS<CompactString, BindId>>,
    pub used: MapS<ModPath, Arc<Vec<ModPath>>>,
    pub modules: SetS<ModPath>,
    pub typedefs: MapS<ModPath, MapS<CompactString, TypeDef>>,
    pub catch: MapS<ModPath, BindId>,
}

Fields

by_id: MapS<BindId, Bind>

byref_chain: MapS<BindId, BindId>

binds: MapS<ModPath, MapS<CompactString, BindId>>

used: MapS<ModPath, Arc<Vec<ModPath>>>

modules: SetS<ModPath>

typedefs: MapS<ModPath, MapS<CompactString, TypeDef>>

catch: MapS<ModPath, BindId>

Implementations

impl Env

pub fn apply_sandbox(&self, spec: &Sandbox) -> Result<Self>

pub fn find_visible<T, F: FnMut(&str, &str) -> Option<T>>( &self, scope: &ModPath, name: &ModPath, f: F, ) -> Option<T>

pub fn lookup_bind( &self, scope: &ModPath, name: &ModPath, ) -> Option<(&ModPath, &Bind)>

pub fn lookup_typedef( &self, scope: &ModPath, name: &ModPath, ) -> Option<&TypeDef>

pub fn lookup_catch(&self, scope: &ModPath) -> Result<BindId>

lookup the bind id of the nearest catch handler in this scope

pub fn lookup_matching( &self, scope: &ModPath, part: &ModPath, ) -> Vec<(CompactString, BindId)>

lookup binds in scope that match the specified partial name. This is intended to be used for IDEs and interactive shells, and is not used by the compiler.

pub fn lookup_matching_modules( &self, scope: &ModPath, part: &ModPath, ) -> Vec<ModPath>

lookup modules in scope that match the specified partial name. This is intended to be used for IDEs and interactive shells, and is not used by the compiler.

pub fn canonical_modpath( &self, scope: &ModPath, name: &ModPath, ) -> Option<ModPath>

pub fn deftype( &mut self, scope: &ModPath, name: &str, params: Arc<[(TVar, Option<Type>)]>, typ: Type, doc: Option<ArcStr>, ) -> Result<()>

pub fn undeftype(&mut self, scope: &ModPath, name: &str)

pub fn bind_variable( &mut self, scope: &ModPath, name: &str, typ: Type, ) -> &mut Bind

create a new binding. If an existing bind exists in the same scope shadow it.

pub fn alias_variable(&mut self, scope: &ModPath, name: &str, id: BindId)

make the specified name an alias for id

pub fn unbind_variable(&mut self, id: BindId)

pub fn use_in_scope(&mut self, scope: &Scope, name: &ModPath) -> Result<()>

pub fn stop_use_in_scope(&mut self, scope: &Scope, name: &ModPath)

Trait Implementations

impl Clone for Env

fn clone(&self) -> Env

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Env

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

Formats the value using the given formatter.

impl Default for Env

fn default() -> Env

Returns the “default value” for a type.