type-eq: Type equality evidence you can carry around
This package provides types and combinators to store and manipulate evidence of equality between types.
To take advantage of kind-polymorphism when it is available but not require it, it is split into the following primary modules:
Type.Eq: Types and combinators which can be kind-polymorphic if
PolyKindsare available, but are specific to kind
Type.Eq.Higher: Kind-monomorphic types and combinators of higher kind, up to
* -> * -> *.
Type.Eq.Poly: Combinators that require kind-polymorphism. This module is only available if
Support for kind-polymorphism first appeared with GHC 7.4, but because it is too buggy to be practical, it will only be enabled with GHC 7.6.
Major required extensions:
PolyKinds (GHC 7.6+)
Minimum GHC: 6.10
|Versions [faq]||0.1, 0.1.1, 0.1.2, 0.2, 0.2.1, 0.3, 0.4, 0.4.1, 0.4.2, 0.5|
|Dependencies||base (>=3.0 && <4.6), groupoids (>=0.1 && <0.3), semigroupoids (>=1.0 && <1.4) [details]|
|Copyright||Copyright (C) 2012 Gábor Lehel|
|Maintainer||Gábor Lehel <email@example.com>|
|Source repo||head: git clone git://github.com/glehel/type-eq.git|
|Uploaded||by GaborLehel at 2012-07-04T14:55:40Z|
|Downloads||11744 total (3 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees