mentatdb 1.18.0

A Datomic-compatible Datalog triple store on SQLite (the embedded Mentat engine; the library is `mentat`)
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

//! The shared Datomic-model scripting suite (`mentat_script::model_tests`) run
//! against the REAL SQLite-backed `Store` backend. Proves the extracted
//! `mentat_script` layer behaves identically on live storage, and — with the
//! fake-backend run in `crates/script` and the pg_mentat `#[pg_test]` run — is
//! the one suite that keeps the two backends from drifting (plan § 1.19).
//!
//! Only compiled with `--features mino`.
#![cfg(feature = "mino")]

use mentat::script::Interpreter;
use mentat_script::model_tests as m;

/// Run a model-suite body against a fresh store-installed interpreter.
macro_rules! model_test {
    ($name:ident) => {
        #[test]
        fn $name() {
            let mut interp = Interpreter::new();
            m::$name(interp.inner());
        }
    };
}

model_test!(db_is_an_immutable_value_not_the_conn);
model_test!(q_takes_a_db_value);
model_test!(pull_returns_a_map);
model_test!(entity_returns_an_entity_map);
model_test!(read_returns_the_scalar);
model_test!(datoms_returns_tuples);
model_test!(with_is_speculative_and_does_not_commit);
model_test!(as_of_and_since_reflect_the_basis);
model_test!(q_runs_against_as_of_and_since);
model_test!(pull_reads_the_as_of_and_since_basis);
model_test!(pull_nested_map_specs);
model_test!(as_of_hides_retracted_values);
model_test!(as_of_sees_a_value_reasserted_after_retraction);
model_test!(since_reads_current_datoms_added_after_t);
model_test!(as_of_and_since_together);
model_test!(missing_and_get_else_read_the_basis);
model_test!(or_reads_the_basis);
model_test!(not_or_reads_the_basis);
model_test!(pull_of_an_unknown_attribute_is_empty);
model_test!(tx_report_has_the_datomic_shape);
model_test!(q_takes_in_inputs);
model_test!(q_mixed_inputs);
model_test!(history_patterns_see_added);
model_test!(cas_and_retract_entity);
model_test!(retracting_an_absent_value_is_a_no_op);
model_test!(rename_and_retract_logs_one_retraction);
model_test!(list_form_ref_vector_is_one_lookup_ref);
model_test!(transaction_functions);

#[test]
fn inst_and_uuid_builders_round_trip_through_the_reader() {
    m::inst_and_uuid_builders_round_trip_through_the_reader();
}