Enum LogosType 

pub enum LogosType {
    Int,
    Float,
    Bool,
    Char,
    Byte,
    String,
    Unit,
    Seq(Box<LogosType>),
    Map(Box<LogosType>, Box<LogosType>),
    Set(Box<LogosType>),
    Option(Box<LogosType>),
    Duration,
    Date,
    Moment,
    Time,
    Span,
    Nat,
    UserDefined(Symbol),
    Function(Vec<LogosType>, Box<LogosType>),
    Unknown,
}

Structured type representation for LOGOS values.

Replaces string-based type tracking (e.g., "Vec<i64>", "String") with a proper algebraic data type that supports precise queries.

Variants

Int

Float

Bool

Char

Byte

String

Unit

Seq(Box<LogosType>)

Map(Box<LogosType>, Box<LogosType>)

Set(Box<LogosType>)

Option(Box<LogosType>)

Duration

Date

Moment

Time

Span

Nat

UserDefined(Symbol)

Function(Vec<LogosType>, Box<LogosType>)

First-class function type: fn(P1, P2, …) -> R

Unknown

Implementations

impl LogosType

pub fn is_copy(&self) -> bool

Whether this type is Copy in Rust (no .clone() needed).

This is the single source of truth for clone decisions, replacing is_copy_type(), has_copy_element_type(), has_copy_value_type().

pub fn is_numeric(&self) -> bool

Whether this type is numeric (Int or Float).

pub fn is_string(&self) -> bool

Whether this type is a string.

pub fn is_float(&self) -> bool

Whether this type is a float.

pub fn element_type(&self) -> Option<&LogosType>

Get the element type for sequences and sets.

pub fn value_type(&self) -> Option<&LogosType>

Get the value type for maps.

pub fn key_type(&self) -> Option<&LogosType>

Get the key type for maps.

pub fn numeric_promotion(a: &LogosType, b: &LogosType) -> LogosType

Numeric promotion: Z embeds into R. If either operand is Float, the result is Float. If both are Int (or Nat), the result is Int.

pub fn to_rust_type(&self) -> String

Convert to the Rust type string used in codegen output.

Replaces all ad-hoc string-based type conversions scattered across codegen.rs. This is the single point of truth for LogosType → Rust type string mapping.

pub fn from_type_expr(ty: &TypeExpr<'_>, interner: &Interner) -> LogosType

Build a LogosType from a TypeExpr AST node.

pub fn from_rust_type_str(s: &str) -> LogosType

Parse a Rust type string back into a LogosType (legacy bridge). Handles strings like “i64”, “f64”, “String”, “Vec”, “std::collections::HashMap<String, i64>”, etc.

pub fn from_literal(lit: &Literal) -> LogosType

Infer a LogosType from a literal expression.

Trait Implementations

impl Clone for LogosType

fn clone(&self) -> LogosType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogosType

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

Formats the value using the given formatter.

impl Hash for LogosType

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

where __H: Hasher,

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 LogosType

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

impl StructuralPartialEq for LogosType