unbound-generics 0.3 → 0.3.1
raw patch · 6 files changed
+13/−7 lines, 6 files
Files
- Changelog.md +6/−0
- LICENSE +1/−1
- README.md +1/−0
- src/Unbound/Generics/LocallyNameless/Subst.hs +1/−1
- test/Calc.hs +0/−1
- unbound-generics.cabal +4/−4
Changelog.md view
@@ -1,3 +1,9 @@+# 0.3.1++* Tested with GHC 8.0.1+* Removed `Generic b` constraint from `Subst b (Name a)` instance.++ # 0.3 * Change types of `open` and `close` to take `NthPatFind` and `NamePatFind` instead of generic patterns, update call sites.
LICENSE view
@@ -1,4 +1,4 @@-Copyright (c) 2014, Aleksey Kliger+Copyright (c) 2014-2016, Aleksey Kliger All rights reserved.
README.md view
@@ -2,6 +2,7 @@ [](https://gitter.im/lambdageek/unbound-generics?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge) +[](https://hackage.haskell.org/package/unbound-generics) [](https://travis-ci.org/lambdageek/unbound-generics) Support for programming with names and binders using GHC Generics.
src/Unbound/Generics/LocallyNameless/Subst.hs view
@@ -169,7 +169,7 @@ instance (Subst c a) => Subst c (Maybe a) instance (Subst c a, Subst c b) => Subst c (Either a b) -instance Generic a => Subst b (Name a) where subst _ _ = id ; substs _ = id+instance Subst b (Name a) where subst _ _ = id ; substs _ = id instance Subst b AnyName where subst _ _ = id ; substs _ = id instance (Subst c a) => Subst c (Embed a)
test/Calc.hs view
@@ -14,7 +14,6 @@ import Unbound.Generics.LocallyNameless import Unbound.Generics.LocallyNameless.Internal.Fold (toListOf)-import Unbound.Generics.LocallyNameless.TH -- variables will range over expressions type Var = Name Expr
unbound-generics.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: unbound-generics-version: 0.3+version: 0.3.1 synopsis: Support for programming with names and binders using GHC Generics description: Specify the binding structure of your data type with an expressive set of type combinators, and unbound-generics@@ -12,7 +12,7 @@ @Unbound.Generics.LocallyNameless@ to get started. . This is an independent re-implementation of <http://hackage.haskell.org/package/unbound Unbound>- but using <http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.7.0.1/GHC-Generics.html GHC.Generics>+ but using <http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.9.0.0/GHC-Generics.html GHC.Generics> instead of <http://hackage.haskell.org/package/RepLib RepLib>. See the accompanying README for some porting notes. @@ -22,14 +22,14 @@ license-file: LICENSE author: Aleksey Kliger maintainer: aleksey@lambdageek.org-copyright: (c) 2014-2015, Aleksey Kliger+copyright: (c) 2014-2016, Aleksey Kliger category: Language build-type: Simple extra-source-files: examples/*.hs, README.md, Changelog.md cabal-version: >=1.10-tested-with: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3+tested-with: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1 library exposed-modules: Unbound.Generics.LocallyNameless