Hello community, here is the log from the commit of package ghc-keys for openSUSE:Factory checked in at 2016-06-02 09:39:44 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-keys (Old) and /work/SRC/openSUSE:Factory/.ghc-keys.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Package is "ghc-keys" Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-keys/ghc-keys.changes 2015-11-26 17:02:38.000000000 +0100 +++ /work/SRC/openSUSE:Factory/.ghc-keys.new/ghc-keys.changes 2016-06-02 09:39:45.000000000 +0200 @@ -1,0 +2,8 @@ +Wed Jun 1 11:02:10 UTC 2016 - mimi.vx@gmail.com + +- update to 3.11 +* Support for comonad 5 +* Support for GHC 8 +* Support for transformers 0.5 + +------------------------------------------------------------------- Old: ---- keys-3.10.2.tar.gz New: ---- keys-3.11.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-keys.spec ++++++ --- /var/tmp/diff_new_pack.yeAvDS/_old 2016-06-02 09:39:46.000000000 +0200 +++ /var/tmp/diff_new_pack.yeAvDS/_new 2016-06-02 09:39:46.000000000 +0200 @@ -18,7 +18,7 @@ %global pkg_name keys Name: ghc-keys -Version: 3.10.2 +Version: 3.11 Release: 0 Summary: Keyed functors and containers Group: System/Libraries ++++++ keys-3.10.2.tar.gz -> keys-3.11.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/keys-3.10.2/CHANGELOG.markdown new/keys-3.11/CHANGELOG.markdown --- old/keys-3.10.2/CHANGELOG.markdown 2015-05-18 03:59:57.000000000 +0200 +++ new/keys-3.11/CHANGELOG.markdown 2016-01-17 03:34:14.000000000 +0100 @@ -1,10 +1,16 @@ +3.11 +-------- +* Support for `comonad` 5 +* Support for GHC 8 +* Support for `transformers` 0.5 + 3.10.2 ------ -* Support for `semigroupoids` 5. +* Support for `semigroupoids` 5 3.10.1 ------ -* Support for `transformers` 0.4. +* Support for `transformers` 0.4 3.10 ---- diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/keys-3.10.2/LICENSE new/keys-3.11/LICENSE --- old/keys-3.10.2/LICENSE 2015-05-18 03:59:57.000000000 +0200 +++ new/keys-3.11/LICENSE 2016-01-17 03:34:14.000000000 +0100 @@ -1,4 +1,4 @@ -Copyright 2011 Edward Kmett +Copyright 2011-2016 Edward Kmett All rights reserved. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/keys-3.10.2/README.markdown new/keys-3.11/README.markdown --- old/keys-3.10.2/README.markdown 2015-05-18 03:59:57.000000000 +0200 +++ new/keys-3.11/README.markdown 2016-01-17 03:34:14.000000000 +0100 @@ -1,7 +1,7 @@ keys ==== -[](http://travis-ci.org/ekmett/keys) +[](https://hackage.haskell.org/package/keys) [](http://travis-ci.org/ekmett/keys) This package provides a bunch of ad hoc classes for accessing parts of a container. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/keys-3.10.2/keys.cabal new/keys-3.11/keys.cabal --- old/keys-3.10.2/keys.cabal 2015-05-18 03:59:57.000000000 +0200 +++ new/keys-3.11/keys.cabal 2016-01-17 03:34:14.000000000 +0100 @@ -1,6 +1,6 @@ name: keys category: Data Structures, Containers -version: 3.10.2 +version: 3.11 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE @@ -9,7 +9,7 @@ stability: provisional homepage: http://github.com/ekmett/keys/ bug-reports: http://github.com/ekmett/keys/issues -copyright: Copyright (C) 2011 Edward A. Kmett +copyright: Copyright (C) 2011-2016 Edward A. Kmett synopsis: Keyed functors and containers description: Keyed functors and containers build-type: Simple @@ -23,14 +23,15 @@ build-depends: array >= 0.3.0.2 && < 0.6, base >= 4 && < 5, - comonad >= 4 && < 5, + comonad >= 4 && < 6, containers >= 0.3 && < 0.6, free >= 4 && < 5, hashable >= 1.1.2.3 && < 1.3, semigroupoids >= 4 && < 6, semigroups >= 0.8.3.1 && < 1, - transformers >= 0.2 && < 0.5, - unordered-containers >= 0.2 && < 0.3 + transformers >= 0.2 && < 0.6, + transformers-compat >= 0.3 && < 1, + unordered-containers >= 0.2.4 && < 0.3 exposed-modules: Data.Key diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/keys-3.10.2/src/Data/Key.hs new/keys-3.11/src/Data/Key.hs --- old/keys-3.10.2/src/Data/Key.hs 2015-05-18 03:59:57.000000000 +0200 +++ new/keys-3.11/src/Data/Key.hs 2016-01-17 03:34:14.000000000 +0100 @@ -1,8 +1,5 @@ {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE CPP #-} -#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702 -{-# LANGUAGE Trustworthy #-} -#endif module Data.Key ( -- * Keys Key @@ -76,7 +73,7 @@ import Data.Functor.Bind import Data.Functor.Compose import Data.Functor.Product -import Data.Functor.Coproduct +import qualified Data.Functor.Sum as Functor import Data.Foldable import Data.Hashable import Data.HashMap.Lazy (HashMap) @@ -100,7 +97,7 @@ import qualified Data.List as List import Prelude hiding (lookup, zip, zipWith) --- TODO: half of the functions manipulating Cofree and Free buil the keys in the wrong order +-- TODO: half of the functions manipulating Cofree and Free build the keys in the wrong order type family Key (f :: * -> *) type instance Key (Cofree f) = Seq (Key f) @@ -781,19 +778,19 @@ adjust f i arr = arr Array.// [(i, f (arr Array.! i))] replace i b arr = arr Array.// [(i, b)] -type instance Key (Coproduct f g) = (Key f, Key g) +type instance Key (Functor.Sum f g) = (Key f, Key g) -instance (Indexable f, Indexable g) => Indexable (Coproduct f g) where - index (Coproduct (Left a)) (x,_) = index a x - index (Coproduct (Right b)) (_,y) = index b y - -instance (Lookup f, Lookup g) => Lookup (Coproduct f g) where - lookup (x, _) (Coproduct (Left a)) = lookup x a - lookup (_, y) (Coproduct (Right b)) = lookup y b - -instance (Adjustable f, Adjustable g) => Adjustable (Coproduct f g) where - adjust f (x,_) (Coproduct (Left a)) = Coproduct (Left (adjust f x a)) - adjust f (_,y) (Coproduct (Right b)) = Coproduct (Right (adjust f y b)) +instance (Indexable f, Indexable g) => Indexable (Functor.Sum f g) where + index (Functor.InL a) (x,_) = index a x + index (Functor.InR b) (_,y) = index b y + +instance (Lookup f, Lookup g) => Lookup (Functor.Sum f g) where + lookup (x, _) (Functor.InL a) = lookup x a + lookup (_, y) (Functor.InR b) = lookup y b + +instance (Adjustable f, Adjustable g) => Adjustable (Functor.Sum f g) where + adjust f (x,_) (Functor.InL a) = Functor.InL (adjust f x a) + adjust f (_,y) (Functor.InR b) = Functor.InR (adjust f y b) type instance Key (Product f g) = Either (Key f) (Key g)