eggplant 0.2.5

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

use eggplant::basic_tx_no_vt;
use eggplant::prelude::*;
use std::path::PathBuf;

#[eggplant::dsl]
enum A {
    ACon { b: B },
}

#[eggplant::dsl]
enum B {
    BCon { a: A },
    Empty {},
}

/// NB: this should PANIC because Cycle is not allowed.
/// Only DAG is supported.
fn main() {
    env_logger::init();
    let mut a = ACon::new(&B::<MyTx>::new_empty());
    a.set_b(&BCon::new(&a));
    MyTx::sgl().to_dot(PathBuf::from("egraph"));
}

basic_tx_no_vt!(MyTx);