qail-core 1.3.5

QAIL AST Kernel - typed query AST, schema validation, RLS context, and native access policy
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152

//! 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 for `get`, `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.qail` parsing, diffing, and migration model types.
//! - `build`: source scanner helpers for stale schema references and N+1
//!   diagnostics.
//!
//! ```ignore
//! 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)?;
//! ```

/// Native vertical access policy checks for QAIL commands.
pub mod access;
#[cfg(feature = "analyzer")]
pub mod analyzer;
/// Abstract syntax tree types.
pub mod ast;
/// Schema branching.
pub mod branch;
/// Build-time schema validation.
pub mod build;
/// Code generation for typed schema modules.
pub mod codegen;
/// Configuration types.
pub mod config;
/// Error types.
pub mod error;
/// SQL formatter.
pub mod fmt;
/// Database migration types.
pub mod migrate;
/// Query normalization and optimizer support.
pub mod optimizer;
/// QAIL query parser.
pub mod parser;
/// Row-level security context.
pub mod rls;
/// AST structural sanitization for untrusted binary input.
pub mod sanitize;
/// Schema definitions for validation.
pub mod schema;
/// Filesystem schema source loader (`schema.qail` or modular `schema/`).
pub mod schema_source;
/// SQL transpiler (AST to SQL).
pub mod transpiler;
/// Typed column and table traits.
pub mod typed;
/// Schema validator.
pub mod validator;
/// Versioned AST wire codecs (text + QWB2 binary).
pub mod wire;

#[cfg(test)]
mod proptest;

pub use parser::parse;

/// Ergonomic alias for Qail - the primary query builder type.
pub type Qail = ast::Qail;

/// Common re-exports for convenient wildcard imports.
pub mod prelude {
    pub use crate::ast::builders::{
        // Extension traits
        ExprExt,
        add_expr,
        all,
        and,
        and3,
        avg,
        binary,
        bind,
        boolean,
        case_when,
        // Expression builders
        cast,
        // Function builders
        coalesce,
        // Column builders
        col,
        concat,
        cond,
        // Aggregate builders
        count,
        count_distinct,
        count_filter,
        count_where,
        count_where_all,
        // Condition builders
        eq,
        float,
        func,
        gt,
        gte,
        ilike,
        in_list,
        inc,
        int,
        interval,
        is_in,
        is_not_null,
        is_null,
        // JSON builders
        json,
        json_obj,
        json_path,
        like,
        lt,
        lte,
        max,
        min,
        ne,
        not_in,
        now,
        now_minus,
        now_plus,
        null,
        nullif,
        param,
        percentage,
        // Shortcut helpers
        recent,
        recent_col,
        replace,
        star,
        sum,
        // Literal builders
        text,
    };
    pub use crate::ast::*;

    pub use crate::Qail;
    pub use crate::access::*;
    pub use crate::error::*;
    pub use crate::parser::parse;
    pub use crate::transpiler::ToSql;
}