Module mz_expr::interpret

Structs

ColumnSpec
ColumnSpecs
An interpreter that:
MfpEval 🔒
Wrap another interpreter, but tack a few extra columns on at the end. An internal implementation detail of eval_mfp and eval_mfp_plan.
ResultSpec
An approximation of the set of values an expression might have, including whether or not it might be null or an error value. This is generally an overapproximation, in the sense that ResultSpec::may_contain may return true even if the argument is not included in the set. (However, it should never return false when the value is included!)
SpecialBinary 🔒
A binary function we’ve added special-case handling for; including:
SpecialUnary 🔒
A unary function we’ve added special-case handling for; including:
Trace
An interpreter that returns whether or not a particular expression is “pushdownable”. Broadly speaking, an expression is pushdownable if the result of evaluating the expression depends on the range of possible column values in a way that ColumnSpecs is able to reason about.