Enum NatRangeIndexRef 

pub enum NatRangeIndexRef {
    Concrete(NatRangeIndex),
    Symbolic(NatPolyForm),
}

Type-level reference to a compiler-generated Nat range index.

Concrete Nat ranges carry a validated in-memory size. Symbolic Nat ranges carry the normalized type-level arithmetic form directly; no fake resolved name or parseable display string is used as semantic identity.

Variants

Concrete(NatRangeIndex)

Symbolic(NatPolyForm)

Implementations

impl NatRangeIndexRef

pub fn from_form(form: NatPolyForm) -> Result<Self, NatRangeIndexError>

Create a Nat range reference from a normalized Nat form.

Errors

Returns an error when the form is a concrete invalid Nat range size.

pub const fn concrete_index(&self) -> Option<NatRangeIndex>

Return the concrete Nat range identity, if this reference is concrete.

pub fn form(&self) -> NatPolyForm

Return the normalized Nat form for this reference.

pub fn display_name(&self) -> NameDef<Index>

Render this Nat range as a source-like display name for diagnostics.

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

Compare Nat range references by typed identity.

Trait Implementations

impl Clone for NatRangeIndexRef

fn clone(&self) -> NatRangeIndexRef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NatRangeIndexRef

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

Formats the value using the given formatter.

impl Eq for NatRangeIndexRef

impl Hash for NatRangeIndexRef

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 NatRangeIndexRef

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