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.
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.7) |
| 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 | Sun Sep 16 19:40:22 UTC 2012 |
| Uploaded by | GaborLehel |
| Built on | ghc-7.6 |
Modules
Downloads
- type-eq-0.2.tar.gz (Cabal source package)
- package description (included in the package)