Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package ghc-kan-extensions for openSUSE:Factory checked in at 2021-08-25 20:56:55 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-kan-extensions (Old) and /work/SRC/openSUSE:Factory/.ghc-kan-extensions.new.1899 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-kan-extensions" Wed Aug 25 20:56:55 2021 rev:9 rq:912606 version:5.2.3 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-kan-extensions/ghc-kan-extensions.changes 2021-03-10 08:57:11.970885528 +0100 +++ /work/SRC/openSUSE:Factory/.ghc-kan-extensions.new.1899/ghc-kan-extensions.changes 2021-08-25 20:57:49.189191786 +0200 @@ -1,0 +2,14 @@ +Wed Jul 28 07:43:21 UTC 2021 - [email protected] + +- Update kan-extensions to version 5.2.3. + 5.2.3 [2021.07.27] + ------------------ + * Add `shift` and `reset` to `Control.Monad.Codensity`. + +------------------------------------------------------------------- +Tue Jul 27 07:51:52 UTC 2021 - [email protected] + +- Update kan-extensions to version 5.2.2 revision 1. + Upstream has revised the Cabal build instructions on Hackage. + +------------------------------------------------------------------- Old: ---- kan-extensions-5.2.2.tar.gz New: ---- kan-extensions-5.2.3.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-kan-extensions.spec ++++++ --- /var/tmp/diff_new_pack.K63xrb/_old 2021-08-25 20:57:49.977190751 +0200 +++ /var/tmp/diff_new_pack.K63xrb/_new 2021-08-25 20:57:49.981190746 +0200 @@ -18,7 +18,7 @@ %global pkg_name kan-extensions Name: ghc-%{pkg_name} -Version: 5.2.2 +Version: 5.2.3 Release: 0 Summary: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads License: BSD-3-Clause ++++++ kan-extensions-5.2.2.tar.gz -> kan-extensions-5.2.3.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-extensions-5.2.2/CHANGELOG.markdown new/kan-extensions-5.2.3/CHANGELOG.markdown --- old/kan-extensions-5.2.2/CHANGELOG.markdown 2001-09-09 03:46:40.000000000 +0200 +++ new/kan-extensions-5.2.3/CHANGELOG.markdown 2001-09-09 03:46:40.000000000 +0200 @@ -1,3 +1,7 @@ +5.2.3 [2021.07.27] +------------------ +* Add `shift` and `reset` to `Control.Monad.Codensity`. + 5.2.2 [2021.02.17] ------------------ * Add `hoistCoyoneda` to `Data.Functor.Contravariant.Coyoneda`. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-extensions-5.2.2/kan-extensions.cabal new/kan-extensions-5.2.3/kan-extensions.cabal --- old/kan-extensions-5.2.2/kan-extensions.cabal 2001-09-09 03:46:40.000000000 +0200 +++ new/kan-extensions-5.2.3/kan-extensions.cabal 2001-09-09 03:46:40.000000000 +0200 @@ -1,6 +1,6 @@ name: kan-extensions category: Data Structures, Monads, Comonads, Functors -version: 5.2.2 +version: 5.2.3 license: BSD3 cabal-version: >= 1.10 license-file: LICENSE @@ -21,8 +21,9 @@ , GHC == 8.2.2 , GHC == 8.4.4 , GHC == 8.6.5 - , GHC == 8.8.3 - , GHC == 8.10.1 + , GHC == 8.8.4 + , GHC == 8.10.4 + , GHC == 9.0.1 extra-source-files: .gitignore @@ -66,7 +67,7 @@ semigroupoids >= 4 && < 6, tagged >= 0.7.2 && < 1, transformers >= 0.2 && < 0.6, - transformers-compat >= 0.3 && < 0.7 + transformers-compat >= 0.3 && < 0.8 exposed-modules: Control.Comonad.Density diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-extensions-5.2.2/src/Control/Monad/Codensity.hs new/kan-extensions-5.2.3/src/Control/Monad/Codensity.hs --- old/kan-extensions-5.2.2/src/Control/Monad/Codensity.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/kan-extensions-5.2.3/src/Control/Monad/Codensity.hs 2001-09-09 03:46:40.000000000 +0200 @@ -36,6 +36,9 @@ , codensityToComposedRep, composedRepToCodensity , wrapCodensity , improve + -- ** Delimited continuations + , reset + , shift ) where import Control.Applicative @@ -283,3 +286,22 @@ -- > wrapCodensity (`finally` putStrLn "Done.") wrapCodensity :: (forall a. m a -> m a) -> Codensity m () wrapCodensity f = Codensity (\k -> f (k ())) + +-- | @'reset' m@ delimits the continuation of any 'shift' inside @m@. +-- +-- * @'reset' ('return' m) = 'return' m@ +reset :: Monad m => Codensity m a -> Codensity m a +reset = lift . lowerCodensity + +-- | @'shift' f@ captures the continuation up to the nearest enclosing +-- 'reset' and passes it to @f@: +-- +-- * @'reset' ('shift' f >>= k) = 'reset' (f ('lowerCodensity' . k))@ +shift :: +#if __GLASGOW_HASKELL__ >= 710 + Applicative m +#else + Monad m +#endif + => (forall b. (a -> m b) -> Codensity m b) -> Codensity m a +shift f = Codensity $ lowerCodensity . f diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/kan-extensions-5.2.2/src/Data/Functor/Day/Curried.hs new/kan-extensions-5.2.3/src/Data/Functor/Day/Curried.hs --- old/kan-extensions-5.2.2/src/Data/Functor/Day/Curried.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/kan-extensions-5.2.3/src/Data/Functor/Day/Curried.hs 2001-09-09 03:46:40.000000000 +0200 @@ -46,7 +46,7 @@ {-# INLINE fmap #-} instance (Functor g, g ~ h) => Applicative (Curried g h) where - pure a = Curried (fmap ($a)) + pure a = Curried (fmap ($ a)) {-# INLINE pure #-} Curried mf <*> Curried ma = Curried (ma . mf . fmap (.)) {-# INLINE (<*>) #-}
