Enum Predicate 

pub enum Predicate {
    And(Vec<Self>),
    Or(Vec<Self>),
    Not(Box<Self>),
    Cmp {
        left: Expr,
        op: CmpOp,
        right: Expr,
    },
    Between {
        expr: Expr,
        low: Expr,
        high: Expr,
        negated: bool,
    },
    In {
        expr: Expr,
        values: Vec<Expr>,
        negated: bool,
    },
    Like {
        expr: Expr,
        pattern: String,
        insensitive: bool,
        negated: bool,
    },
    Null {
        expr: Expr,
        negated: bool,
    },
    InSubquery {
        expr: Expr,
        column: String,
        table: String,
        filter: Box<Self>,
        negated: bool,
    },
}

A recursive boolean predicate tree.

Variants

And(Vec<Self>)

AND of all children (an empty list is the always-true identity 1 = 1).

Or(Vec<Self>)

OR of all children (an empty list is the always-false identity 1 = 0).

Not(Box<Self>)

Negation.

Cmp

<left> <op> <right>.

Fields

left: Expr

op: CmpOp

right: Expr

Between

<expr> [NOT] BETWEEN <low> AND <high>.

Fields

expr: Expr

low: Expr

high: Expr

negated: bool

In

<expr> [NOT] IN (<values>). Empty values is the corresponding identity (1 = 0 for IN (), 1 = 1 for NOT IN ()).

Fields

expr: Expr

values: Vec<Expr>

negated: bool

Like

<expr> [NOT] LIKE <pattern>; insensitive renders the portable lower(<expr>) LIKE lower(<pattern>) (no dialect-specific ILIKE).

Fields

expr: Expr

pattern: String

insensitive: bool

negated: bool

Null

<expr> IS [NOT] NULL.

Fields

expr: Expr

negated: bool

InSubquery

<expr> [NOT] IN (SELECT <column> FROM <table> WHERE <filter>) — a narrow single-named- table IN-subquery (the sibling of Expr::RelatedScalar; same safe-by-construction shape).

Fields

expr: Expr

column: String

table: String

filter: Box<Self>

negated: bool

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Predicate

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Predicate

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Predicate

fn eq(&self, other: &Predicate) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Predicate