https://hackage.haskell.org/package/hegg

Hackage :: [Package]

  * Search  [                    ]
  * Browse
  * What's new
  * Upload
  * User accounts

hegg: Fast equality saturation in Haskell

[ bsd3, data, library ] [ Propose Tags ]

Fast equality saturation and equality graphs based on "egg: Fast and
Extensible Equality Saturation" and "Relational E-matching".

This package provides e-graphs (see Data.Equality.Graph), a data
structure which efficiently represents a congruence relation over
many expressions

Secondly, it provides functions for doing equality saturation (see
Data.Equality.Saturation), an optimization/term-rewriting technique
that applies rewrite rules non-destructively to an expression
represented in an e-graph until saturation, and then extracts the
best representation.

Equality matching (see Data.Equality.Matching) is done as described
in "Relational E-Matching"

For a walkthrough of writing a simple symbolic simplification program
see the hegg symbolic tutorial.

Additional information can be found in the README.

[v1]

Modules

[Index] [Quick Jump]

  * Data
      + Equality
          o Data.Equality.Analysis
          o Data.Equality.Extraction
          o Data.Equality.Graph
              # Data.Equality.Graph.Classes
                  @ Data.Equality.Graph.Classes.Id
              # Data.Equality.Graph.Dot
              # Data.Equality.Graph.Lens
              # Data.Equality.Graph.Monad
              # Data.Equality.Graph.Nodes
              # Data.Equality.Graph.ReprUnionFind
          o Data.Equality.Language
          o Data.Equality.Matching
              # Data.Equality.Matching.Database
              # Data.Equality.Matching.Pattern
          o Data.Equality.Saturation
              # Data.Equality.Saturation.Rewrites
              # Data.Equality.Saturation.Scheduler
          o Data.Equality.Utils
              # Data.Equality.Utils.IntToIntMap

Flags

Manual Flags

 Name                       Description                      Default
vizdot Compile Data.Equality.Graph.Dot module to visualize   Disabled
       e-graphs

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. 
More info

Downloads

  * hegg-0.1.0.0.tar.gz [browse] (Cabal source package)
  * Package description (as included in the package)

Maintainer's Corner

For package maintainers and hackage trustees

  * edit package information

Candidates

  * 0.1.0.0

Versions [RSS 0.1.0.0
      ]
 Change log   CHANGELOG.md
Dependencies  base (>=4.4 && <5), containers (>=0.4 && <0.7), 
              transformers (>=0.4 && <0.7) [details]
   License    BSD-3-Clause
  Copyright   Copyright (C) 2022 Rodrigo Mesquita
   Author     Rodrigo Mesquita <romes>
 Maintainer   Rodrigo Mesquita <rodrigo.m.mesquita@gmail.com>
  Category    Data
  Home page   https://github.com/alt-romes/hegg
 Bug tracker  https://github.com/alt-romes/hegg/issues
 Source repo  head: git clone https://github.com/alt-romes/hegg
  Uploaded    by romes at 2022-08-25T22:23:31Z
Distributions
  Downloads   8 total (8 in the last 30 days)
   Rating     (no votes yet) [estimated by Bayesian average]
                * l
 Your Rating    * l
                * l

   Status     Docs uploaded by user
              Build status unknown [no reports yet]

Produced by hackage and Cabal 3.6.3.0.