type-equality: Type equality, coercion/cast and other operations.
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.
| Versions | 0.1.0, 0.1.0.1, 0.1.0.2, 0.1.1, 0.1.2 |
|---|---|
| Change log | CHANGELOG |
| Dependencies | base (>=3 && <5) [details] |
| License | BSD-3-Clause |
| Author | Erik Hesselink, Martijn van Steenbergen |
| Maintainer | hesselink@gmail.com |
| Category | Data |
| Home page | http://github.com/hesselink/type-equality/ |
| Source repo | head: git clone git://github.com/hesselink/type-equality.git |
| Uploaded | by ErikHesselink at Sat May 11 19:19:49 UTC 2013 |
| Distributions | NixOS:0.1.2 |
| Downloads | 2248 total (12 in the last 30 days) |
| Rating | (no votes yet) [estimated by rule of succession] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] Hackage Matrix CI |
Downloads
- type-equality-0.1.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)