Struct TypeInferenceEngine 

pub struct TypeInferenceEngine { /* private fields */ }

Main type inference engine

Implementations

impl TypeInferenceEngine

pub fn new() -> TypeInferenceEngine

Creates a new type inference engine with built-in function signatures

pub fn infer(&mut self, ast: &Node) -> Result<PerlType, Vec<TypeConstraint>>

Infer types for an AST

pub fn get_type_at(&self, name: &str) -> Option<PerlType>

Gets the inferred type for a variable by name

pub fn hover_label_for(&self, name: &str) -> Option<String>

Returns a human-readable type label for use in hover text.

Returns None if the variable has not been tracked by the engine.

pub fn get_subroutine(&self, name: &str) -> Option<PerlType>

Gets the inferred type signature for a subroutine

pub fn get_type_errors(&self) -> Vec<TypeConstraint>

Returns all type constraint violations as errors

Trait Implementations

impl Default for TypeInferenceEngine

fn default() -> TypeInferenceEngine

Returns the “default value” for a type.