Expand description
QAIL AST Kernel.
Build database intent as typed AST, not application-assembled SQL strings. The AST can then be validated, policy-checked, formatted, encoded for a driver, or inspected by tooling.
Main concepts:
Qail: the primary command builder forget,add,set,del,put,merge_into, CTEs, filters, projections, and returning clauses.access: native table/operation/column policy checks.rls: tenant/user/super-admin execution context witnesses.migrate:schema.qailparsing, diffing, and migration model types.build: source scanner helpers for stale schema references and N+1 diagnostics.
ⓘ
use qail_core::prelude::*;
let ctx = RlsContext::tenant("018f6a60-4d5f-7a9d-9f4c-7dd8c338f1d2");
let cmd = Qail::get("users")
.columns(["id", "email"])
.eq("active", true)
.with_rls(&ctx)?;Re-exports§
pub use parser::parse;
Modules§
- access
- Native vertical access policy checks for QAIL commands. Native vertical access policy checks.
- ast
- Abstract syntax tree types.
- branch
- Schema branching. Branch Context for Data Virtualization
- build
- Build-time schema validation. Build-time QAIL validation module.
- codegen
- Code generation for typed schema modules. Type-safe schema code generation.
- config
- Configuration types. Centralized configuration for the Qail ecosystem.
- error
- Error types. Error types for QAIL.
- fmt
- SQL formatter.
- migrate
- Database migration types. QAIL Migration Module
- optimizer
- Query normalization and optimizer support. Query normalization and optimization support.
- parser
- QAIL query parser. QAIL Parser using nom.
- prelude
- Common re-exports for convenient wildcard imports.
- rls
- Row-level security context. Row-Level Security (RLS) Context for Multi-Tenant SaaS
- sanitize
- AST structural sanitization for untrusted binary input. AST structural sanitization for untrusted input.
- schema
- Schema definitions for validation. Schema definitions for QAIL validation.
- schema_
source - Filesystem schema source loader (
schema.qailor modularschema/). Filesystem loader for QAIL schema sources. - transpiler
- SQL transpiler (AST to SQL). SQL Transpiler for QAIL AST.
- typed
- Typed column and table traits. Type-safe table and column types for compile-time validation.
- validator
- Schema validator. Schema validator and fuzzy matching suggestions.
- wire
- Versioned AST wire codecs (text + QWB2 binary). QAIL wire codecs for command transport.
Type Aliases§
- Qail
- Ergonomic alias for Qail - the primary query builder type.