https://github.com/arthi-chaud/data-reify-gadt

'data-reify' for GADT
https://github.com/arthi-chaud/data-reify-gadt

ast gadt haskell

Last synced: 3 months ago
JSON representation

'data-reify' for GADT

• Host: GitHub
• URL: https://github.com/arthi-chaud/data-reify-gadt
• Owner: Arthi-chaud
• License: bsd-3-clause
• Created: 2025-02-27T09:51:22.000Z (3 months ago)
• Default Branch: main
• Last Pushed: 2025-02-27T13:10:38.000Z (3 months ago)
• Last Synced: 2025-02-27T13:46:27.140Z (3 months ago)
• Topics: ast, gadt, haskell
• Language: Haskell
• Homepage: https://hackage.haskell.org/package/data-reify-gadt
• Size: 15.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# `Data.Reify.GADT`

[![Hackage Version](https://img.shields.io/hackage/v/data-reify-gadt)](https://hackage.haskell.org/package/data-reify-gadt)

[![Doc](https://img.shields.io/badge/Documentation-Haddock-purple)](https://hackage.haskell.org/package/data-reify-gadt-0.1.0.0/docs/Data-Reify-GADT.html)

[![CI](https://github.com/Arthi-chaud/data-reify-gadt/actions/workflows/CI.yml/badge.svg)](https://github.com/Arthi-chaud/data-reify-gadt/actions/workflows/CI.yml)

`data-reify-gadt` is a rewrite of [`data-reify`](https://hackage.haskell.org/package/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.