@hackage tyfam-witnesses0.1.1.2

Provide proof witnesses for closed type family evaluation

Categories
- Development
License
MIT
Maintainer
ggreif+tyfam@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Changelog
Versions
- 0.1.1.2 Tue, 13 Nov 2018
- 0.1.1.1 Sun, 15 Oct 2017
- 0.1.1 Thu, 12 Oct 2017
- 0.1 Thu, 12 Oct 2017
- 0.0.0.1 Sun, 8 Oct 2017
- 0.0 Sun, 8 Oct 2017

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.

Installation
In your cabal file:
Tested Compilers
Dependencies (3)
- base >=4.10 && <4.13
- containers >=0.5
- template-haskell >=2.12 && <2.15
Dependents (1)
@hackage/acme-everything