tyfam-witnesses: Provide proof witnesses for closed type family evaluation

[ 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!

See changelog.md for known bugs.

Versions 0.0,, 0.1, 0.1.1,
Change log changelog.md
Dependencies base (==4.10.*), containers (>=0.5), template-haskell (==2.12.*) [details]
License MIT
Copyright © Gabor Greif, 2017
Author Gabor Greif
Maintainer ggreif+tyfam@gmail.com
Category Development
Uploaded by GaborGreif at Sun Oct 15 17:22:59 UTC 2017
Distributions NixOS:
Downloads 927 total (14 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-15 [all 3 reports]
Hackage Matrix CI


  • TyFamWitnesses


Maintainer's Corner

For package maintainers and hackage trustees