Enum Filter 

#[non_exhaustive]
pub enum Filter {
    Eq {
        field: String,
        value: Value,
    },
    StartsWith {
        field: String,
        prefix: String,
    },
    And(Vec<Filter>),
    Or(Vec<Filter>),
    ValidTimeRange {
        after: Option<Hlc>,
        before: Option<Hlc>,
    },
}

Filter expression passed to vector_search. v0 supports a small algebra; the backend translates it to its native filter language (FT.SEARCH ... FILTER ... on Moon).

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Eq

Equality on a metadata field.

Fields

field: String

value: Value

StartsWith

Field value starts with this string. Used by HeliosScratchpad recipe (source LIKE 'helios:fs/<prefix>').

Fields

field: String

prefix: String

And(Vec<Filter>)

Logical AND of sub-filters.

Or(Vec<Filter>)

Logical OR of sub-filters.

ValidTimeRange

Constrain hits to items whose valid_time falls within the half-open range [after, before). Either bound may be None:

• after = None → open-ended left bound (matches -inf).
• before = None → open-ended right bound (matches +inf).
• both None → predicate no-op (degrades to TRUE on SQL, @valid_time:[-inf +inf] on Moon).

This filter lives on a different axis from as_of — as_of pins the MVCC snapshot timestamp, whereas ValidTimeRange constrains which items are candidates at all. Mirrors TemporalQuery.before / .after / .between per Phase 9.1 Plan 02 (PRIM-03 full wiring).

Fields

after: Option<Hlc>

before: Option<Hlc>

Trait Implementations

impl Clone for Filter

fn clone(&self) -> Filter

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Filter

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Filter

fn deserialize<__D>( __deserializer: __D, ) -> Result<Filter, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Filter

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

where __S: Serializer,

Serialize this value into the given Serde serializer.