@hackage staged-gg0.1

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.