Enum TableIndexSpec 

pub enum TableIndexSpec {
    Named(Spanned<NamePath>),
    NatRange(u64, Span),
}

An index specification in a table literal’s bracket list: table[Phase, 3]

Named indexes reference declared index types, while Nat range literals desugar to range(N) with synthetic variants #0, #1, etc.

Variants

Named(Spanned<NamePath>)

A named index: Phase, Maneuver, or module.Maneuver

NatRange(u64, Span)

A Nat range literal: 3 (desugars to range(3))

Implementations

impl TableIndexSpec

pub const fn span(&self) -> Span

Get the source span of this table index specification.

pub const fn is_nat_range(&self) -> bool

Returns true if this is a Nat range index.

Trait Implementations

impl Clone for TableIndexSpec

fn clone(&self) -> TableIndexSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TableIndexSpec

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

Formats the value using the given formatter.

impl FormatEquivalent for TableIndexSpec

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

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