Struct NumericKernels 

pub struct NumericKernels;

Centralizes the numeric kernels applied to scalar expressions so they can be tuned without touching the surrounding table scan logic.

Implementations

impl NumericKernels

pub fn collect_fields(expr: &ScalarExpr<FieldId>, acc: &mut FxHashSet<FieldId>)

Collect every field referenced by the scalar expression into acc.

pub fn prepare_numeric_arrays( lfids: &[LogicalFieldId], arrays: &[ArrayRef], needed_fields: &FxHashSet<FieldId>, ) -> LlkvResult<NumericArrayMap>

Ensure each referenced column is materialized as a NumericArray, casting as needed.

pub fn evaluate_value( expr: &ScalarExpr<FieldId>, idx: usize, arrays: &NumericArrayMap, ) -> LlkvResult<Option<NumericValue>>

Evaluate a scalar expression for the row at idx using the provided numeric arrays.

pub fn evaluate_batch( expr: &ScalarExpr<FieldId>, len: usize, arrays: &NumericArrayMap, ) -> LlkvResult<ArrayRef>

Evaluate a scalar expression for every row in the batch.

pub fn evaluate_batch_simplified( expr: &ScalarExpr<FieldId>, len: usize, arrays: &NumericArrayMap, ) -> LlkvResult<ArrayRef>

Evaluate a scalar expression that has already been simplified.

pub fn passthrough_column(expr: &ScalarExpr<FieldId>) -> Option<FieldId>

Returns the column referenced by an expression when it’s a direct or additive identity passthrough.

pub fn simplify(expr: &ScalarExpr<FieldId>) -> ScalarExpr<FieldId>

Recursively simplify the expression by folding literals and eliminating identity operations.

pub fn extract_affine(expr: &ScalarExpr<FieldId>) -> Option<AffineExpr>

Attempts to represent the expression as scale * column + offset. Returns None when the expression depends on multiple columns or is non-linear.

pub fn extract_affine_simplified( expr: &ScalarExpr<FieldId>, ) -> Option<AffineExpr>

Variant of [extract_affine] that assumes expr is already simplified.

pub fn apply_binary( op: BinaryOp, lhs: Option<NumericValue>, rhs: Option<NumericValue>, ) -> Option<NumericValue>

Apply an arithmetic kernel. Returns None when the computation results in a null (e.g. divide by zero).

pub fn infer_result_kind_from_types<F>( expr: &ScalarExpr<FieldId>, resolve_kind: &mut F, ) -> Option<NumericKind>

where F: FnMut(FieldId) -> Option<NumericKind>,

Infer the numeric kind of an expression using only the kinds of its referenced columns.

pub fn kind_for_data_type(dtype: &DataType) -> Option<NumericKind>

Map an Arrow DataType to the corresponding numeric kind when supported.

pub fn compare(op: CompareOp, lhs: NumericValue, rhs: NumericValue) -> bool

Compare two numeric values using the provided operator.