tyfam-witnesses

Provide proof witnesses for closed type family evaluation

Latest on Hackage:0.1.1.2

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

MIT licensed by Gabor Greif
Maintained by [email protected]

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.