@hackage / data-reify-gadt

Data.Reify for GADTs

Latest0.1.0.1

About

Metadata

  • Last updated , by ArthiChaud
  • License BSD-3-Clause

  • Maintained by: aj530@kent.ac.uk

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.12.1
  2. 9.10.1
  3. 9.8.4
  4. 9.6.6

Readme

Data.Reify.GADT

Hackage Version Doc CI

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.