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.

Modules

[Last Documentation]

Downloads

• type-equality-0.1.0.1.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• ErikHesselink, phadej, ryanglscott

For package maintainers and hackage trustees

• edit package information

Candidates

• 1