The eq package

[Tags: bsd3, library]

GADT-based type-level equality


Properties

Versions0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.3.3.1, 0.3.4, 0.3.4.1, 0.3.4.2, 0.3.4.3, 0.3.5, 0.3.6, 0.3.7, 0.3.7.1, 3.0, 3.1, 3.1.1, 4.0, 4.0.1
Dependenciesbase (==4.*), semigroupoids (>=1.1.1 && <1.2.0)
LicenseBSD3
CopyrightCopyright (C) 2011 Edward A. Kmett, Dan Doel
AuthorEdward A. Kmett
MaintainerEdward A. Kmett <ekmett@gmail.com>
Stabilityprovisional
CategoryType System
Home pagehttp://github.com/ekmett/eq/
Source repositoryhead: git clone git://github.com/ekmett/eq.git
Upload dateSat Feb 5 12:11:06 UTC 2011
Uploaded byEdwardKmett
Downloads1075 total (121 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees