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.


  • TyFamWitnesses


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS] 0.0,, 0.1, 0.1.1,,
Change log changelog.md
Dependencies base (>=4.10 && <4.13), containers (>=0.5), template-haskell (>=2.12 && <2.15) [details]
License MIT
Copyright © Gabor Greif, 2017-2018
Author Gabor Greif
Maintainer ggreif+tyfam@gmail.com
Category Development
Uploaded by GaborGreif at 2018-11-13T12:26:30Z
Distributions NixOS:
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3471 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2018-11-13 [all 2 reports]