tyfam-witnesses: Provide proof witnesses for closed type family evaluation

[ development, library, mit ] [ Propose Tags ] [ Report a vulnerability ]

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!

Modules

TyFamWitnesses

Downloads

tyfam-witnesses-0.0.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

GaborGreif

For package maintainers and hackage trustees

edit package information

Candidates

0.1.1.2

Versions [RSS]	0.0, 0.0.0.1, 0.1, 0.1.1, 0.1.1.1, 0.1.1.2
Dependencies	base (>=4.10 && <4.11), containers (>=0.5), template-haskell (>=2.12 && <2.13) [details]
License	MIT
Copyright	© Gabor Greif, 2017
Author	Gabor Greif
Maintainer	ggreif+tyfam@gmail.com
Category	Development
Uploaded	by GaborGreif at 2017-10-08T20:27:47Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	3764 total (0 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2017-10-08 [all 3 reports]