Expand description
§egglog
egglog is a language specialized for writing equality saturation applications. It is the successor to the rust library egg. egglog is faster and more general than egg.
§Documentation
Documentation for the egglog language can be found
here: Command
§Tutorial
Here is the video tutorial on what egglog is and how to use it. We plan to have a text tutorial here soon, PRs welcome!
Modules§
Macros§
Structs§
- EGraph
- Function
- NotFound
Error - Primitive
- RunReport
- Running a schedule produces a report of the results.
This includes rough timing information and whether
the database was updated.
Calling
union
on two run reports adds the timing information together. - Serialize
Config - Simple
Primitive - TermDag
- A hashconsing arena for
Term
s. - Type
Info - Stores resolved typechecking information. TODO make these not public, use accessor methods
- Union
Find - Value
Enums§
- Error
- Extract
Report - A report of the results of an extract action.
- RunMode
- Serialized
Node - A node in the serialized egraph.
- Term
- Like
Expr
s but with sharing and deduplication.