tyfam-witnesses

Version 0.0.0.1 revision 0 uploaded 2017-10-08T20:27:47.000Z by GaborGreif.

Package meta

Synopsis

Provide proof witnesses for closed type family evaluation

Description

Template Haskell routine for generating form 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!

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

• lib:tyfam-witnesses