The type-eq package

[Tags: bsd3, library]

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:

Major required extensions: GADTs, TypeFamilies (for ~), Rank2Types, TypeOperators

Optional extensions: PolyKinds (GHC 7.6+)

Minimum GHC: 6.10

Related packages:


Versions0.1, 0.1.1, 0.1.2, 0.2, 0.2.1, 0.3, 0.4, 0.4.1, 0.4.2
Dependenciesbase (>=3.0 && <4.7)
CopyrightCopyright (C) 2012 Gábor Lehel
AuthorGábor Lehel
MaintainerGábor Lehel <>
CategoryType System
Home page
Source repositoryhead: git clone git://
Upload dateFri Sep 27 16:28:18 UTC 2013
Uploaded byGaborLehel
DistributionsNixOS:0.4.2, Stackage:0.4.2
Downloads3994 total (258 in last 30 days)




Maintainers' corner

For package maintainers and hackage trustees