The type-eq package

[Tags: bsd3, library]

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:

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, 0.5
Change logNone available
Dependenciesbase (>=3.0 && <4.9) [details]
CopyrightCopyright (C) 2012-2013 Gábor Lehel
AuthorGábor Lehel
MaintainerGábor Lehel <>
CategoryType System
Home page
Source repositoryhead: git clone git://
UploadedTue Feb 10 12:16:11 UTC 2015 by GaborLehel
DistributionsLTSHaskell:0.5, NixOS:0.5, Stackage:0.5
Downloads5799 total (132 in last 30 days)
0 []
StatusDocs available [build log]
Last success reported on 2015-05-21 [all 2 reports]




Maintainers' corner

For package maintainers and hackage trustees