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.
homepage ↗ github: hesselink/type-equality
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 1 | 1 | 15 h | details › |
| haskell GitHub ↗ | 1 | 1 | 2 d | details › |
Versions & arches
Use flags of 1
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- hscolour Include coloured haskell sources to generated documentation (dev-haskell/hscolour)
- profile Add support for software performance analysis (will likely vary from ebuild to ebuild)