Enum Predicate 

pub enum Predicate {
    Eq {
        column: ColumnId,
        value: PredicateValue,
    },
    In {
        column: ColumnId,
        values: Vec<PredicateValue>,
    },
    Range(RangePredicate),
    Exists(ColumnId),
    IsNull(ColumnId),
    And(Vec<Predicate>),
    Or(Vec<Predicate>),
    Not(Box<Predicate>),
}

The complete v1 metadata predicate language.

This enum intentionally has no free-form or unsupported marker. Bindings must reject LIKE, regex, GLOB, and every other operation not represented by one of these variants before calling the engine.

Variants

Eq

Exact typed equality.

Fields

column: ColumnId

The schema column.

value: PredicateValue

The typed query value.

In

Membership in a typed set. An empty set matches no rows.

Fields

column: ColumnId

The schema column.

values: Vec<PredicateValue>

Typed query values.

Range(RangePredicate)

A numeric range.

Exists(ColumnId)

Rows in which a column is non-null.

IsNull(ColumnId)

Rows in which a column is null.

And(Vec<Predicate>)

Logical conjunction. The empty conjunction is true within the alive set.

Or(Vec<Predicate>)

Logical disjunction. The empty disjunction is false.

Not(Box<Predicate>)

Logical negation bounded by the current alive set.

Trait Implementations

impl Clone for Predicate

fn clone(&self) -> Self

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: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Predicate