Enum IndexExpr 

pub enum IndexExpr {
    Name(Spanned<NamePath>),
    NatExpr(NatExpr),
}

A type expression (dimension annotation on declarations). An expression in index position of an indexed type.

In Velocity[Maneuver] or Velocity[module.Maneuver], the index path is an IndexExpr::Name. In Dimensionless[3, 4], 3 and 4 are IndexExpr::NatExpr(NatExpr::Literal(..)). In D[N + 1], N + 1 is an IndexExpr::NatExpr.

Variants

Name(Spanned<NamePath>)

A named index or generic parameter path: Maneuver, I, N, module.Maneuver

NatExpr(NatExpr)

A type-level natural-number expression in index position: 3, N + 1, M + N.

Implementations

impl IndexExpr

pub const fn span(&self) -> Span

Get the source span of this index expression.

Trait Implementations

impl Clone for IndexExpr

fn clone(&self) -> IndexExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IndexExpr

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

Formats the value using the given formatter.

impl FormatEquivalent for IndexExpr

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

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