Module expr

Modules

• agg_call 🔒
• correlated_input_ref 🔒
• expr_mutator 🔒
• expr_rewriter 🔒
• expr_visitor 🔒
• function_call 🔒
• function_call_with_lambda 🔒
• function_impl
• input_ref 🔒
• literal 🔒
• now 🔒
• order_by_expr 🔒
• parameter 🔒
• pure 🔒
• session_timezone 🔒
• subquery 🔒
• table_function 🔒
• type_inference 🔒
  This type inference is just to infer the return type of function calls, and make sure the functionCall expressions have same input type requirement and return type definition as backend.
• user_defined_function 🔒
• utils 🔒
• window_function 🔒

Macros

• impl_expr_impl 🔒
• impl_has_variant 🔒
  Implement helper functions which recursively checks whether an variant is included in the expression. e.g., has_subquery(&self) -> bool

Structs

• AggCall
• CastSig
• CollectInputRef
  Collect all InputRefs’ indexes in the expression.
• ColumnSelfEqualRewriter
  for every (col) == (col), transform to IsNotNull(col) since in the boolean context, null = (...) will always be treated as false. note: as always, only for single column.
• CorrelatedInputRef
  A reference to a column outside the subquery.
• CountNow
  Count Nows in the expression.
• ExprDisplay
• FuncSign
  A function signature.
• FunctionCall
• FunctionCallDisplay
• FunctionCallWithLambda
  Similar to FunctionCall, with an extra lambda function argument.
• InequalityInputPair
• InlineNowProcTime
  Expression rewriter to inline NOW() and PROCTIME() to a literal extracted from the epoch.
• InputRef
• InputRefDisplay
• Literal
• Now
  The NOW() function.
• NowProcTimeFinder
• OrderBy
  See OrderByExpr.
• OrderByExpr
  A sort expression in the ORDER BY clause.
• Parameter
• SessionTimezone
  SessionTimezone will be used to resolve session timezone-dependent casts, comparisons or arithmetic.
• Subquery
  Subquery expression.
• TableFunction
  A table function takes a row as input and returns a table. It is also known as Set-Returning Function.
• TimestamptzExprFinder
• UserDefinedFunction
• WindowFunction
  A window function performs a calculation across a set of table rows that are somehow related to the current row, according to the window spec OVER (PARTITION BY .. ORDER BY ..). One output row is calculated for each row in the input table.

Enums

• CastContext
  The context a cast operation is invoked in. An implicit cast operation is allowed in a context that allows explicit casts, but not vice versa. See details in PG.
• ExprImpl
• ExprType
  TODO: move this into FunctionCall.
• SubqueryKind

Constants

• EXPR_DEPTH_THRESHOLD 🔒
• EXPR_TOO_DEEP_NOTICE 🔒

Traits

• Expr
  the trait of bound expressions
• ExprMutator
  with the same visit logic of ExprVisitor, but mutable.
• ExprRewriter
  By default, ExprRewriter simply traverses the expression tree and leaves nodes unchanged. Implementations can override a subset of methods and perform transformation on some particular types of expression.
• ExprVisitor
  Traverse an expression tree.

Functions

• align_types
  Find the least_restrictive type over a list of exprs, and add implicit cast when necessary. Used by VALUES, CASE, UNION, etc. See PG.
• cast_map_array
• cast_ok
  Checks whether casting from source to target is ok in allows context.
• cast_sigs
• collect_input_refs
  Collect all InputRefs’ indexes in the expressions.
• column_self_eq_eliminate
  check ColumnSelfEqualRewriter’s comment below.
• default_rewrite_expr
  The default implementation of ExprRewriter::rewrite_expr that simply dispatches to other methods based on the type of the expression.
• default_visit_expr
  The default implementation of ExprVisitor::visit_expr that simply dispatches to other methods based on the type of the expression.
• factorization_expr
• fold_boolean_constant
  fold boolean constants in boolean exprs e.g. (A And false) Or true will become True
• infer_some_all
• infer_type
• infer_type_name
  From all available functions in sig_map, find and return the best matching FuncSign for the provided func_name and inputs. This not only support exact function signature match, but can also match substr(varchar, smallint) or even substr(varchar, unknown) to substr(varchar, int).
• infer_type_with_sigmap
  Infers the return type of a function. Returns Err if the function with specified data types is not supported on backend.
• input_ref_to_column_indices
• is_impure
• is_impure_func_call
• is_pure
• is_row_function
• push_down_not
  Expand Type::Not expressions. e.g. Not(A And B) will become (Not A) Or (Not B)
• rewrite_now_to_proctime
• to_conjunctions
  Transform a bool expression to Conjunctive form. e.g. given expression is (expr1 AND expr2 AND expr3) the function will return Vec[expr1, expr2, expr3].
• to_disjunctions
  Transform a bool expression to Disjunctive form. e.g. given expression is (expr1 OR expr2 OR expr3) the function will return Vec[expr1, expr2, expr3].
• try_get_bool_constant
  Try to get bool constant from a ExprImpl. If expr is not a ExprImpl::Literal, or the Literal is not a boolean, this function will return None. Otherwise it will return the boolean value.

Type Aliases

• CorrelatedId
• Depth
• TableFunctionType
  Alias for Type.