Struct Env 

pub struct Env<R: Rt, E: UserEvent> {
    pub by_id: MapS<BindId, Bind>,
    pub lambdas: MapS<LambdaId, Weak<LambdaDef<R, E>>>,
    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>

lambdas: MapS<LambdaId, Weak<LambdaDef<R, E>>>

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<R: Rt, E: UserEvent> Env<R, E>

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, ) -> 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)

Trait Implementations

impl<R: Rt, E: UserEvent> Clone for Env<R, E>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug + Rt, E: Debug + UserEvent> Debug for Env<R, E>

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

Formats the value using the given formatter.