The type-equality package

[Tags: bsd3, library]

In the presence of GADTs, sometimes a proof is needed that two types are equal. This package contains an equality type for this purpose, plus its properties (reflexive, symmetric, transitive) and some useful operations (substitution, congruence, coercion/cast). It also contains a type class for producing equality proofs, providing some form of decidable equality on types.

Properties

Versions0.1.0, 0.1.0.1, 0.1.0.2, 0.1.1, 0.1.2
Change logNone available
DependenciesNone
LicenseBSD3
AuthorErik Hesselink, Martijn van Steenbergen
Maintainerhesselink@gmail.com
Stabilityexperimental
CategoryData
Home pagehttp://github.com/hesselink/type-equality/
Source repositoryhead: git clone git://github.com/hesselink/type-equality.git
UploadedWed Aug 10 08:28:46 UTC 2011 by ErikHesselink
DistributionsNixOS:0.1.2
Downloads1140 total (44 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees