Struct InferredIndex 

pub struct InferredIndex { /* private fields */ }

Index identity carried by inferred collection/label types.

Declared indexes compare by owner-qualified IndexTypeRef. Nat-range indexes additionally carry their normalized Nat form so generic ranges such as range(N + 1) are not encoded in or compared through synthetic strings.

Implementations

impl InferredIndex

pub fn with_owner(owner: DagId, name: IndexName) -> Self

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

pub const fn from_ref(reference: IndexTypeRef) -> Self

pub fn from_nat_range_identity( identity: &NatRangeIndexIdentity, ) -> Result<Self, NatRangeIndexError>

Create an inferred Nat range index from a validated Nat-range identity.

Errors

Returns an error if the identity cannot be converted to an index type reference.

pub fn from_nat_range_form( form: NatLinearForm, ) -> Result<Self, NatRangeIndexError>

Create an inferred Nat range index from a normalized Nat form.

Errors

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

pub const fn type_ref(&self) -> &IndexTypeRef

pub fn name(&self) -> IndexName

pub const fn declared_resolved(&self) -> Option<&ResolvedName<Index>>

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

pub fn nat_range_form(&self) -> Option<NatLinearForm>

pub fn matches_resolved(&self, expected: &ResolvedName<Index>) -> bool

pub fn matches_ref(&self, expected: &IndexTypeRef) -> bool

Trait Implementations

impl Clone for InferredIndex

fn clone(&self) -> InferredIndex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferredIndex

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

Formats the value using the given formatter.

impl Display for InferredIndex

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

Formats the value using the given formatter.

impl Eq for InferredIndex

impl PartialEq for InferredIndex

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