Enum InferredType 

pub enum InferredType {
    Scalar(Dimension),
    Bool,
    Int,
    Fin(NatLinearForm),
    Datetime(TimeScale),
    NamedIndex(InferredIndex),
    Struct(InferredStructType, Vec<Self>),
    Indexed {
        element: Box<Self>,
        index: InferredIndex,
    },
}

The inferred type of an expression.

Variants

Scalar(Dimension)

Bool

Int

Fin(NatLinearForm)

A bounded natural number Fin(N): the type of loop variables over range(N).

A value of type Fin(N) satisfies 0 <= value < N. This enables compile-time bounds checking: v[i] is valid when i : Fin(N) and v : T[M] with N <= M.

Fin(N) is not a user-declarable type — it only arises as the type of loop variables in for i: range(N) { ... }.

Datetime(TimeScale)

A datetime instant in a specific time scale.

NamedIndex(InferredIndex)

A named index identity in an index-only position.

This is used for named-index loop variables and Index generic arguments. It is intentionally not a Graphcal value type.

Struct(InferredStructType, Vec<Self>)

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

Indexed

Fields

element: Box<Self>

index: InferredIndex

Implementations

impl InferredType

pub const fn is_int_like(&self) -> bool

Returns true if this type is Int or Fin(N) (integer-like).

Trait Implementations

impl Clone for InferredType

fn clone(&self) -> InferredType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferredType

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

Formats the value using the given formatter.

impl Eq for InferredType

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 InferredType

fn eq(&self, other: &InferredType) -> 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 InferredType