Enum InferredType 

pub enum InferredType {
    Integer,
    Float,
    String,
    Boolean,
    Null,
    Array(Box<InferredType>),
    Object,
    Date,
    DateTime,
    Duration,
    Unknown,
    Numeric,
    Error(String),
}

Inferred type of an ELO expression

Variants

Integer

Integer type

Float

Float type

String

String type

Boolean

Boolean type

Null

Null/None type

Array(Box<InferredType>)

Array with element type

Object

Object with field types (simplified - just track it’s an object)

Date

Date type

DateTime

DateTime type

Duration

Duration type

Unknown

Unknown type (when inference fails or type can’t be determined)

Numeric

Any numeric type (integer or float)

Error(String)

Type error - incompatible types

Implementations

impl InferredType

pub fn is_numeric(&self) -> bool

Check if this is a numeric type

pub fn is_scalar(&self) -> bool

Check if this is a scalar type

pub fn is_error(&self) -> bool

Check if this is an error type

pub fn common_type(a: &InferredType, b: &InferredType) -> InferredType

Get a common type that’s compatible with both types

Trait Implementations

impl Clone for InferredType

fn clone(&self) -> InferredType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferredType

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

Formats the value using the given formatter.

impl Display for InferredType

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

Formats the value using the given formatter.

impl PartialEq for InferredType

fn eq(&self, other: &InferredType) -> 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 Visitor<InferredType> for TypeInferenceVisitor

fn visit_expr(&mut self, expr: &Expr) -> InferredType

Visit a generic expression, dispatching to specific methods

fn visit_literal(&mut self, lit: &Literal) -> InferredType

Visit a literal value (number or boolean)

fn visit_null(&mut self) -> InferredType

Visit a null literal

fn visit_identifier(&mut self, _name: &str) -> InferredType

Visit an identifier (variable reference)

fn visit_field_access(&mut self, _receiver: &Expr, _field: &str) -> InferredType

Visit a field access expression

fn visit_binary_op( &mut self, op: BinaryOperator, left: &Expr, right: &Expr, ) -> InferredType

Visit a binary operation

fn visit_unary_op(&mut self, op: UnaryOperator, operand: &Expr) -> InferredType

Visit a unary operation

fn visit_function_call(&mut self, name: &str, args: &[Expr]) -> InferredType

Visit a function call

fn visit_lambda(&mut self, _param: &str, _body: &Expr) -> InferredType

Visit a lambda expression

fn visit_let(&mut self, _name: &str, _value: &Expr, body: &Expr) -> InferredType

Visit a let binding

fn visit_if( &mut self, _condition: &Expr, then_branch: &Expr, else_branch: &Expr, ) -> InferredType

Visit an if conditional

fn visit_array(&mut self, elements: &[Expr]) -> InferredType

Visit an array literal

fn visit_object(&mut self, _fields: &[(String, Expr)]) -> InferredType

Visit an object literal

fn visit_pipe(&mut self, value: &Expr, functions: &[Expr]) -> InferredType

Visit a pipe operator

fn visit_alternative( &mut self, primary: &Expr, alternative: &Expr, ) -> InferredType

Visit an alternative operator (?|)

fn visit_guard(&mut self, _condition: &Expr, body: &Expr) -> InferredType

Visit a guard expression

fn visit_date(&mut self, _date: &str) -> InferredType

Visit a date literal

fn visit_datetime(&mut self, _datetime: &str) -> InferredType

Visit a datetime literal

fn visit_duration(&mut self, _duration: &str) -> InferredType

Visit a duration literal

fn visit_temporal_keyword(&mut self, _keyword: TemporalKeyword) -> InferredType

Visit a temporal keyword

fn visit_string(&mut self, _value: &str) -> InferredType

Visit a string literal

impl Eq for InferredType

impl StructuralPartialEq for InferredType