lib:hegg

Modules

• Data.Equality.Analysis
• 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
• containers lib:containers >=0.4 && <0.7
• graphviz lib:graphviz >=2999.6 && <2999.7
• transformers lib:transformers >=0.4 && <0.7

Reverse dependencies

Direct only. Not exhaustive.

• hegg bench:hegg-bench
• hegg test:hegg-test
• pandoc-symreg exe:pandoc-symreg
• pandoc-symreg lib:pandoc-symreg
• pandoc-symreg test:pandoc-symreg-test