Enum kailua_check::env::Id

pub enum Id {
    Local(usize, ScopedId),
    Global(Name),
}

A globally unique name reference.

This is an expanded version of NameRef that can be used across multiple files.

Variants

Local(usize, ScopedId)

A local name, identified with an index to a per-file scope map and a scoped identifier.

Global(Name)

A global name, simply identified with its name.

Methods

impl Id

fn from(map_index: usize, nameref: NameRef) -> Id

fn name<'a, R: Report>(&'a self, ctx: &'a Context<R>) -> &'a Name

fn scope<R: Report>(&self, ctx: &Context<R>) -> Option<Scope>

fn is_global(&self) -> bool

fn display<'a, R: Report>(&'a self, ctx: &'a Context<R>) -> IdDisplay<'a, R>

Trait Implementations

impl Clone for Id

fn clone(&self) -> Id

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Id

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialEq for Id

fn eq(&self, __arg_0: &Id) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Id) -> bool

This method tests for !=.

impl Eq for Id

impl Hash for Id

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

Feeds this value into the given [Hasher].

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

Feeds a slice of this type into the given [Hasher].