# 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 [RSS] [faq] | 0.1.0, 0.1.0.1, 0.1.0.2, 0.1.1, 0.1.2, 1 |
---|---|

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 2012-11-26T10:32:17Z |

Distributions | Arch:1, Fedora:1, LTSHaskell:1, NixOS:1, Stackage:1, openSUSE:1 |

Downloads | 16769 total (771 in the last 30 days) |

Rating | (no votes yet) [estimated by Bayesian average] |

Your Rating | |

Status | Docs uploaded by user Build status unknown [no reports yet] |

## Downloads

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

#### Maintainer's Corner

For package maintainers and hackage trustees

Candidates