type-eq: Type equality evidence you can carry around
This package provides types and functions 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 functions which can be kind-polymorphic if
PolyKindsare available, but are specific to kind
Type.Eq.Higher: Kind-monomorphic types and functions of higher kind, up to
* -> * -> *.
Type.Eq.Poly: Combinators that require kind polymorphism. This module is only available if
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.10) [details]|
|Copyright||Copyright (C) 2012-2013 Gábor Lehel|
|Maintainer||Gábor Lehel <email@example.com>|
|Revised||Revision 1 made by AdamBergmark at Tue Jun 21 11:10:36 UTC 2016|
|Source repo||head: git clone git://github.com/glaebhoerl/type-eq.git|
|Uploaded||by GaborLehel at Tue Feb 10 12:16:11 UTC 2015|
|Downloads||8825 total (127 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Last success reported on 2015-05-21 [all 2 reports]
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
For package maintainers and hackage trustees