Enum TypeExprKind 

pub enum TypeExprKind {
    Named {
        name: Ident,
        args: Vec<TypeArg>,
    },
    Array {
        elem: Box<TypeExpr>,
        size: Box<Expr>,
    },
    Tuple(Vec<TypeExpr>),
    Fn {
        params: Vec<TypeExpr>,
        ret: Box<TypeExpr>,
    },
    ShapeLit(Vec<ShapeDim>),
}

The kind of a type expression.

Covers named types, arrays, tuples, function types, and shape literals used in CJC’s tensor type system.

Variants

Named

Named type with optional generic arguments: f64, Tensor<f32>, Vec<T>.

Fields

name: Ident

The type name identifier.

args: Vec<TypeArg>

Generic type arguments (empty for non-generic types).

Array

Fixed-size array type: [T; N].

Fields

elem: Box<TypeExpr>

Element type.

size: Box<Expr>

Array size expression (must be a compile-time constant).

Tuple(Vec<TypeExpr>)

Tuple type: (T, U, V).

Fn

Function type: fn(T, U) -> V.

Fields

params: Vec<TypeExpr>

Parameter types.

ret: Box<TypeExpr>

Return type.

ShapeLit(Vec<ShapeDim>)

Shape literal in type position: [M, N] for tensor dimensions.

Trait Implementations

impl Clone for TypeExprKind

fn clone(&self) -> TypeExprKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExprKind

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

Formats the value using the given formatter.