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:

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
Change logNone available
Dependenciesbase (>=3.0 && <4.7), groupoids (>=0.1 && <3.1), semigroupoids (>=1.0 && <3.1)
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
UploadedSun Sep 16 19:40:22 UTC 2012 by GaborLehel
DistributionsLTSHaskell:0.5, NixOS:0.5, Stackage:0.5
Downloads5343 total (166 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees