Improving the Rust interface: inspecting into the E-graph

egraphs-good / egglog

egraphs + datalog!

https://egraphs-good.github.io/egglog/

MIT License

400 stars 45 forks source link

Improving the Rust interface: inspecting into the E-graph #361

Open yihozhang opened 4 months ago

yihozhang commented 4 months ago

Right now there is no way of inspecting the tuples of an E-graph in the rust interface besides through serialization AFAIK. Encountered this when working on eggcc. There are ways to work around this by e.g. looking at the serialized format, though.