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

[ development, library, mit ] [ Propose Tags ]

Template Haskell routine for generating from type family Foo

FooRefl
a GADT capturing the equalities of each type family clause
reify_Foo
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 [faq] 0.0, 0.0.0.1, 0.1, 0.1.1, 0.1.1.1, 0.1.1.2
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 Tue Nov 13 12:26:30 UTC 2018
Distributions NixOS:0.1.1.2
Downloads 2116 total (205 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2018-11-13 [all 2 reports]

Modules

  • TyFamWitnesses

Downloads

Maintainer's Corner

For package maintainers and hackage trustees