Module hir

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

• AggregateExpr
• AggregateWindowExpr
• ColumnOrder
  Specification for an ordering by a column.
• ColumnRef
  A leveled column reference.
• Hir
• ScalarWindowExpr
• ValueWindowExpr
• WindowExpr
  Represents the invocation of a window function over an optional partitioning with an optional order.
• WindowFrame
  Describe a window frame, e.g. RANGE UNBOUNDED PRECEDING or ROWS BETWEEN 5 PRECEDING AND CURRENT ROW.

Enums

• AggregateFunc
  Aggregate functions analogous to mz_expr::AggregateFunc, but whose types may be different.
• BinaryFunc
• CoercibleColumnType
  The column type for a CoercibleScalarExpr.
• CoercibleScalarExpr
  A CoercibleScalarExpr is a HirScalarExpr whose 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:
• CoercibleScalarType
  The scalar type for a CoercibleScalarExpr.
• HirRelationExpr
  Just like mz_expr::MirRelationExpr, except where otherwise noted below.
• HirScalarExpr
  Just like mz_expr::MirScalarExpr, except where otherwise noted below.
• JoinKind
• ScalarWindowFunc
  Scalar Window functions
• TableFunc
• UnaryFunc
• UnmaterializableFunc
• ValueWindowFunc
  Value Window functions
• VariadicFunc
• WindowExprType
  A window function with its parameters.

Traits

• AbstractColumnType
  A column type-like object whose underlying scalar type-like object can be ascertained.
• AbstractExpr
  An expression whose type can be ascertained.