The tyfam-witnesses package

[ Tags: development, library, mit ] [ Propose Tags ]

Template Haskell routine for generating from type family $Foo$

a GADT capturing the equalities of each type family clause
a function that analyses TypeReps and reifies the matching clause as a FooRefl

Note that Type.Reflection is new with GHC v8.2!


Versions 0.0,, 0.1, 0.1.1,
Change log
Dependencies base (==4.10.*), containers (>=0.5), template-haskell (==2.12.*) [details]
License MIT
Copyright © Gabor Greif, 2017
Author Gabor Greif
Category Development
Uploaded Thu Oct 12 12:52:25 UTC 2017 by GaborGreif
Distributions NixOS:
Downloads 759 total (35 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-10-12 [all 3 reports]
Hackage Matrix CI


  • TyFamWitnesses


Maintainer's Corner

For package maintainers and hackage trustees