eggplant 0.2.7

eggplant is a High-Level Rust API crate for Egglog
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

use eggplant::prelude::*;
use eggplant::tx_rx_vt_pr;

tx_rx_vt_pr!(MyTx, MyPatRec);

#[eggplant::func(output=i64)]
struct Fib {
    x: i64,
}
fn main() {
    let ruleset = MyTx::new_ruleset("hello");
    MyTx::add_rule(
        "hello",
        ruleset,
        || {
            #[eggplant::pat_vars_catch]
            struct Unit {}
        },
        |ctx, _pat| {
            ctx.set_fib(1, 1);
            ctx.set_fib(2, 3);
        },
    );
    Fib::<MyTx>::get(&2);
    MyTx::run_ruleset(ruleset, RunConfig::Once);
    MyTx::egraph_to_dot("egraph.dot");
}