Module expr

Source

Expand description

Vortex’s expression language.

All expressions are serializable, and own their own wire format.

The implementation takes inspiration from Postgres and Apache Datafusion.

Re-exports§

pub use pruning::StatsCatalog;
pub use analysis::*;

Modules§

aliases
analysis
arbitrary
display
forms
proto
pruning
session
stats
test_harness
transform: A collection of transformations that can be applied to a crate::expr::Expression.
traversal: Datafusion inspired tree traversal logic.

Structs§

Between: An optimized scalar expression to compute whether values fall between two bounds.
BetweenExecuteAdaptor: Adapts a BetweenKernel impl into an ExecuteParentKernel for ScalarFnArray(Between, ...).
BetweenOptions
BetweenReduceAdaptor: Adapts a BetweenReduce impl into an ArrayParentReduceRule for ScalarFnArray(Between, ...).
Binary
Cast: A cast expression that converts values to a target data type.
CastExecuteAdaptor: Adapts a CastKernel impl into an ExecuteParentKernel for ScalarFnArray(Cast, ...).
CastReduceAdaptor: Adapts a CastReduce impl into an ArrayParentReduceRule for ScalarFnArray(Cast, ...).
CompareExecuteAdaptor: Adaptor that bridges CompareKernel implementations to ExecuteParentKernel.
DynamicComparison: A dynamic comparison expression can be used to capture a comparison to a value that can change during the execution of a query, such as when a compute engine pushes down an ORDER BY + LIMIT operation and is able to progressively tighten the bounds of the filter.
DynamicComparisonExpr
DynamicExprUpdates: A utility for checking whether any dynamic expressions have been updated.
EmptyOptions
ExactExpr: An expression wrapper that performs pointer equality on child expressions.
ExecutionArgs: Arguments for expression execution.
ExprVTable: A Vortex expression vtable, used to deserialize or instantiate expressions dynamically.
Expression: A node in a Vortex expression tree.
FillNull: An expression that replaces null values in the input with a fill value.
FillNullExecuteAdaptor: Adaptor that wraps a FillNullKernel impl as an ExecuteParentKernel.
FillNullReduceAdaptor: Adaptor that wraps a FillNullReduce impl as an ArrayParentReduceRule.
GetItem
IsNull: Expression that checks for null values.
Like: Expression that performs SQL LIKE pattern matching.
LikeExecuteAdaptor: Adaptor that wraps a LikeKernel impl as an ExecuteParentKernel.
LikeOptions: Options for SQL LIKE function
LikeReduceAdaptor: Adaptor that wraps a LikeReduce impl as an ArrayParentReduceRule.
ListContains
Literal: Expression that represents a literal scalar value.
Mask: An expression that masks an input based on a boolean mask.
MaskExecuteAdaptor: Adaptor that wraps a MaskKernel impl as an ExecuteParentKernel.
MaskReduceAdaptor: Adaptor that wraps a MaskReduce impl as an ArrayParentReduceRule.
Merge: Merge zero or more expressions that ALL return structs.
Not: Expression that logically inverts boolean values.
NotExecuteAdaptor: Adaptor that wraps a NotKernel impl as an ExecuteParentKernel.
NotReduceAdaptor: Adaptor that wraps a NotReduce impl as an ArrayParentReduceRule.
NotSupported: A placeholder vtable implementation for unsupported optional functionality of an expression.
Pack: Pack zero or more expressions into a structure with named fields.
PackOptions
Root: An expression that returns the full scope of the expression evaluation.
ScalarFn: An instance of an expression bound to some invocation options.
Select
VTableAdapter
Zip: An expression that conditionally selects between two arrays based on a boolean mask.
ZipExecuteAdaptor: Adaptor that wraps a ZipKernel impl as an ExecuteParentKernel.
ZipReduceAdaptor: Adaptor that wraps a ZipReduce impl as an ArrayParentReduceRule.

Enums§

Arity: The arity (number of arguments) of a function.
DuplicateHandling: What to do when merged structs share a field name.
FieldSelection
Operator: Equalities, inequalities, and boolean operations over possibly null values.
StrictComparison: Strictness of the comparison.

Traits§

BetweenKernel: Execute kernel for between: perform the actual between check, potentially reading buffers.
BetweenReduce: Reduce rule for between: restructure the array without reading buffers.
CastKernel: Execute kernel for cast: perform the actual value conversion, potentially reading buffers.
CastReduce: Reduce rule for cast: restructure the array without reading buffers.
CompareKernel: Trait for encoding-specific comparison kernels that operate in encoded space.
DynExprVTable: An object-safe trait for dynamic dispatch of Vortex expression vtables.
FillNullKernel: Fill nulls in an array with a scalar value, potentially reading buffers.
FillNullReduce: Fill nulls in an array with a scalar value without reading buffers.
LikeKernel: Like pattern matching on an array, potentially reading buffers.
LikeReduce: Like pattern matching on an array without reading buffers.
MaskKernel: Mask an array, potentially reading buffers.
MaskReduce: Mask an array without reading buffers.
NotKernel: Invert a boolean array, potentially reading buffers.
NotReduce: Invert a boolean array without reading buffers.
ReduceCtx: Arguments for reduction rules.
ReduceNode: A node used for implementing abstract reduction rules.
SimplifyCtx: Context for simplification.
VTable: This trait defines the interface for expression vtables, including methods for serialization, deserialization, validation, child naming, return type computation, and evaluation.
VTableExt: Factory functions for static vtables.
VortexExprExt
ZipKernel: Zip two arrays using a mask, potentially reading buffers.
ZipReduce: Zip two arrays using a mask without reading buffers.

Functions§

and: Create a new Binary using the And operator.
and_collect: Collects a list of anded values into a single expression using a balanced tree.
between: Creates an expression that checks if values are between two bounds.
cast: Creates an expression that casts values to a target data type.
checked_add: Create a new Binary using the Add operator.
col: Creates an expression that accesses a field from the root array.
dynamic
eq: Create a new Binary using the Eq operator.
fill_null: Creates an expression that replaces null values with a fill value.
get_item: Creates an expression that extracts a named field from a struct expression.
gt: Create a new Binary using the Gt operator.
gt_eq: Create a new Binary using the Gte operator.
ilike
is_null: Creates an expression that checks for null values.
is_root: Return whether the expression is a root expression.
like
list_contains: Creates an expression that checks if a value is contained in a list.
lit: Create a new Literal expression from a type that coerces to Scalar.
lt: Create a new Binary using the Lt operator.
lt_eq: Create a new Binary using the Lte operator.
mask: Creates a mask expression that applies the given boolean mask to the input array.
merge: Creates an expression that merges struct expressions into a single struct.
merge_opts
not: Creates an expression that logically inverts boolean values.
not_eq: Create a new Binary using the NotEq operator.
not_ilike
not_like
or: Create a new Binary using the Or operator.
or_collect: Collects a list of ored values into a single expression using a balanced tree.
pack: Creates an expression that packs values into a struct with named fields.
root: Creates an expression that references the root scope.
select: Creates an expression that selects (includes) specific fields from an array.
select_exclude: Creates an expression that excludes specific fields from an array.
split_conjunction: Splits top level and operations into separate expressions.
zip_expr: Creates a zip expression that conditionally selects between two arrays.

Type Aliases§

ChildName: A reference to the name of a child expression.
ExprId
ReduceNodeRef

Module expr

Module expr Copy item path

Re-exports§

Modules§

Structs§

Enums§

Traits§

Functions§

Type Aliases§

Module expr