Struct TypeNameRef 

pub struct TypeNameRef<Ns: NameNamespace> { /* private fields */ }

A type-level reference to a named compiler entity.

Every semantic type reference has a canonical owner. Leaf-only names belong at syntax/display boundaries; once a value crosses into the functional core, it must carry a ResolvedName.

Implementations

impl<Ns: NameNamespace> TypeNameRef<Ns>

pub fn from_resolved(resolved: ResolvedName<Ns>) -> Self

Create a module-aware reference from a canonical resolved name.

pub const fn with_display_leaf( name: NameDef<Ns>, resolved: ResolvedName<Ns>, ) -> Self

Create a reference with a display leaf that differs from the canonical owner-qualified identity.

This is used at value-display boundaries such as tagged-union constructor values, where the semantic type is the owning union but the rendered value should show the constructor leaf.

pub fn with_owner(owner: DagId, name: NameDef<Ns>) -> Self

Resolve a definition-site leaf into the given owner.

pub const fn name(&self) -> &NameDef<Ns>

The leaf definition name used by registries and diagnostics.

pub const fn resolved(&self) -> &ResolvedName<Ns>

The canonical owner/name identity.

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

Compare this reference against another type reference by owner-qualified identity.

pub fn as_str(&self) -> &str

Borrow the leaf string for diagnostic/display-only formatting.

pub fn to_unowned_name(&self) -> NameDef<Ns>

Clone the leaf definition name for diagnostic/display boundaries.

Trait Implementations

impl<Ns: Clone + NameNamespace> Clone for TypeNameRef<Ns>

fn clone(&self) -> TypeNameRef<Ns>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Ns: Debug + NameNamespace> Debug for TypeNameRef<Ns>

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

Formats the value using the given formatter.

impl<Ns: NameNamespace> Display for TypeNameRef<Ns>

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

Formats the value using the given formatter.

impl<Ns: Eq + NameNamespace> Eq for TypeNameRef<Ns>

impl<Ns: NameNamespace> From<ResolvedName<Ns>> for TypeNameRef<Ns>

fn from(resolved: ResolvedName<Ns>) -> Self

Converts to this type from the input type.

impl<Ns: Hash + NameNamespace> Hash for TypeNameRef<Ns>

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<Ns: PartialEq + NameNamespace> PartialEq for TypeNameRef<Ns>

fn eq(&self, other: &TypeNameRef<Ns>) -> 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<Ns: NameNamespace> StructuralPartialEq for TypeNameRef<Ns>