Expand description
This file houses HIR, a representation of a SQL plan that is parallel to MIR, but represents an earlier phase of planning. It’s structurally very similar to MIR, with some differences which are noted below. It gets turned into MIR via a call to lower().
Structs§
- Aggregate
Expr - Aggregate
Window Expr - Column
Order - Specification for an ordering by a column.
- Column
Ref - A leveled column reference.
- Hir
- Scalar
Window Expr - Value
Window Expr - Window
Expr - Represents the invocation of a window function over an optional partitioning with an optional order.
- Window
Frame - Describe a window frame, e.g.
RANGE UNBOUNDED PRECEDINGorROWS BETWEEN 5 PRECEDING AND CURRENT ROW.
Enums§
- Aggregate
Func - Aggregate functions analogous to
mz_expr::AggregateFunc, but whose types may be different. - Binary
Func - Coercible
Column Type - The column type for a
CoercibleScalarExpr. - Coercible
Scalar Expr - A
CoercibleScalarExpris aHirScalarExprwhose type is not fully determined. Several SQL expressions can be freely coerced based upon where in the expression tree they appear. For example, the string literal ‘42’ will be automatically coerced to the integer 42 if used in a numeric context: - Coercible
Scalar Type - The scalar type for a
CoercibleScalarExpr. - HirRelation
Expr - Just like
mz_expr::MirRelationExpr, except where otherwise noted below. - HirScalar
Expr - Just like
mz_expr::MirScalarExpr, except where otherwise noted below. - Join
Kind - Scalar
Window Func - Scalar Window functions
- Table
Func - Unary
Func - Unmaterializable
Func - Value
Window Func - Value Window functions
- Variadic
Func - Window
Expr Type - A window function with its parameters.
Traits§
- Abstract
Column Type - A column type-like object whose underlying scalar type-like object can be ascertained.
- Abstract
Expr - An expression whose type can be ascertained.