@hackage / tyfam-witnesses

Provide proof witnesses for closed type family evaluation

Latest0.1.1.2

Metadata

Last updated 13 Nov 2018, by GaborGreif
License MIT
Categories Development
Maintained by: ggreif+tyfam@gmail.com
Lottery factor: 0

Links

Documentation
No source repository

Installation

Add this line in your cabal file

Tested Compilers

8.6.2
8.4.4
8.4.3
8.2.2

Readme

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.