proof_of_sql/sql/parse/
mod.rs

1//! This module contains conversion of intermediate AST to provable AST and a non-provable component if necessary.
2mod error;
3
4pub use error::ConversionError;
5pub(crate) use error::ConversionResult;
6
7mod enriched_expr;
8pub(crate) use enriched_expr::EnrichedExpr;
9
10#[cfg(all(test, feature = "blitzar"))]
11mod query_expr_tests;
12
13mod query_expr;
14pub use query_expr::QueryExpr;
15
16mod filter_exec_builder;
17pub(crate) use filter_exec_builder::FilterExecBuilder;
18
19/// TODO: add docs
20pub(crate) mod query_context;
21pub(crate) use query_context::QueryContext;
22
23mod query_context_builder;
24pub(crate) use query_context_builder::QueryContextBuilder;
25
26mod dyn_proof_expr_builder;
27pub(crate) use dyn_proof_expr_builder::DynProofExprBuilder;
28
29mod where_expr_builder;
30pub(crate) use where_expr_builder::WhereExprBuilder;
31#[cfg(test)]
32mod where_expr_builder_tests;