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

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

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.

Modules

TyFamWitnesses

Downloads

tyfam-witnesses-0.1.1.2.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
Change log	changelog.md
Dependencies	base (>=4.10 && <4.13), containers (>=0.5), template-haskell (>=2.12 && <2.15) [details]
Tested with	ghc ==8.2.1, ghc ==8.2.2, ghc ==8.4.3, ghc ==8.4.4, ghc ==8.6.2
License	MIT
Copyright	© Gabor Greif, 2017-2018
Author	Gabor Greif
Maintainer	ggreif+tyfam@gmail.com
Category	Development
Uploaded	by GaborGreif at 2018-11-13T12:26:30Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	3716 total (14 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 2018-11-13 [all 2 reports]