Enum ResolvableIdentifier 

pub enum ResolvableIdentifier {
    Local(Identifier),
    Global(Identifier),
    Resolved(QualifiedIdentifier),
    Unresolved(NamespacedIdentifier),
}

Represents an identifier which requires name resolution at some stage during lowering.

Variants

Local(Identifier)

This identifier is resolved to a local binding (i.e. function parameter or let-bound var)

Global(Identifier)

This identifier is resolved to a global binding

Resolved(QualifiedIdentifier)

This identifier is resolved to a non-local item (i.e. module-level declaration or imported item)

Unresolved(NamespacedIdentifier)

This identifier is not yet resolved or is undefined in the current scope

Implementations

impl ResolvableIdentifier

pub fn is_resolved(&self) -> bool

Returns true if this identifier has been resolved locally or otherwise

pub fn is_local(&self) -> bool

Returns true if this is a locally-resolved identifier

pub fn is_global(&self) -> bool

Returns true if this is a globally-resolved identifier

pub fn is_builtin(&self) -> bool

Returns true if this identifier refers to a known builtin function

pub fn module(&self) -> Option<ModuleId>

The module to which this identifier is resolved

For locally-resolved identifiers, this returns None, same as unresolved identifiers, check is_resolved to distinguish between resolved/unresolved states

pub fn namespaced(&self) -> NamespacedIdentifier

Obtains a NamespacedIdentifier from this identifier

pub fn resolved(&self) -> Option<QualifiedIdentifier>

Gets the QualifiedIdentifier if this identifier is of type Resolved

Trait Implementations

impl AsRef<Identifier> for ResolvableIdentifier

fn as_ref(&self) -> &Identifier

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for ResolvableIdentifier

fn clone(&self) -> ResolvableIdentifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvableIdentifier

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

Formats the value using the given formatter.

impl Display for ResolvableIdentifier

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

Formats the value using the given formatter.

impl From<ResolvableIdentifier> for Identifier

fn from(id: ResolvableIdentifier) -> Self

Converts to this type from the input type.

impl From<ResolvableIdentifier> for NamespacedIdentifier

fn from(id: ResolvableIdentifier) -> Self

Converts to this type from the input type.

impl Hash for ResolvableIdentifier

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 PartialEq for ResolvableIdentifier

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Spanned for ResolvableIdentifier

fn span(&self) -> SourceSpan

impl Copy for ResolvableIdentifier

impl Eq for ResolvableIdentifier

impl StructuralPartialEq for ResolvableIdentifier