@hackage tyfam-witnesses0.0

Provide proof witnesses for closed type family evaluation

Categories
- Development
License
MIT
Maintainer
ggreif+tyfam@gmail.com
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.1.1.2 Tue, 13 Nov 2018
- 0.1.1.1 Sun, 15 Oct 2017
- 0.1.1 Thu, 12 Oct 2017
- 0.1 Thu, 12 Oct 2017
- 0.0.0.1 Sun, 8 Oct 2017
- 0.0 Sun, 8 Oct 2017

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

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything

@hackage tyfam-witnesses0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)