Enum Namespace 

pub enum Namespace {
    Value,
    Type,
    Module,
    Macro,
    Label,
}

One of the language-level namespaces a name can live in.

HIR paths carry a syntactic namespace (hir_lang::Ns); these are the tables names are stored in. A language merges tables with Policy::with_merge (Python keeps everything in one table; Rust keeps types and modules in one).

Examples

use resolve_lang::Namespace;

assert_eq!(Namespace::Value.name(), "value");
assert_eq!(Namespace::ALL.len(), 5);

Variants

Value

Functions, constants, globals, constructors.

Type

Records, sums, classes, interfaces, aliases.

Module

Modules and units.

Macro

Macros. HIR has no macro items (macros expand before lowering); hosts may still export names here through Env.

Label

Loop and block labels. Labels are binders resolved by lowering, so no HIR path is looked up here; the namespace exists for merging rules.

Implementations

impl Namespace

pub const ALL: [Self; 5]

Every namespace, in table order.

Examples

use resolve_lang::Namespace;

assert_eq!(Namespace::ALL[0], Namespace::Value);

pub const fn name(self) -> &'static str

The lowercase name, for messages.

Examples

use resolve_lang::Namespace;

assert_eq!(Namespace::Module.name(), "module");

Trait Implementations

impl Clone for Namespace

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 Namespace

impl Debug for Namespace

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

Formats the value using the given formatter.

impl Eq for Namespace

impl Hash for Namespace

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Namespace

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for Namespace

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Namespace

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for Namespace