Enum Type 

pub enum Type {
    Number,
    String,
    Bool,
    Null,
    Unit,
    Color,
    Timestamp,
    Timeframe,
    TimeRef,
    Duration,
    Pattern,
    Object(Vec<(String, Type)>),
    Array(Box<Type>),
    Matrix(Box<Type>),
    Column(Box<Type>),
    Function {
        params: Vec<Type>,
        returns: Box<Type>,
    },
    Module,
    Range(Box<Type>),
    Result(Box<Type>),
    Unknown,
    Error,
}

Types in the Shape type system

Variants

Number

Numeric type (float)

String

String type

Bool

Boolean type

Null

Null type

Unit

Unit type (void/no value)

Color

Bar color type

Timestamp

Timestamp type (point in time, epoch milliseconds)

Timeframe

Timeframe type

TimeRef

Time reference

Duration

Duration type

Pattern

Pattern reference

Object(Vec<(String, Type)>)

Object type with field types

Array(Box<Type>)

Array type

Matrix(Box<Type>)

Matrix type

Column(Box<Type>)

Column type (vectorized column operations)

Function

Function type

Fields

params: Vec<Type>

returns: Box<Type>

Module

Module type

Range(Box<Type>)

Range type (for iteration)

Result(Box<Type>)

Result type (fallible operations) Contains the Ok type; Error type is universal

Unknown

Unknown type (for type inference)

Error

Error type

Implementations

impl Type

pub fn can_coerce_to(&self, other: &Type) -> bool

Check if this type can be coerced to another type

pub fn binary_op_result(&self, op: &BinaryOp, rhs: &Type) -> Type

Get the result type of a binary operation

pub fn unary_op_result(&self, op: &UnaryOp) -> Type

Get the result type of a unary operation

pub fn property_type(&self, property: &str) -> Type

Get the type of a property access

pub fn to_inference_type(&self) -> Type

Convert legacy semantic Type to inference Type

This bridges the legacy type checker’s type representation to the modern inference engine’s type system.

pub fn from_inference_type(ty: &Type) -> Self

Convert inference Type to legacy semantic Type

This bridges the modern inference engine’s type system back to the legacy type checker’s type representation.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Type

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Type

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

Formats the value using the given formatter.

impl Hash for Type

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Type

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Type

impl StructuralPartialEq for Type