Enum MapEntryIndex 

pub enum MapEntryIndex {
    Named(NamePath),
    NatRange(u64),
}

An index key in a map literal entry.

Plain map literals use named indexes. Table literals over Nat axes desugar to map entries with an explicitly typed Nat range key so downstream passes do not have to recover range(N) semantics from a fabricated index name.

Variants

Named(NamePath)

A declared named index.

NatRange(u64)

A Nat range literal index, range(N).

Implementations

impl MapEntryIndex

pub fn named_registry_name(&self) -> Option<IndexName>

Return the leaf registry name for declared named indexes only.

Nat ranges are not declared registry indexes; callers must pattern-match and use a typed Nat-range identity instead of fabricating an IndexName.

Trait Implementations

impl Clone for MapEntryIndex

fn clone(&self) -> MapEntryIndex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MapEntryIndex

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

Formats the value using the given formatter.

impl Display for MapEntryIndex

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

Formats the value using the given formatter.

impl Eq for MapEntryIndex

impl FormatEquivalent for MapEntryIndex

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

Returns true if self and other are equivalent up to formatting.

impl From<NameDef<Index>> for MapEntryIndex

fn from(value: IndexName) -> Self

Converts to this type from the input type.

impl From<NamePath> for MapEntryIndex

fn from(value: NamePath) -> Self

Converts to this type from the input type.

impl PartialEq for MapEntryIndex

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