Struct NameDef 

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

A definition-site leaf name in a semantic namespace.

NameDef<Ns> is intentionally a single NameAtom. It is suitable for names introduced by syntax positions whose namespace is fixed by the grammar, such as type Foo, index Phase, or unit m. Reference positions that may be qualified should stay as NamePath / IdentPath until module-aware resolution can produce a ResolvedName.

Implementations

impl<Ns: NameNamespace> NameDef<Ns>

pub fn new(s: impl Into<String>) -> Self

Create a new leaf name from a string.

Panics

Panics if the string is empty or contains .. Use Self::try_new when validating external input.

pub fn try_new(s: impl Into<String>) -> Result<Self, NameAtomError>

Try to create a new leaf name from a string.

Errors

Returns NameAtomError when the string is empty or contains a path separator.

pub const fn from_atom(atom: NameAtom) -> Self

Create this namespace-specific name from an existing atom.

pub const fn atom(&self) -> &NameAtom

Get the underlying atom.

pub fn as_str(&self) -> &str

Get the underlying string slice.

pub fn into_atom(self) -> NameAtom

Consume and return the inner atom.

pub fn into_inner(self) -> String

Consume and return the inner String.

impl NameDef<IndexVariant>

pub fn range_step(n: impl Display) -> Self

Build the variant name for the n-th step of a range index (#0, #1, …). Centralises the "#"-prefix format so registry, parser, and evaluator can’t disagree on it.

pub fn qualified_by(&self, index: &IndexName) -> QualifiedIndexVariantName

Pair this variant with its index name for qualified rendering.

Trait Implementations

impl<Ns: NameNamespace> AsRef<str> for NameDef<Ns>

fn as_ref(&self) -> &str

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

impl<Ns: NameNamespace> Borrow<str> for NameDef<Ns>

fn borrow(&self) -> &str

Immutably borrows from an owned value.

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

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Ns: NameNamespace> Debug for NameDef<Ns>

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.

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

impl<Ns: NameNamespace> From<&str> for NameDef<Ns>

fn from(s: &str) -> Self

Converts to this type from the input type.

impl<Ns: NameNamespace> From<NameAtom> for NameDef<Ns>

fn from(atom: NameAtom) -> Self

Converts to this type from the input type.

impl From<NameDef<Decl>> for ScopedName

fn from(name: DeclName) -> Self

Wrap a DeclName as a local ScopedName. Use this at the resolver → IR boundary where resolver keys (local DeclNames) become IR keys (ScopedNames).

impl From<NameDef<Index>> for MapEntryIndex

fn from(value: IndexName) -> Self

Converts to this type from the input type.

impl From<NameDef<Index>> for NamePath

fn from(name: IndexName) -> Self

Converts to this type from the input type.

impl From<NameDef<Unit>> for UnitRef

fn from(name: UnitName) -> Self

Wrap a bare unit name as a local reference. Definition sites always produce local references; qualified forms are constructed explicitly via UnitRef::qualified.

impl<Ns: NameNamespace> From<String> for NameDef<Ns>

fn from(s: String) -> Self

Converts to this type from the input type.

impl<Ns: Hash + NameNamespace> Hash for NameDef<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: Ord + NameNamespace> Ord for NameDef<Ns>

fn cmp(&self, other: &NameDef<Ns>) -> 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.

impl<Ns: PartialEq + NameNamespace> PartialEq for NameDef<Ns>

fn eq(&self, other: &NameDef<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> PartialEq<&str> for NameDef<Ns>

fn eq(&self, other: &&str) -> 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> PartialEq<str> for NameDef<Ns>

fn eq(&self, other: &str) -> 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: PartialOrd + NameNamespace> PartialOrd for NameDef<Ns>

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