The latest version of tyfam-witnesses is 0.1.1.2-0.

tyfam-witnesses

Version 0.0 revision 0 uploaded by GaborGreif.

Package meta

Synopsis
Provide proof witnesses for closed type family evaluation
Description

Template Haskell routine for generating - GADT capturing the equalities of each type family clause - a function that analyses TypeReps and reify the matching clause

Author
Gabor Greif
Bug reports
n/a
Category
Development
Copyright
© Gabor Greif, 2017
Homepage
n/a
Maintainer
ggreif+tyfam@gmail.com
Package URL
n/a
Stability
n/a

Components