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:

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:


Properties

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.6)
LicenseBSD3
CopyrightCopyright (C) 2012 Gábor Lehel
AuthorGábor Lehel
MaintainerGábor Lehel <illissius@gmail.com>
Stabilityexperimental
CategoryType System
Home pagehttp://github.com/glehel/type-eq
Source repositoryhead: git clone git://github.com/glehel/type-eq.git
Upload dateWed Jul 4 14:55:40 UTC 2012
Uploaded byGaborLehel
DistributionsNixOS:0.4.2
Downloads3762 total (263 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees