Struct TypedExpr 

pub struct TypedExpr {
    pub kind: TypedExprKind,
    pub resolved_type: ResolvedType,
    pub span: Span,
}

A type-checked expression with resolved type information.

This struct represents an expression that has been validated by the type checker. It contains the expression kind, the resolved type, and the source span for error reporting.

Examples

use alopex_sql::planner::typed_expr::{TypedExpr, TypedExprKind};
use alopex_sql::planner::types::ResolvedType;
use alopex_sql::ast::expr::Literal;
use alopex_sql::Span;

let expr = TypedExpr {
    kind: TypedExprKind::Literal(Literal::Number("42".to_string())),
    resolved_type: ResolvedType::Integer,
    span: Span::default(),
};

Fields

kind: TypedExprKind

The kind of expression.

resolved_type: ResolvedType

The resolved type of this expression.

span: Span

Source span for error reporting.

Implementations

impl TypedExpr

pub fn new(kind: TypedExprKind, resolved_type: ResolvedType, span: Span) -> Self

Creates a new typed expression.

pub fn literal(lit: Literal, resolved_type: ResolvedType, span: Span) -> Self

Creates a typed literal expression.

pub fn column_ref( table: String, column: String, column_index: usize, resolved_type: ResolvedType, span: Span, ) -> Self

Creates a typed column reference.

pub fn binary_op( left: TypedExpr, op: BinaryOp, right: TypedExpr, resolved_type: ResolvedType, span: Span, ) -> Self

Creates a typed binary operation.

pub fn unary_op( op: UnaryOp, operand: TypedExpr, resolved_type: ResolvedType, span: Span, ) -> Self

Creates a typed unary operation.

pub fn function_call( name: String, args: Vec<TypedExpr>, resolved_type: ResolvedType, span: Span, ) -> Self

Creates a typed function call.

pub fn cast(expr: TypedExpr, target_type: ResolvedType, span: Span) -> Self

Creates a typed cast expression.

pub fn vector_literal(values: Vec<f64>, dimension: u32, span: Span) -> Self

Creates a typed vector literal.

Trait Implementations

impl Clone for TypedExpr

fn clone(&self) -> TypedExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypedExpr

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

Formats the value using the given formatter.