@hackage th-alpha0.1.0.2

Alpha equivalence for TH Exp

Categories
- Language
License
BSD-3-Clause
Maintainer
Julian K. Arni <jkarni@gmail.com>
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.2.1.0 Fri, 1 Jul 2016
- 0.2.0.2 Fri, 20 Feb 2015
- 0.2.0.1 Thu, 12 Feb 2015
- 0.2.0.0 Mon, 1 Sep 2014
- 0.1.0.2 Sat, 10 May 2014
- 0.1.0.1 Sat, 10 May 2014

Installation
In your cabal file:
Dependencies (3)
- base >=4 && <5
- template-haskell
- th-desugar
Dependents (1)
@hackage/acme-everything

Compare TH expressions (or clauses, patterns, etc.) for alpha equivalence. That is, compare for equality modulo the renaming of bound variables.

>>>

This can be useful when for instance testing libraries that use Template Haskell - usually correctness is only defined up to alpha equivalence.