The type-eq package
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 PolyKinds are available, but are specific to kind * otherwise.
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 PolyKinds are available.
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: GADTs, TypeFamilies (for ~), Rank2Types, TypeOperators
Optional extensions: PolyKinds (GHC 7.6+)
Minimum GHC: 6.10
Related packages:
http://hackage.haskell.org/package/categories (Data.Category.Discrete)
Properties
| Versions | 0.1, 0.1.1, 0.1.2, 0.2 |
|---|---|
| Dependencies | base (≥3.0 & <4.6) |
| License | BSD3 |
| Copyright | Copyright (C) 2012 Gábor Lehel |
| Author | Gábor Lehel |
| Maintainer | Gábor Lehel <illissius@gmail.com> |
| Stability | experimental |
| Category | Type System |
| Home page | http://github.com/glehel/type-eq |
| Source repository | git clone git://github.com/glehel/type-eq.git |
| Upload date | Wed Jul 4 14:55:40 UTC 2012 |
| Uploaded by | GaborLehel |
| Built on | ghc-7.4 |
Modules
Downloads
- type-eq-0.1.2.tar.gz (Cabal source package)
- package description (included in the package)