proof_of_sql/sql/postprocessing/
mod.rs

1//! This module contains new lightweight postprocessing for non-provable components.
2mod error;
3pub use error::{PostprocessingError, PostprocessingResult};
4
5mod owned_table_postprocessing;
6
7mod postprocessing_step;
8pub use owned_table_postprocessing::{apply_postprocessing_steps, OwnedTablePostprocessing};
9pub use postprocessing_step::PostprocessingStep;
10#[cfg(test)]
11/// Utility functions for testing postprocessing steps.
12pub mod test_utility;
13
14mod group_by_postprocessing;
15pub use group_by_postprocessing::GroupByPostprocessing;
16#[cfg(test)]
17mod group_by_postprocessing_test;
18
19mod order_by_postprocessing;
20pub use order_by_postprocessing::OrderByPostprocessing;
21#[cfg(test)]
22mod order_by_postprocessing_test;
23
24mod select_postprocessing;
25pub use select_postprocessing::SelectPostprocessing;
26#[cfg(test)]
27mod select_postprocessing_test;
28
29mod slice_postprocessing;
30pub use slice_postprocessing::SlicePostprocessing;
31#[cfg(test)]
32mod slice_postprocessing_test;