# The type-equality package

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.

## Properties

Versions | 0.1.0, 0.1.0.1, 0.1.0.2, 0.1.1, 0.1.2 |
---|---|

Dependencies | base (>=3 && <5) |

License | BSD3 |

Author | Erik Hesselink, Martijn van Steenbergen |

Maintainer | hesselink@gmail.com |

Stability | experimental |

Category | Data |

Home page | http://github.com/hesselink/type-equality/ |

Source repository | head: git clone git://github.com/hesselink/type-equality.git |

Upload date | Sat May 11 19:19:49 UTC 2013 |

Uploaded by | ErikHesselink |

Distributions | NixOS:0.1.2 |

Downloads | 730 total (40 in last 30 days) |

## Modules

*Data*

[Index]

## Downloads

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

#### Maintainers' corner

For package maintainers and hackage trustees