Struct FilterIR 

pub struct FilterIR {
    pub clauses: Vec<Disjunction>,
}

Canonical Filter IR in Conjunctive Normal Form (CNF)

CNF = (A₁ ∨ A₂) ∧ (B₁) ∧ (C₁ ∨ C₂ ∨ C₃)

This representation enables:

1. Systematic index path selection (each clause maps to an index)
2. Easy conjunction with auth scope (just append clauses)
3. Efficient serialization and transmission

Fields

clauses: Vec<Disjunction>

Conjunction of disjunctions (CNF form)

Implementations

impl FilterIR

pub fn all() -> Self

Create an empty filter (matches everything)

pub fn none() -> Self

Create a filter that matches nothing

pub fn from_atom(atom: FilterAtom) -> Self

Create a filter from a single atom

pub fn from_disjunction(disj: Disjunction) -> Self

Create a filter from a single disjunction

pub fn and(self, other: FilterIR) -> Self

Conjoin (AND) with another filter

This is the key operation for auth scope injection: EffectiveFilter = AuthScope ∧ UserFilter

pub fn and_atom(self, atom: FilterAtom) -> Self

Conjoin with a single atom

pub fn or(self, other: FilterIR) -> Self

Disjoin (OR) with another filter

Note: This may expand the CNF representation

pub fn is_all(&self) -> bool

Check if this filter matches everything

pub fn is_none(&self) -> bool

Check if this filter matches nothing

pub fn simplify(self) -> Self

Simplify the filter

pub fn atoms_for_field(&self, field: &str) -> Vec<&FilterAtom>

Extract atoms for a specific field

pub fn constrains_field(&self, field: &str) -> bool

Check if this filter constrains a specific field

pub fn constrained_fields(&self) -> HashSet<&str>

Get all fields constrained by this filter

Trait Implementations

impl Clone for FilterIR

fn clone(&self) -> FilterIR

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FilterIR

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

Formats the value using the given formatter.

impl Default for FilterIR

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FilterIR

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for FilterIR

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

Formats the value using the given formatter.

impl PartialEq for FilterIR

fn eq(&self, other: &FilterIR) -> 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 Serialize for FilterIR

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 FilterIR