crepe 0.2.0

Datalog in Rust as a procedural macro
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

// Test basic generic type parameter support

use crepe::crepe;

crepe! {
    @input
    struct Input<T>(T);

    @output
    struct Output<T>(T);

    Output(x) <- Input(x);
}

#[test]
fn test_basic_generic() {
    let mut runtime = Crepe::new();
    runtime.extend([Input(1), Input(2), Input(3)]);

    let (output,) = runtime.run();
    let mut results: Vec<_> = output.into_iter().map(|Output(x)| x).collect();
    results.sort_unstable();

    assert_eq!(results, vec![1, 2, 3]);
}