th-alpha-0.1.0.2: th-alpha.cabal
-- Initial th-alpha.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: th-alpha
version: 0.1.0.2
synopsis: Alpha equivalence for TH Exp
description:
Compare TH expressions (or clauses, patterns, etc.) for alpha equivalence.
That is, compare for equality modulo the renaming of bound variables.
.
>>> areExpAEq [| \x -> x |] [| \y -> y |]
True
.
This can be useful when for instance testing libraries that use Template
Haskell - usually correctness is only defined up to alpha equivalence.
license: BSD3
license-file: LICENSE
author: Julian K. Arni
maintainer: Julian K. Arni <jkarni@gmail.com>
copyright: Julian K. Arni
category: Language
build-type: Simple
cabal-version: >=1.10
stability: alpha
homepage: https://github.com/jkarni/th-alpha
bug-reports: https://github.com/jkarni/th-alpha/issues
library
exposed-modules: Language.Haskell.TH.Alpha
build-depends: base >=4 && <5
, template-haskell
, th-desugar
hs-source-dirs: src
default-language: Haskell2010
Test-Suite test
type: exitcode-stdio-1.0
hs-source-dirs: tests
main-is: tests.hs
build-depends: base >= 4 && < 5
, th-alpha
, template-haskell
, tasty >= 0.8
, tasty-hunit
default-language: Haskell2010