Struct VariableTypeInfo 

pub struct VariableTypeInfo {
    pub schema_id: Option<SchemaId>,
    pub type_name: Option<String>,
    pub is_definite: bool,
    pub storage_hint: Option<StorageHint>,
    pub concrete_numeric_type: Option<String>,
    pub kind: VariableKind,
    pub v2_array_element_kind: Option<FieldKind>,
    pub v2_struct_layout: Option<SchemaId>,
}

Type information for a variable

Fields

schema_id: Option<SchemaId>

Schema ID if type is known and registered

type_name: Option<String>

Type name (e.g., “Candle”, “Point”)

is_definite: bool

Whether the type is definitely known (vs inferred/uncertain)

storage_hint: Option<StorageHint>

Storage hint for JIT optimization, or None when the kind is not yet proven during compile-time inference.

Per ADR-006 §2.7.5.1, this is compiler-tier intermediate state — VariableTypeInfo is NOT serialized into FunctionBlob, so the Option<NativeKind> wrap stays local to the analysis pass and does not reach the wire format. By the time a FrameDescriptor is constructed for FunctionBlob, the kind is proven and stored flat in FrameDescriptor.slots: Vec<NativeKind> (no Option).

concrete_numeric_type: Option<String>

Preserved concrete numeric runtime type (e.g. “i16”, “u8”, “f32”, “i64”) derived from source annotations.

kind: VariableKind

What kind of variable this is (value, table, row view, column)

v2_array_element_kind: Option<FieldKind>

v2: For typed arrays, the element’s FieldKind (enables typed array codegen)

v2_struct_layout: Option<SchemaId>

v2: For typed structs, the SchemaId referencing a StructLayout in TypeTracker

Implementations

impl VariableTypeInfo

pub fn known(schema_id: SchemaId, type_name: String) -> Self

Create type info for a known type

pub fn unknown() -> Self

Create type info for an unknown/dynamic type

pub fn named(type_name: String) -> Self

Create type info for a type name that may or may not be registered

pub fn with_storage(type_name: String, storage_hint: StorageHint) -> Self

Create type info with explicit storage hint

pub fn nullable_number() -> Self

Create type info for Option (NaN sentinel optimization)

pub fn number() -> Self

Create type info for plain f64

pub fn row_view(schema_id: SchemaId, type_name: String) -> Self

Create type info for a RowView variable (typed row from Arrow DataTable).

pub fn datatable(schema_id: SchemaId, type_name: String) -> Self

Create type info for a DataTable variable with known schema (Table).

pub fn column( schema_id: SchemaId, type_name: String, element_type: String, ) -> Self

Create type info for a Column variable (ColumnRef from Arrow DataTable).

pub fn indexed( schema_id: SchemaId, type_name: String, index_column: String, ) -> Self

Create type info for an Indexed table variable — Indexed with known index column.

pub fn is_known(&self) -> bool

Check if this type is known (has schema ID)

pub fn uses_nan_sentinel(&self) -> bool

Check if this type uses NaN sentinel for nullability

pub fn is_datatable(&self) -> bool

Check if this variable is a DataTable (Table)

pub fn is_row_view(&self) -> bool

Check if this variable is a RowView (Row)

pub fn is_column(&self) -> bool

Check if this variable is a Column (Column)

pub fn is_indexed(&self) -> bool

Check if this variable is an Indexed table (Indexed)

Trait Implementations

impl Clone for VariableTypeInfo

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VariableTypeInfo

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

Formats the value using the given formatter.