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:


Properties

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
Dependenciesbase (>=3.0 && <4.9)
LicenseBSD3
CopyrightCopyright (C) 2012-2013 Gábor Lehel
AuthorGábor Lehel
MaintainerGábor Lehel <glaebhoerl@gmail.com>
Stabilityexperimental
CategoryType System
Home pagehttp://github.com/glaebhoerl/type-eq
Source repositoryhead: git clone git://github.com/glaebhoerl/type-eq.git
UploadedTue Feb 10 12:16:11 UTC 2015 by GaborLehel
DistributionsLTSHaskell:0.4.2, NixOS:0.5, Stackage:0.5
Downloads4834 total (242 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-02-12 [all 1 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees