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, this 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/type-equality

• http://hackage.haskell.org/package/eq

• http://hackage.haskell.org/package/ty

• http://hackage.haskell.org/package/dependent-sum

• http://hackage.haskell.org/package/categories (Data.Category.Discrete)

Modules

[Last Documentation]

Downloads

• type-eq-0.1.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• AdamBergmark, GaborLehel

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates