Struct NoEnv 

pub struct NoEnv;

An environment with nothing in it: every name outside the program is unresolved.

Examples

use hir_lang::{Name, Symbol};
use resolve_lang::{Env, NoEnv};

let n = Name::new(Symbol::from_u32(1).unwrap());
assert!(NoEnv.root(n).is_none());

Trait Implementations

impl Clone for NoEnv

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for NoEnv

impl Debug for NoEnv

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

Formats the value using the given formatter.

impl Default for NoEnv

fn default() -> Self

Returns the “default value” for a type.

impl Env for NoEnv

fn root(&self, name: Name) -> Option<Export>

A name visible as the first segment of a path in every unit, after every lexical scope: another package, a precompiled unit, an extern module. Usually a DefKind::Module or DefKind::Extern.

fn prelude(&self, name: Name, ns: Namespace) -> Option<Export>

The prelude: names visible everywhere, after lexical scopes and roots (builtins, primitive type names).

fn member(&self, container: Res, name: Name, ns: Namespace) -> Option<Export>

A member of a container the program does not define: a module or class of another package, an extern module. container is the resolution the path reached so far.

fn for_each_member( &self, container: Res, f: &mut dyn FnMut(Name, Namespace, Export), )

Calls f for every member of an outside container, for glob imports and suggestions.

fn for_each_root(&self, f: &mut dyn FnMut(Name))

Calls f for every root name, for suggestions.

fn for_each_prelude(&self, f: &mut dyn FnMut(Name, Namespace))

Calls f for every prelude name, for suggestions.

impl Eq for NoEnv

impl PartialEq for NoEnv

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for NoEnv