Enum TypeExpr 

pub enum TypeExpr {
    Tensor {
        dims: Vec<Dimension>,
        dtype: DTypeKind,
        span: Span,
    },
    Scalar(DTypeKind, Span),
    Tuple(Vec<TypeExpr>, Span),
    List(Box<TypeExpr>, Span),
    Dict(Vec<(String, TypeExpr)>, Span),
    Named(String, Span),
    Dynamic(Span),
    IntDim(i64, Span),
    BinaryDim {
        left: Box<TypeExpr>,
        op: BinOp,
        right: Box<TypeExpr>,
        span: Span,
    },
}

A type expression (Tensor<dims, dtype>, scalar, tuple, etc.).

Variants

Tensor

Tensor<[dim1, dim2, ...], dtype>

Fields

dims: Vec<Dimension>

dtype: DTypeKind

span: Span

Scalar(DTypeKind, Span)

A bare scalar dtype: f32, i64, etc.

Tuple(Vec<TypeExpr>, Span)

(TypeA, TypeB, ...)

List(Box<TypeExpr>, Span)

[TypeExpr] — list of

Dict(Vec<(String, TypeExpr)>, Span)

{ field: Type, ... } — dict/struct

Named(String, Span)

A named type alias reference

Dynamic(Span)

? — dynamic/unknown

IntDim(i64, Span)

An integer dimension used as a type: concrete dimension value

BinaryDim

Arithmetic on dimensions: e.g. D / 2

Fields

left: Box<TypeExpr>

op: BinOp

right: Box<TypeExpr>

span: Span

Trait Implementations

impl Clone for TypeExpr

fn clone(&self) -> TypeExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExpr

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

Formats the value using the given formatter.