Enum DeclaredType 

pub enum DeclaredType {
    Scalar(Dimension),
    Bool,
    Int,
    Datetime(TimeScale),
    IndexArg(IndexTypeRef),
    Struct(StructTypeRef, Vec<Self>),
    Indexed {
        element: Box<Self>,
        index: IndexTypeRef,
    },
}

The declared type of a const/param/node: either a scalar with a dimension, a bool, or a struct.

Variants

Scalar(Dimension)

Bool

Int

Datetime(TimeScale)

A datetime instant in a specific time scale. Datetime(UTC) is the default for civil use.

IndexArg(IndexTypeRef)

An index argument captured inside a generic struct instantiation.

This is not a standalone value type; it is carried only as metadata for generic type parameters constrained as Index.

Struct(StructTypeRef, Vec<Self>)

A struct type, optionally with concrete type arguments for generic structs.

Indexed

Fields

element: Box<Self>

index: IndexTypeRef

Implementations

impl DeclaredType

pub fn format(&self, dims: &DimensionRegistry) -> String

Format as a human-readable string for diagnostics (e.g. "Length / Time", "Bool").

Trait Implementations

impl Clone for DeclaredType

fn clone(&self) -> DeclaredType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeclaredType

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

Formats the value using the given formatter.

impl Eq for DeclaredType

impl From<&DeclaredType> for InferredType

fn from(dt: &DeclaredType) -> Self

Converts to this type from the input type.

impl From<&InferredType> for DeclaredType

fn from(it: &InferredType) -> Self

Converts to this type from the input type.

impl PartialEq for DeclaredType

fn eq(&self, other: &DeclaredType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for DeclaredType