Enum TypeExprKind 

pub enum TypeExprKind<P: Phase = Raw> {
    Dimensionless,
    Bool,
    Int,
    Datetime,
    DatetimeApplication {
        type_args: Vec<TypeExpr<P>>,
    },
    DimExpr(DimExpr),
    Indexed {
        base: Box<TypeExpr<P>>,
        indexes: Vec<IndexExpr>,
    },
    TypeApplication {
        name: Spanned<NamePath>,
        type_args: Vec<TypeExpr<P>>,
    },
}

The kind of a type expression.

Variants

Dimensionless

Dimensionless

Bool

Bool

Int

Int

Datetime

Datetime (bare, without time scale parameter — defaults to UTC)

DatetimeApplication

Datetime<TimeScale> — built-in datetime type parameterized by a time scale. Kept separate from Self::TypeApplication so downstream resolution dispatches on the variant rather than string-matching the built-in name.

Fields

type_args: Vec<TypeExpr<P>>

DimExpr(DimExpr)

A dimension expression like Length, Length^2, Mass * Length / Time^2

Indexed

An indexed type like Velocity[Maneuver], Dimensionless[3, 4], or D[M, N]

Fields

base: Box<TypeExpr<P>>

indexes: Vec<IndexExpr>

TypeApplication

A user-defined generic type application like Vec3<Length, ECI>. Built-in parameterized types (currently only Datetime<...>) have their own variants instead — see Self::DatetimeApplication.

Fields

name: Spanned<NamePath>

type_args: Vec<TypeExpr<P>>

Trait Implementations

impl<P: Clone + Phase> Clone for TypeExprKind<P>

fn clone(&self) -> TypeExprKind<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug + Phase> Debug for TypeExprKind<P>

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

Formats the value using the given formatter.

impl FormatEquivalent for TypeExprKind

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

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

impl From<TypeExprKind> for TypeExprKind<Desugared>

fn from(k: TypeExprKind<Raw>) -> Self

Converts to this type from the input type.