Enum InferType 

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

Inference-time type representation.

Extends LogosType with:

• InferType::Var — an unbound type variable
• InferType::Function — a function type (not needed in codegen)
• InferType::Unknown — propagated uncertainty (unifies with anything)

Variants

Int

Float

Bool

Char

Byte

String

Unit

Nat

Rational

Duration

Date

Moment

Time

Span

Seq(Box<InferType>)

Map(Box<InferType>, Box<InferType>)

Set(Box<InferType>)

Option(Box<InferType>)

UserDefined(Symbol)

Var(TyVar)

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

Unknown

Implementations

impl InferType

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

Convert a TypeExpr AST node to InferType.

Unlike LogosType::from_type_expr, this correctly handles TypeExpr::Function { inputs, output } by producing InferType::Function(...) instead of Unknown.

pub fn from_type_expr_with_params( ty: &TypeExpr<'_>, interner: &Interner, type_params: &HashMap<Symbol, TyVar>, ) -> InferType

Convert a TypeExpr to InferType, substituting generic type parameters.

When type_params maps a name like T to a TyVar, any TypeExpr::Primitive(T) or TypeExpr::Named(T) in the expression produces InferType::Var(tv) instead of Unknown. This is used for generic function signatures where T is a type parameter, not a concrete type name.

pub fn from_field_type( ty: &FieldType, interner: &Interner, type_params: &HashMap<Symbol, TyVar>, ) -> InferType

Convert a registry FieldType to InferType.

type_params maps generic type parameter names (e.g., T, U) to type variable indices allocated by UnificationTable::fresh.

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

Infer InferType from a literal value.

pub fn from_type_name(name: &str) -> InferType

Parse a LOGOS type name into InferType.

pub fn to_logos_name(&self) -> String

Human-readable type name in Logos terms, for error messages.

pub fn to_logos_type_ground(&self) -> LogosType

Convert a known-ground InferType to LogosType.

Panics

Panics if called on a Var. Callers must zonk first.

Trait Implementations

impl Clone for InferType

fn clone(&self) -> InferType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferType

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

Formats the value using the given formatter.

impl PartialEq for InferType

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