The latest version of type-equality is 1.0.1-0.
type-equality
Version 0.1.0.1 revision 0 uploaded by ErikHesselink.
Package meta
- Synopsis
- Type equality, coercion/cast and other operations.
- Description
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.
- Author
- Erik Hesselink, Martijn van Steenbergen
- Bug reports
- n/a
- Category
- Data
- Copyright
- n/a
- Homepage
- http://github.com/hesselink/type-equality/
- Maintainer
- hesselink@gmail.com
- Package URL
- n/a
- Stability
- experimental