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;
16mod error;
17pub use error::{PlannerError, PlannerResult};
18mod plan;
19pub use plan::logical_plan_to_proof_plan;
20mod uppercase_column_visitor;
21pub use uppercase_column_visitor::{statement_with_uppercase_identifiers, uppercase_identifier};
22mod util;
23pub use util::column_fields_to_schema;
24pub(crate) use util::{
25    column_to_column_ref, placeholder_to_placeholder_expr, scalar_value_to_literal_value,
26    schema_to_column_fields, table_reference_to_table_ref,
27};
proof_of_sql_planner/lib.rs

proof_of_sql_planner/
lib.rs
