Module proof_of_sql::sql::postprocessing

This module contains new lightweight postprocessing for non-provable components.

Structs

• OrderByExpr
  A node representing a list of OrderBy expressions.
• SelectExpr
  The select expression used to select, reorder, and apply alias transformations
• SliceExpr
  A SliceExpr represents a slice of an OwnedTable.

Enums

• OwnedTablePostprocessing
  An enum for nodes that can apply postprocessing to a OwnedTable.
• PostprocessingError
  Errors in postprocessing

Traits

• PostprocessingStep
  A trait for postprocessing steps that can be applied to an OwnedTable.

Functions

• apply_postprocessing_steps
  Apply a list of postprocessing steps to an OwnedTable.

Type Aliases

• PostprocessingResult
  Result type for postprocessing