staged-gg: GHC.Generics style staged generics

[ bsd3, generics, library, staged ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1
Dependencies base (>=4.15 && <4.16), containers (>=0.6.4.1 && <0.7), generic-deriving (>=1.14 && <1.15), template-haskell (>=2.17.0.0 && <2.18), th-abstraction (>=0.4.2.0 && <0.5), th-lift (>=0.8.2 && <0.9) [details]
License BSD-3-Clause
Author Oleg Grenrus, Andres Löh
Maintainer Oleg Grenrus <oleg.grenrus@iki.fi>
Category Staged, Generics
Source repo head: git clone https://github.com/phadej/staged-gg.git
Uploaded by phadej at 2021-02-21T16:37:42Z
Distributions NixOS:0.1
Downloads 118 total (4 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]