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 ifPolyKinds
are available, but are specific to kind*
otherwise.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 ifPolyKinds
are available.
Major required extensions: GADTs
, TypeFamilies
(for ~
), Rank2Types
, TypeOperators
Optional extensions: PolyKinds
(GHC 7.6+)
Minimum GHC: 6.10
Related packages:
Downloads
- type-eq-0.5.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
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'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 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] |
License | BSD-3-Clause |
Copyright | Copyright (C) 2012-2013 Gábor Lehel |
Author | Gábor Lehel |
Maintainer | Gábor Lehel <glaebhoerl@gmail.com> |
Revised | Revision 1 made by AdamBergmark at 2016-06-21T11:10:36Z |
Category | Type System |
Home page | http://github.com/glaebhoerl/type-eq |
Source repo | head: git clone git://github.com/glaebhoerl/type-eq.git |
Uploaded | by GaborLehel at 2015-02-10T12:16:11Z |
Distributions | |
Reverse Dependencies | 4 direct, 23 indirect [details] |
Downloads | 12698 total (22 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2015-05-21 [all 2 reports] |