lib:hegg
Modules
- Data.Equality.Analysis
- Data.Equality.Analysis.Monadic
- Data.Equality.Extraction
- Data.Equality.Graph
- Data.Equality.Graph.Classes
- Data.Equality.Graph.Classes.Id
- Data.Equality.Graph.Dot
- Data.Equality.Graph.Internal
- Data.Equality.Graph.Lens
- Data.Equality.Graph.Monad
- Data.Equality.Graph.Nodes
- Data.Equality.Graph.ReprUnionFind
- Data.Equality.Language
- Data.Equality.Matching
- Data.Equality.Matching.Database
- Data.Equality.Matching.Pattern
- Data.Equality.Saturation
- Data.Equality.Saturation.Rewrites
- Data.Equality.Saturation.Scheduler
- Data.Equality.Utils
- Data.Equality.Utils.IntToIntMap
- Data.Equality.Utils.SizedList
Dependencies
- base lib:base (>=4.13 && <5) && (>=4.16 || <4.15)
- containers lib:containers >=0.4 && <0.7
- graphviz lib:graphviz >=2999.20 && <2999.21
- text lib:text >=0
- transformers lib:transformers >=0.4 && <0.7
Reverse dependencies
Direct only. Not exhaustive.