tyfam-witnesses
Version 0.1.1.2 revision 0 uploaded by GaborGreif.
Package meta
- Synopsis
- Provide proof witnesses for closed type family evaluation
- Description
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.
- Author
- Gabor Greif
- Bug reports
- n/a
- Category
- Development
- Copyright
- © Gabor Greif, 2017-2018
- Homepage
- n/a
- Maintainer
- ggreif+tyfam@gmail.com
- Package URL
- n/a
- Stability
- experimental