overeasy: A purely functional E-Graph library
Modules
[Index] [Quick Jump]
Downloads
- overeasy-0.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0, 0.1.1, 0.2.0 |
|---|---|
| Dependencies | algebraic-graphs (>=0.5 && <0.7), base (>=4.12 && <5), containers (>=0.6 && <0.7), deepseq (>=1.4 && <1.5), hashable (>=1.3 && <1.5), int-like (>=0.1.1 && <0.2), logict (>=0.7 && <0.9), mtl (>=2.2 && <2.3), recursion-schemes (>=5.2 && <5.3), text (>=1.2 && <2.1), transformers (>=0.5 && <0.7), unfree (>=0.1 && <0.2), unordered-containers (>=0.2 && <0.3) [details] |
| License | BSD-3-Clause |
| Copyright | (c) 2021 Eric Conlon |
| Author | Eric Conlon |
| Maintainer | ejconlon@gmail.com |
| Category | Data Structures |
| Home page | https://github.com/ejconlon/overeasy#readme |
| Bug tracker | https://github.com/ejconlon/overeasy/issues |
| Source repo | head: git clone https://github.com/ejconlon/overeasy |
| Uploaded | by ejconlon at 2022-10-04T15:16:34Z |
| Distributions | |
| Downloads | 189 total (5 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2022-10-04 [all 1 reports] |
Readme for overeasy-0.2.0
[back to package description]overeasy
A purely functional E-Graph library
Quick start
If you have stack installed (see below), try make ghci to hop into a REPL. Then try exampleMain or anything else from the Overeasy.Example module.
More on how to build and run
This repo is setup so you never have to cd out of the root directory.
To run the Haskell programs, you need stack installed on your system. This is an easy way to do so, but you can also check your package manager or use ghcup.
Most of the interesting stuff is going to be run in the test suite. Run it with make test. stack will get the appropriate Haskell compiler and package dependencies, and it will compile the project before running the test suite.