Module proof_of_sql::sql::transform

This module contains postprocessing for non-provable components.

Structs

• CompositionExpr
  A node representing a list of transformations to be applied to a LazyFrame.
• GroupByExpr
  A group by expression
• OrderByExprs
  A node representing a list of OrderBy expressions.
• ResultExpr
  The result expression is used to transform the results of a query
• SelectExpr
  The select expression used to select, reorder, and apply alias transformations
• SliceExpr
  A SliceExpr represents a slice of a LazyFrame.

Constants

• INT128_PRECISION
  The precision for [ColumnType::INT128] values
• INT128_SCALE
  The scale for [ColumnType::INT128] values

Traits

• LiteralConversion
  Convert a Rust type to a Polars Expr type.
• RecordBatchExpr
  A trait for nodes that can apply transformations to a RecordBatch.
• SafeDivision
  Trait that provides a safe division operation for polars expressions.