Expand description
Optional e-graph rewrite boundary for Omena CSS transforms.
Selector, shorthand, and computed-value rewrites are the current e-graph candidates. This crate keeps their proof requirements explicit without forcing an e-graph dependency into the core transform path.
Structs§
- Contextual
EqSat Scaffold V0 - EggRewrite
Candidate V0 - EggRewrite
Decision V0 - EggRewrite
Execution V0 - EggRewrite
Proof V0 - EggRewrite
Source Witness V0 - Lawvere
Analysis - Lawvere
Analysis Carrier Witness V0 - Lawvere
Analysis Data V0 - Lawvere
Computed Value Carrier V0 - Lawvere
Provenance Carrier V0 - Lawvere
Specificity Carrier V0 - Lawvere
VarState Carrier V0 - MdlExtraction
Cost V0 - MdlExtraction
Mode Summary V0 - Transform
EggBoundary Summary V0 - Transform
EggPlan V0
Enums§
Functions§
- decide_
egg_ rewrite - execute_
egg_ rewrite - execute_
egg_ rewrite_ with_ lawvere_ analysis - execute_
egg_ rewrite_ witnesses_ for_ css_ source - plan_
egg_ rewrite_ passes - plan_
egg_ rewrite_ passes_ for_ source - summarize_
contextual_ eqsat_ scaffold_ v0 - summarize_
lawvere_ analysis_ carrier_ witness_ v0 - summarize_
mdl_ extraction_ mode - summarize_
omena_ transform_ egg_ boundary