proof_of_sql_planner/
lib.rs

1//! This crate converts a `DataFusion` `LogicalPlan` to a `ProofPlan`
2#![cfg_attr(test, expect(clippy::missing_panics_doc))]
3extern crate alloc;
4mod aggregate;
5pub(crate) use aggregate::{aggregate_function_to_proof_expr, AggregateFunc};
6mod context;
7pub use context::PoSqlContextProvider;
8#[cfg(test)]
9pub(crate) use context::PoSqlTableSource;
10mod conversion;
11pub use conversion::{get_table_refs_from_statement, sql_to_proof_plans};
12#[cfg(test)]
13mod df_util;
14mod expr;
15pub use expr::expr_to_proof_expr;
16pub(crate) use expr::get_column_idents_from_expr;
17mod error;
18pub use error::{PlannerError, PlannerResult};
19mod plan;
20pub use plan::logical_plan_to_proof_plan;
21mod uppercase_column_visitor;
22pub use uppercase_column_visitor::{statement_with_uppercase_identifiers, uppercase_identifier};
23mod util;
24pub use util::column_fields_to_schema;
25pub(crate) use util::{
26    column_to_column_ref, placeholder_to_placeholder_expr, scalar_value_to_literal_value,
27    schema_to_column_fields, table_reference_to_table_ref,
28};
proof_of_sql_planner/lib.rs

proof_of_sql_planner/
lib.rs
