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::{basic_tx_rx_vt, prelude::*};

#[eggplant::dsl]
enum Expr {
    Add { v: Expr, con: Expr },

    Const { s: i64 },
}

#[eggplant::func(output=Expr)]
struct LeadTo {
    e: Expr,
}

fn main() {
    let a = Const::new(3);
    let b = Const::new(5);
    let add = Add::<MyTx>::new(&a, &b);
    let c = Const::new(8);
    add.commit();

    LeadTo::set(&add, &c);
    MyTx::wag_to_dot("dsl_func.dot");
    MyTx::egraph_to_dot("dsl_func_egraph.dot");
}

basic_tx_rx_vt!(MyTx);