packages feed

unbound-generics 0.0.2 → 0.0.2.1

raw patch · 4 files changed

+6/−9 lines, 4 filesdep +transformers-compatPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies added: transformers-compat

API changes (from Hackage documentation)

- Unbound.Generics.LocallyNameless.Name: instance Typeable1 Name
+ Unbound.Generics.LocallyNameless.Name: instance Typeable Name

Files

Changelog.md view
@@ -1,3 +1,7 @@+# 0.0.2.1++* Unconditionally add ErrorT and ExceptT instances using transformers-compat (bergmark)+ # 0.0.2  * Add 'Rec' pattern and 'TRec' term combinators.
src/Unbound/Generics/LocallyNameless/Fresh.hs view
@@ -20,9 +20,7 @@ import Control.Monad.Identity  import Control.Monad.Trans-#if MIN_VERSION_transformers(0,4,0) import Control.Monad.Trans.Except-#endif import Control.Monad.Trans.Error import Control.Monad.Trans.Maybe import Control.Monad.Trans.Reader@@ -100,10 +98,8 @@ instance (Error e, Fresh m) => Fresh (ErrorT e m) where   fresh = lift . fresh -#if MIN_VERSION_transformers(0,4,0) instance Fresh m => Fresh (ExceptT e m) where   fresh = lift . fresh-#endif  instance Fresh m => Fresh (MaybeT m) where   fresh = lift . fresh
src/Unbound/Generics/LocallyNameless/LFresh.hs view
@@ -69,9 +69,7 @@  import Control.Monad.Trans.Cont import Control.Monad.Trans.Error-#if MIN_VERSION_transformers(0,4,0) import Control.Monad.Trans.Except-#endif import Control.Monad.Trans.Identity import Control.Monad.Trans.List import Control.Monad.Trans.Maybe@@ -147,12 +145,10 @@   avoid  = mapErrorT . avoid   getAvoids = lift getAvoids -#if MIN_VERSION_transformers(0,4,0) instance LFresh m => LFresh (ExceptT e m) where   lfresh = lift . lfresh   avoid = mapExceptT . avoid   getAvoids = lift getAvoids-#endif  instance LFresh m => LFresh (IdentityT m) where   lfresh = lift . lfresh
unbound-generics.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                unbound-generics-version:             0.0.2+version:             0.0.2.1 synopsis:            Reimplementation of Unbound using GHC Generics description:         Specify the binding structure of your data type with an                      expressive set of type combinators, and unbound-generics@@ -50,6 +50,7 @@   build-depends:       base >=4.6 && <5,                        mtl >= 2.1,                        transformers >= 0.3,+                       transformers-compat >= 0.3,                        containers == 0.5.*,                        contravariant >= 0.5   hs-source-dirs:      src