Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package ghc-data-fix for openSUSE:Factory checked in at 2021-08-25 20:56:46 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-data-fix (Old) and /work/SRC/openSUSE:Factory/.ghc-data-fix.new.1899 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-data-fix" Wed Aug 25 20:56:46 2021 rev:7 rq:912592 version:0.3.2 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-data-fix/ghc-data-fix.changes 2021-02-16 22:48:20.986552217 +0100 +++ /work/SRC/openSUSE:Factory/.ghc-data-fix.new.1899/ghc-data-fix.changes 2021-08-25 20:57:31.729214708 +0200 @@ -1,0 +2,13 @@ +Wed Jul 28 07:43:31 UTC 2021 - [email protected] + +- Update data-fix to version 0.3.2. + ## 0.3.2 + + - Add `(un)wrapFix/Mu/Nu` + - Support `transformers-0.6` + + ## 0.3.1 + + - Update bounds for GHC-9.0 + +------------------------------------------------------------------- Old: ---- data-fix-0.3.1.tar.gz New: ---- data-fix-0.3.2.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-data-fix.spec ++++++ --- /var/tmp/diff_new_pack.k9TNff/_old 2021-08-25 20:57:33.713212103 +0200 +++ /var/tmp/diff_new_pack.k9TNff/_new 2021-08-25 20:57:33.717212097 +0200 @@ -18,7 +18,7 @@ %global pkg_name data-fix Name: ghc-%{pkg_name} -Version: 0.3.1 +Version: 0.3.2 Release: 0 Summary: Fixpoint data types License: BSD-3-Clause ++++++ data-fix-0.3.1.tar.gz -> data-fix-0.3.2.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/data-fix-0.3.1/CHANGELOG.md new/data-fix-0.3.2/CHANGELOG.md --- old/data-fix-0.3.1/CHANGELOG.md 2001-09-09 03:46:40.000000000 +0200 +++ new/data-fix-0.3.2/CHANGELOG.md 2001-09-09 03:46:40.000000000 +0200 @@ -1,3 +1,12 @@ +## 0.3.2 + +- Add `(un)wrapFix/Mu/Nu` +- Support `transformers-0.6` + +## 0.3.1 + +- Update bounds for GHC-9.0 + ## 0.3.0 - Rename `cata`, `ana` and `hylo` into `foldFix`, `unfoldFix` and `refold. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/data-fix-0.3.1/data-fix.cabal new/data-fix-0.3.2/data-fix.cabal --- old/data-fix-0.3.1/data-fix.cabal 2001-09-09 03:46:40.000000000 +0200 +++ new/data-fix-0.3.2/data-fix.cabal 2001-09-09 03:46:40.000000000 +0200 @@ -1,5 +1,5 @@ Name: data-fix -Version: 0.3.1 +Version: 0.3.2 Cabal-Version: >= 1.10 License: BSD3 License-file: LICENSE @@ -29,8 +29,9 @@ || ==8.2.2 || ==8.4.4 || ==8.6.5 - || ==8.8.3 - || ==8.10.1 + || ==8.8.4 + || ==8.10.4 + || ==9.0.1 extra-source-files: CHANGELOG.md @@ -64,5 +65,5 @@ if !impl(ghc >=8.0) build-depends: - transformers >=0.3 && <0.6 - , transformers-compat >=0.6.5 && <0.7 + transformers >=0.3 && <0.7 + , transformers-compat >=0.6.5 && <0.8 diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/data-fix-0.3.1/src/Data/Fix.hs new/data-fix-0.3.2/src/Data/Fix.hs --- old/data-fix-0.3.1/src/Data/Fix.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/data-fix-0.3.2/src/Data/Fix.hs 2001-09-09 03:46:40.000000000 +0200 @@ -57,16 +57,22 @@ hoistFix', foldFix, unfoldFix, + wrapFix, + unwrapFix, -- * Mu - least fixed point Mu (..), hoistMu, foldMu, unfoldMu, + wrapMu, + unwrapMu, -- * Nu - greatest fixed point Nu (..), hoistNu, foldNu, unfoldNu, + wrapNu, + unwrapNu, -- * Refolding refold, -- * Monadic variants @@ -84,7 +90,7 @@ import Prelude (Eq (..), Functor (..), Monad (..), Ord (..), Read (..), Show (..), showParen, showString, ($), (.), (=<<)) #ifdef __GLASGOW_HASKELL__ -#if! HAS_POLY_TYPEABLE +#if !HAS_POLY_TYPEABLE import Prelude (const, error, undefined) #endif #endif @@ -110,7 +116,7 @@ -- $setup -- >>> :set -XDeriveFunctor --- >>> import Prelude (showChar, Int, Num (..)) +-- >>> import Prelude -- >>> import Data.Functor.Classes -- >>> data ListF a b = Nil | Cons a b deriving (Show, Functor) -- @@ -158,6 +164,28 @@ unfoldFix :: Functor f => (a -> f a) -> a -> Fix f unfoldFix f = go where go = Fix . fmap go . f +-- | Wrap 'Fix'. +-- +-- >>> let x = unfoldFix (\i -> if i < 3 then Cons i (i + 1) else Nil) (0 :: Int) +-- >>> wrapFix (Cons 10 x) +-- Fix (Cons 10 (Fix (Cons 0 (Fix (Cons 1 (Fix (Cons 2 (Fix Nil)))))))) +-- +-- @since 0.3.2 +-- +wrapFix :: f (Fix f) -> Fix f +wrapFix = Fix + +-- | Unwrap 'Fix'. +-- +-- >>> let x = unfoldFix (\i -> if i < 3 then Cons i (i + 1) else Nil) (0 :: Int) +-- >>> unwrapFix x +-- Cons 0 (Fix (Cons 1 (Fix (Cons 2 (Fix Nil))))) +-- +-- @since 0.3.2 +-- +unwrapFix :: Fix f -> f (Fix f) +unwrapFix = unFix + ------------------------------------------------------------------------------- -- Functor instances ------------------------------------------------------------------------------- @@ -275,6 +303,28 @@ unfoldMu :: Functor f => (a -> f a) -> a -> Mu f unfoldMu f x = Mu $ \mk -> refold mk f x +-- | Wrap 'Mu'. +-- +-- >>> let x = unfoldMu (\i -> if i < 3 then Cons i (i + 1) else Nil) (0 :: Int) +-- >>> wrapMu (Cons 10 x) +-- unfoldMu unFix (Fix (Cons 10 (Fix (Cons 0 (Fix (Cons 1 (Fix (Cons 2 (Fix Nil))))))))) +-- +-- @since 0.3.2 +-- +wrapMu :: Functor f => f (Mu f) -> Mu f +wrapMu fx = Mu $ \f -> f (fmap (foldMu f) fx) + +-- | Unwrap 'Mu'. +-- +-- >>> let x = unfoldMu (\i -> if i < 3 then Cons i (i + 1) else Nil) (0 :: Int) +-- >>> unwrapMu x +-- Cons 0 (unfoldMu unFix (Fix (Cons 1 (Fix (Cons 2 (Fix Nil)))))) +-- +-- @since 0.3.2 +-- +unwrapMu :: Functor f => Mu f -> f (Mu f) +unwrapMu = foldMu (fmap wrapMu) + ------------------------------------------------------------------------------- -- Nu ------------------------------------------------------------------------------- @@ -320,6 +370,28 @@ unfoldNu :: (a -> f a) -> a -> Nu f unfoldNu = Nu +-- | Wrap 'Nu'. +-- +-- >>> let x = unfoldNu (\i -> if i < 3 then Cons i (i + 1) else Nil) (0 :: Int) +-- >>> wrapNu (Cons 10 x) +-- unfoldNu unFix (Fix (Cons 10 (Fix (Cons 0 (Fix (Cons 1 (Fix (Cons 2 (Fix Nil))))))))) +-- +-- @since 0.3.2 +-- +wrapNu :: Functor f => f (Nu f) -> Nu f +wrapNu = unfoldNu (fmap unwrapNu) + +-- | Unwrap 'Nu'. +-- +-- >>> let x = unfoldNu (\i -> if i < 3 then Cons i (i + 1) else Nil) (0 :: Int) +-- >>> unwrapNu x +-- Cons 0 (unfoldNu unFix (Fix (Cons 1 (Fix (Cons 2 (Fix Nil)))))) +-- +-- @since 0.3.2 +-- +unwrapNu :: Functor f => Nu f -> f (Nu f) +unwrapNu (Nu f x) = fmap (Nu f) (f x) + ------------------------------------------------------------------------------- -- refold -------------------------------------------------------------------------------
