data-reify-gadt: Data.Reify for GADTs

[ bsd3, data, library, program ] [ Propose Tags ] [ Report a vulnerability ]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0
Dependencies base (>=4.7 && <5), containers (>=0.7 && <0.8), data-reify-gadt, hashable (>=1.5.0.0 && <1.6), unordered-containers (>=0.2.20 && <0.3) [details]
Tested with ghc ==9.6.6, ghc ==9.8.4, ghc ==9.10.1, ghc ==9.12.1
License BSD-3-Clause
Copyright 2025 Arthur Jamet
Author Arthur Jamet
Maintainer aj530@kent.ac.uk
Category Data
Home page https://github.com/Arthi-chaud/data-reify-gadt#readme
Bug tracker https://github.com/Arthi-chaud/data-reify-gadt/issues
Source repo head: git clone https://github.com/Arthi-chaud/data-reify-gadt
Uploaded by ArthiChaud at 2025-02-27T12:10:21Z
Distributions
Executables example-ast
Downloads 12 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for data-reify-gadt-0.1.0.0

[back to package description]

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 uses GADTs.

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

Take a look at the examples/ directory.