Description
GHC.Generics style staged generics.
Description
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.