toasty 0.6.0

An async ORM for Rust supporting SQL and NoSQL databases
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

use super::Simplify;
use toasty_core::stmt;

impl Simplify<'_> {
    /// Rewrite `IsSuperset(path, [v1, v2, …])` into `AND(any_op(v1, Eq, path), …)`
    /// for drivers lacking `native_array_set_predicates`. The bottom-up fold
    /// pass has already collapsed a literal rhs into `Value::List` by the time
    /// this runs; a non-list rhs cannot be expanded and is left for the
    /// capability check to reject.
    pub(super) fn simplify_expr_is_superset(
        &self,
        expr: &mut stmt::ExprIsSuperset,
    ) -> Option<stmt::Expr> {
        if self.capability.native_array_set_predicates {
            return None;
        }

        let stmt::Expr::Value(stmt::Value::List(values)) = expr.rhs.as_ref() else {
            return None;
        };

        // Empty-rhs has been folded to `true` upstream by `fold::expr_is_superset`.
        debug_assert!(!values.is_empty());

        let path = (*expr.lhs).clone();
        let operands: Vec<stmt::Expr> = values
            .iter()
            .map(|v| stmt::Expr::any_op(v.clone(), stmt::BinaryOp::Eq, path.clone()))
            .collect();
        Some(stmt::Expr::and_from_vec(operands))
    }
}