Enum FilterExpr 

pub enum FilterExpr {
    All(Vec<FilterExpr>),
    Any(Vec<FilterExpr>),
    Not(Box<FilterExpr>),
    Pred(Predicate),
    PredAs(CoercedPredicate),
    Present(FieldPath),
    Absent(FieldPath),
    Header(HeaderPredicate),
    Text(TextPredicate),
    HeaderText(TextPredicate),
}

A declarative predicate over one record: payload fields, typed user headers, presence tests, and boolean composition. It never runs user code.

Comparison truth is three-valued. A missing field or a type mismatch is unknown, not keeps unknown, and an unknown root selects nothing. A decode fault is separate from truth and follows the filter’s FaultPolicy.

Variants

All(Vec<FilterExpr>)

Any(Vec<FilterExpr>)

Not(Box<FilterExpr>)

Pred(Predicate)

A payload comparison. The field is a FieldPath text form.

PredAs(CoercedPredicate)

A payload comparison after an explicit value coercion.

Present(FieldPath)

The payload path exists. An explicit null value is present.

Absent(FieldPath)

The payload path does not exist.

Header(HeaderPredicate)

A typed user-header comparison. The key is matched exactly.

Text(TextPredicate)

A text match on a payload field: equals, prefix, suffix, contains, glob, or regex, optionally case-insensitive.

HeaderText(TextPredicate)

A text match on one user header, keyed exactly.

Implementations

impl FilterExpr

pub fn all(children: impl IntoIterator<Item = FilterExpr>) -> Self

pub fn any(children: impl IntoIterator<Item = FilterExpr>) -> Self

pub fn negate(child: FilterExpr) -> Self

pub fn pred( field: impl Into<String>, op: CmpOp, value: impl Into<TypedValue>, ) -> Self

pub fn pred_as( field: impl Into<String>, op: CmpOp, value: impl Into<TypedValue>, coerce: Coerce, ) -> Self

pub fn try_present(path: &str) -> Result<Self, InvalidError>

Presence of a payload path. Returns the parse error of an invalid path, so it suits untrusted input where Self::present would panic.

pub fn present(path: &str) -> Self

Presence of a trusted path. Panics if it is invalid.

pub fn try_absent(path: &str) -> Result<Self, InvalidError>

Absence of a payload path. Returns the parse error of an invalid path, so it suits untrusted input where Self::absent would panic.

pub fn absent(path: &str) -> Self

Absence of a trusted path. Panics if it is invalid.

pub fn header( key: impl Into<String>, op: CmpOp, value: impl Into<TypedValue>, ) -> Self

pub fn text( field: impl Into<String>, kind: TextMatch, pattern: impl Into<String>, ) -> Self

pub fn header_text( key: impl Into<String>, kind: TextMatch, pattern: impl Into<String>, ) -> Self

pub fn case_insensitive(self) -> Self

Make a text match case-insensitive. Any other node is returned as is.

pub fn reads_payload(&self) -> bool

Whether evaluating this node can require the decoded payload.

pub fn reads_headers(&self) -> bool

Whether evaluating this node can require the record headers.

Trait Implementations

impl Clone for FilterExpr

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 FilterExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FilterExpr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for FilterExpr

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FilterExpr

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FilterExpr