@hackage data-reify-gadt0.1.0.1

Data.Reify for GADTs

Categories
License
BSD-3-Clause
Maintainer
aj530@kent.ac.uk
Links
Versions
- 0.1.0.1 Sun, 13 Apr 2025
- 0.1.0.0 Thu, 27 Feb 2025

Installation
In your cabal file:
Tested Compilers
Dependencies (4)
- base >=4.7 && <5
- containers
- hashable
- unordered-containers
Dependents (0)

`Data.Reify.GADT`

data-reify-gadt is a rewrite of data-reify to make the library usable with GADTs.

With this implementation, it is possible to use data-reify's technique to make a graph out of typed ASTs that use GADTs.

The logic is the same, only the type definition changes slightly.

Take a look at the examples/ directory.