The tyfam-witnesses package

[ Tags: development, library, mit ] [ Propose Tags ]

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.

Properties

Versions 0.0, 0.0.0.1, 0.1, 0.1.1, 0.1.1.1
Change log changelog.md
Dependencies base (==4.10.*), containers (>=0.5), template-haskell (==2.12.*) [details]
License MIT
Copyright © Gabor Greif, 2017
Author Gabor Greif
Maintainer ggreif+tyfam@gmail.com
Category Development
Uploaded Sun Oct 15 17:22:59 UTC 2017 by GaborGreif
Distributions
Downloads 147 total (147 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-10-15 [all 3 reports]
Hackage Matrix CI

Modules

  • TyFamWitnesses

Downloads

Maintainer's Corner

For package maintainers and hackage trustees