Skip to main content

Filter

Enum Filter 

Source
pub enum Filter {
    Eq {
        field: String,
        value: Value,
    },
    In {
        field: String,
        values: Vec<Value>,
    },
    Range {
        field: String,
        gt: Option<f64>,
        gte: Option<f64>,
        lt: Option<f64>,
        lte: Option<f64>,
    },
    And(Vec<Filter>),
}
Expand description

Metadata predicate applied during search.

Fields are addressed by dotted paths ("source.lang"). A record without the field never matches.

Variants§

§

Eq

Fields

§field: String
§value: Value
§

In

Fields

§field: String
§values: Vec<Value>
§

Range

Fields

§field: String
§

And(Vec<Filter>)

Implementations§

Source§

impl Filter

Source

pub fn eq(field: impl Into<String>, value: impl Into<Value>) -> Self

Examples found in repository?
examples/quickstart.rs (line 36)
9fn main() -> recern_vector::Result<()> {
10    let path = std::env::temp_dir().join("recern-vector-quickstart.rvec");
11    let _ = std::fs::remove_file(&path);
12
13    let mut db = Database::create(&path)?;
14    let docs = db.create_collection("docs", CollectionConfig::new(32, Metric::Cosine))?;
15
16    // Batch insert: (id, vector, metadata). Built on all cores, atomic.
17    let records: Vec<_> = (0..10_000)
18        .map(|i| {
19            let vector: Vec<f32> = (0..32).map(|d| pseudo_random(i * 32 + d)).collect();
20            let lang = ["en", "de", "fr"][i % 3];
21            (
22                format!("doc-{i}"),
23                vector,
24                Some(json!({"lang": lang, "year": 2015 + i % 10})),
25            )
26        })
27        .collect();
28    let query = records[42].1.clone();
29    docs.upsert_many(records)?;
30    println!("{} records", docs.len());
31
32    // Search with a filter; explain() returns the hits and how they were found.
33    let filter = Filter::from_json(&json!({"lang": "en", "year": {"$gte": 2020}}))?;
34    // The same filter, built in code:
35    let _same = Filter::And(vec![
36        Filter::eq("lang", "en"),
37        Filter::between("year", Some(2020.0), None),
38    ]);
39    let report = docs.explain(&query, 3, &SearchOptions::default().filter(filter))?;
40    for hit in &report.hits {
41        println!(
42            "  {:<10} distance={:.4} {}",
43            hit.id,
44            hit.distance,
45            hit.metadata.as_ref().unwrap()
46        );
47    }
48    println!(
49        "strategy={} visited={} selectivity={:.1}% time={:?}",
50        report.strategy,
51        report.visited,
52        report.filter_selectivity.unwrap_or(1.0) * 100.0,
53        report.elapsed
54    );
55
56    // Index health and recall against exact search.
57    let stats = docs.stats();
58    println!(
59        "layers={:?} unreachable={}",
60        stats.nodes_per_layer, stats.unreachable
61    );
62    let recall = docs.estimate_recall(&RecallOptions {
63        ef_values: vec![16, 64],
64        ..Default::default()
65    })?;
66    for point in &recall.points {
67        println!(
68            "  ef={:<3} recall@{}={:.3}",
69            point.ef, recall.k, point.recall
70        );
71    }
72
73    db.save()?;
74    let reopened = Database::open(&path)?;
75    println!("reopened: {} records", reopened.collection("docs")?.len());
76    Ok(())
77}
Source

pub fn is_in( field: impl Into<String>, values: impl IntoIterator<Item = Value>, ) -> Self

Source

pub fn between( field: impl Into<String>, gte: Option<f64>, lte: Option<f64>, ) -> Self

Inclusive range. Either bound may be omitted.

Examples found in repository?
examples/quickstart.rs (line 37)
9fn main() -> recern_vector::Result<()> {
10    let path = std::env::temp_dir().join("recern-vector-quickstart.rvec");
11    let _ = std::fs::remove_file(&path);
12
13    let mut db = Database::create(&path)?;
14    let docs = db.create_collection("docs", CollectionConfig::new(32, Metric::Cosine))?;
15
16    // Batch insert: (id, vector, metadata). Built on all cores, atomic.
17    let records: Vec<_> = (0..10_000)
18        .map(|i| {
19            let vector: Vec<f32> = (0..32).map(|d| pseudo_random(i * 32 + d)).collect();
20            let lang = ["en", "de", "fr"][i % 3];
21            (
22                format!("doc-{i}"),
23                vector,
24                Some(json!({"lang": lang, "year": 2015 + i % 10})),
25            )
26        })
27        .collect();
28    let query = records[42].1.clone();
29    docs.upsert_many(records)?;
30    println!("{} records", docs.len());
31
32    // Search with a filter; explain() returns the hits and how they were found.
33    let filter = Filter::from_json(&json!({"lang": "en", "year": {"$gte": 2020}}))?;
34    // The same filter, built in code:
35    let _same = Filter::And(vec![
36        Filter::eq("lang", "en"),
37        Filter::between("year", Some(2020.0), None),
38    ]);
39    let report = docs.explain(&query, 3, &SearchOptions::default().filter(filter))?;
40    for hit in &report.hits {
41        println!(
42            "  {:<10} distance={:.4} {}",
43            hit.id,
44            hit.distance,
45            hit.metadata.as_ref().unwrap()
46        );
47    }
48    println!(
49        "strategy={} visited={} selectivity={:.1}% time={:?}",
50        report.strategy,
51        report.visited,
52        report.filter_selectivity.unwrap_or(1.0) * 100.0,
53        report.elapsed
54    );
55
56    // Index health and recall against exact search.
57    let stats = docs.stats();
58    println!(
59        "layers={:?} unreachable={}",
60        stats.nodes_per_layer, stats.unreachable
61    );
62    let recall = docs.estimate_recall(&RecallOptions {
63        ef_values: vec![16, 64],
64        ..Default::default()
65    })?;
66    for point in &recall.points {
67        println!(
68            "  ef={:<3} recall@{}={:.3}",
69            point.ef, recall.k, point.recall
70        );
71    }
72
73    db.save()?;
74    let reopened = Database::open(&path)?;
75    println!("reopened: {} records", reopened.collection("docs")?.len());
76    Ok(())
77}
Source

pub fn matches(&self, metadata: Option<&Value>) -> bool

Source

pub fn from_json(value: &Value) -> Result<Self>

Parses a MongoDB-style filter:

{"lang": "en", "year": {"$gte": 2020, "$lt": 2025}, "tag": {"$in": ["a", "b"]}}

Top-level keys are combined with AND. Supported operators: $eq, $in, $gt, $gte, $lt, $lte.

Examples found in repository?
examples/quickstart.rs (line 33)
9fn main() -> recern_vector::Result<()> {
10    let path = std::env::temp_dir().join("recern-vector-quickstart.rvec");
11    let _ = std::fs::remove_file(&path);
12
13    let mut db = Database::create(&path)?;
14    let docs = db.create_collection("docs", CollectionConfig::new(32, Metric::Cosine))?;
15
16    // Batch insert: (id, vector, metadata). Built on all cores, atomic.
17    let records: Vec<_> = (0..10_000)
18        .map(|i| {
19            let vector: Vec<f32> = (0..32).map(|d| pseudo_random(i * 32 + d)).collect();
20            let lang = ["en", "de", "fr"][i % 3];
21            (
22                format!("doc-{i}"),
23                vector,
24                Some(json!({"lang": lang, "year": 2015 + i % 10})),
25            )
26        })
27        .collect();
28    let query = records[42].1.clone();
29    docs.upsert_many(records)?;
30    println!("{} records", docs.len());
31
32    // Search with a filter; explain() returns the hits and how they were found.
33    let filter = Filter::from_json(&json!({"lang": "en", "year": {"$gte": 2020}}))?;
34    // The same filter, built in code:
35    let _same = Filter::And(vec![
36        Filter::eq("lang", "en"),
37        Filter::between("year", Some(2020.0), None),
38    ]);
39    let report = docs.explain(&query, 3, &SearchOptions::default().filter(filter))?;
40    for hit in &report.hits {
41        println!(
42            "  {:<10} distance={:.4} {}",
43            hit.id,
44            hit.distance,
45            hit.metadata.as_ref().unwrap()
46        );
47    }
48    println!(
49        "strategy={} visited={} selectivity={:.1}% time={:?}",
50        report.strategy,
51        report.visited,
52        report.filter_selectivity.unwrap_or(1.0) * 100.0,
53        report.elapsed
54    );
55
56    // Index health and recall against exact search.
57    let stats = docs.stats();
58    println!(
59        "layers={:?} unreachable={}",
60        stats.nodes_per_layer, stats.unreachable
61    );
62    let recall = docs.estimate_recall(&RecallOptions {
63        ef_values: vec![16, 64],
64        ..Default::default()
65    })?;
66    for point in &recall.points {
67        println!(
68            "  ef={:<3} recall@{}={:.3}",
69            point.ef, recall.k, point.recall
70        );
71    }
72
73    db.save()?;
74    let reopened = Database::open(&path)?;
75    println!("reopened: {} records", reopened.collection("docs")?.len());
76    Ok(())
77}

Trait Implementations§

Source§

impl Clone for Filter

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Filter

Source§

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

Formats the value using the given formatter. Read more
Source§

impl PartialEq for Filter

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for Filter

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.