composable-indexes 0.9.0

In-memory collections with composable indexes
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

use alloc::vec::Vec;
use proptest::prelude::*;

use super::test_ops::TestOps;
use crate::core::{Collection, Index};

pub fn prop_assert_reference<
    In: Clone + Arbitrary + 'static,
    Ix: Index<In>,
    T: core::fmt::Debug + PartialEq + 'static,
>(
    mk_index: impl Fn() -> Ix,
    query: impl Fn(Collection<In, Ix>) -> T,
    reference_impl: impl Fn(Vec<In>) -> T,
    config: Option<proptest::test_runner::Config>,
) {
    let mut runner = proptest::test_runner::TestRunner::new(config.unwrap_or_default());

    runner
        .run(&any::<TestOps<In>>(), |ops| {
            let ref_xs = ops.end_state().values().cloned().collect::<Vec<_>>();
            let actual = reference_impl(ref_xs);

            let mut db = Collection::new(mk_index());
            ops.apply(&mut db);
            let expected = query(db);

            pretty_assertions::assert_eq!(&actual, &expected);

            Ok(())
        })
        .unwrap();
}