Struct Predicate 

pub struct Predicate { /* private fields */ }

Logical predicate shared across adapters and Tonbo’s core.

Implementations

impl Predicate

Convenience constructors mirroring DataFusion-style expression helpers.

pub fn always() -> Self

Returns a predicate that always evaluates to true (matches all rows).

pub fn compare<L, R>(left: L, op: ComparisonOp, right: R) -> Self

where L: Into<Operand>, R: Into<Operand>,

Create a comparison predicate.

pub fn eq<L, R>(left: L, right: R) -> Self

where L: Into<Operand>, R: Into<Operand>,

Equality predicate.

pub fn neq<L, R>(left: L, right: R) -> Self

where L: Into<Operand>, R: Into<Operand>,

Inequality predicate.

pub fn lt<L, R>(left: L, right: R) -> Self

where L: Into<Operand>, R: Into<Operand>,

Less-than predicate.

pub fn lte<L, R>(left: L, right: R) -> Self

where L: Into<Operand>, R: Into<Operand>,

Less-than-or-equal predicate.

pub fn gt<L, R>(left: L, right: R) -> Self

where L: Into<Operand>, R: Into<Operand>,

Greater-than predicate.

pub fn gte<L, R>(left: L, right: R) -> Self

where L: Into<Operand>, R: Into<Operand>,

Greater-than-or-equal predicate.

pub fn in_list<O, I>(expr: O, list: I) -> Self

where O: Into<Operand>, I: IntoIterator<Item = ScalarValue>,

IN list predicate.

pub fn not_in_list<O, I>(expr: O, list: I) -> Self

where O: Into<Operand>, I: IntoIterator<Item = ScalarValue>,

NOT IN list predicate.

pub fn is_null<O>(expr: O) -> Self

where O: Into<Operand>,

IS NULL predicate.

pub fn is_not_null<O>(expr: O) -> Self

where O: Into<Operand>,

IS NOT NULL predicate.

pub fn not(self) -> Self

Logical negation.

impl Predicate

pub fn kind(&self) -> &PredicateNode

Returns a reference to the underlying node.

pub fn and<I>(clauses: I) -> Self

where I: IntoIterator<Item = Predicate>,

Builds a conjunction from the supplied clauses.

Panics

Panics if no clauses are provided.

pub fn or<I>(clauses: I) -> Self

where I: IntoIterator<Item = Predicate>,

Builds a disjunction from the supplied clauses.

Panics

Panics if no clauses are provided.

pub fn simplify(self) -> Self

Applies simple simplification rules to reduce nesting.

pub fn negate(self) -> Self

Returns the logical negation of this predicate.

pub fn conjunction(predicates: Vec<Predicate>) -> Option<Predicate>

Builds a conjunction from the supplied predicates, if any are provided.

pub fn disjunction(predicates: Vec<Predicate>) -> Option<Predicate>

Builds a disjunction from the supplied predicates, if any.

pub fn from_node(node: PredicateNode) -> Self

Builds a predicate directly from a single node.

pub fn accept<V>( &self, visitor: &mut V, ) -> Result<VisitOutcome<V::Value>, V::Error>

where V: PredicateVisitor + ?Sized,

Accepts a visitor that walks the predicate tree bottom-up.

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Predicate