@hackage / staged-gg

GHC.Generics style staged generics

Latest0.1

About

Metadata

  • Last updated , by phadej
  • License BSD-3-Clause
  • Categories Generics

  • Maintained by: Oleg Grenrus <oleg.grenrus@iki.fi>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.0.1

Readme

GHC.Generics style staged generics.

See https://www.andres-loeh.de/StagedSOP/ paper for description of staged-sop, which is staged version of generics-sop. The non generics-sop specific parts like sections on Typed Template Haskell, and Type Template Haskell and Constraints, are applicable to staged-gg as well.

This package is an EXPERIMENTAL proof-of-concept. It works if you do not do anything fancy. Because of current GHC Typed Template Haskell limitations, quite simple things are "fancy". See https://github.com/phadej/staged-gg/tree/master/staged-gg-examples for examples what you can do regardless.