@hackage tyfam-witnesses0.1.1

Provide proof witnesses for closed type family evaluation

Categories
- Development
License
MIT
Maintainer
ggreif+tyfam@gmail.com
Links
- 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

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

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!