Hello community,
here is the log from the commit of package ghc-natural-transformation for
openSUSE:Factory checked in at 2017-03-14 10:05:40
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ghc-natural-transformation (Old)
and /work/SRC/openSUSE:Factory/.ghc-natural-transformation.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-natural-transformation"
Tue Mar 14 10:05:40 2017 rev:2 rq:461666 version:0.4
Changes:
--------
---
/work/SRC/openSUSE:Factory/ghc-natural-transformation/ghc-natural-transformation.changes
2016-10-22 13:13:58.000000000 +0200
+++
/work/SRC/openSUSE:Factory/.ghc-natural-transformation.new/ghc-natural-transformation.changes
2017-03-14 10:05:41.271676604 +0100
@@ -1,0 +2,5 @@
+Sun Feb 12 14:20:27 UTC 2017 - [email protected]
+
+- Update to version 0.4 with cabal2obs.
+
+-------------------------------------------------------------------
Old:
----
natural-transformation-0.3.1.tar.gz
New:
----
natural-transformation-0.4.tar.gz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ ghc-natural-transformation.spec ++++++
--- /var/tmp/diff_new_pack.WYTofK/_old 2017-03-14 10:05:41.835596753 +0100
+++ /var/tmp/diff_new_pack.WYTofK/_new 2017-03-14 10:05:41.839596187 +0100
@@ -1,7 +1,7 @@
#
# spec file for package ghc-natural-transformation
#
-# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -19,24 +19,22 @@
%global pkg_name natural-transformation
%bcond_with tests
Name: ghc-%{pkg_name}
-Version: 0.3.1
+Version: 0.4
Release: 0
Summary: A natural transformation package
License: BSD-3-Clause
-Group: System/Libraries
+Group: Development/Languages/Other
Url: https://hackage.haskell.org/package/%{pkg_name}
Source0:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
BuildRoot: %{_tmppath}/%{name}-%{version}-build
-# Begin cabal-rpm deps:
%if %{with tests}
BuildRequires: ghc-containers-devel
BuildRequires: ghc-quickcheck-instances-devel
BuildRequires: ghc-tasty-devel
BuildRequires: ghc-tasty-quickcheck-devel
%endif
-# End cabal-rpm deps
%description
A natural transformation transforms a container 'f a' into another container 'g
@@ -60,20 +58,14 @@
%prep
%setup -q -n %{pkg_name}-%{version}
-
%build
%ghc_lib_build
-
%install
%ghc_lib_install
-
%check
-%if %{with tests}
-%{cabal} test
-%endif
-
+%cabal_test
%post devel
%ghc_pkg_recache
++++++ natural-transformation-0.3.1.tar.gz -> natural-transformation-0.4.tar.gz
++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/natural-transformation-0.3.1/CHANGELOG.md
new/natural-transformation-0.4/CHANGELOG.md
--- old/natural-transformation-0.3.1/CHANGELOG.md 2016-02-08
18:10:29.000000000 +0100
+++ new/natural-transformation-0.4/CHANGELOG.md 2016-11-15 20:57:05.000000000
+0100
@@ -1,3 +1,10 @@
+# 0.4
+* Rename `Nat` constructor to `NT`
+* Rename `run` to `unwrapNT`
+* Rename `nat` to `wrapNT`
+* Backport the `Semigroup` instance for `(:~>)` by conditionally depending on
+ the `semigroups` package
+
# 0.3.1
* Adding `run` and `nat`.
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/natural-transformation-0.3.1/LICENSE
new/natural-transformation-0.4/LICENSE
--- old/natural-transformation-0.3.1/LICENSE 2016-02-08 18:10:29.000000000
+0100
+++ new/natural-transformation-0.4/LICENSE 2016-11-15 20:57:05.000000000
+0100
@@ -1,4 +1,4 @@
-Copyright (c) 2015, The University of Kansas
+Copyright (c) 2015-2016, The University of Kansas
All rights reserved.
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/natural-transformation-0.3.1/natural-transformation.cabal
new/natural-transformation-0.4/natural-transformation.cabal
--- old/natural-transformation-0.3.1/natural-transformation.cabal
2016-02-08 18:10:29.000000000 +0100
+++ new/natural-transformation-0.4/natural-transformation.cabal 2016-11-15
20:57:05.000000000 +0100
@@ -1,5 +1,5 @@
name: natural-transformation
-version: 0.3.1
+version: 0.4
synopsis: A natural transformation package.
description: A natural transformation transforms a container @f a@
into another
container @g a@. Natural transformations act as functor
morphisms
@@ -14,23 +14,26 @@
stability: Provisional
author: Andy Gill
maintainer: Andy Gill <[email protected]>
-copyright: Copyright (c) 2015 The University of Kansas
+copyright: Copyright (c) 2015-2016 The University of Kansas
category: Control
build-type: Simple
extra-source-files: CHANGELOG.md, README.md
-tested-with: GHC == 7.8.4, GHC == 7.10.3
+tested-with: GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1
cabal-version: >= 1.10
source-repository head
type: git
- location: git://github.com/ku-fpg/natural-transformation
+ location: https://github.com/ku-fpg/natural-transformation
library
exposed-modules: Control.Natural
Control.Natural.RULES
Control.Object
-
- build-depends: base >= 4.7 && < 5
+
+ build-depends: base >= 4.7 && < 5
+ if !impl(ghc >= 8.0)
+ build-depends: semigroups >= 0.16 && < 0.19
+
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall
@@ -40,7 +43,7 @@
main-is: Properties.hs
build-depends: base >= 4.7 && < 5
, containers >= 0.1 && < 0.6
- , natural-transformation == 0.3.1
+ , natural-transformation == 0.4
, quickcheck-instances >= 0.1 && < 0.4
, tasty >= 0.8 && < 0.12
, tasty-quickcheck >= 0.8 && < 0.9
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/natural-transformation-0.3.1/src/Control/Natural.hs
new/natural-transformation-0.4/src/Control/Natural.hs
--- old/natural-transformation-0.3.1/src/Control/Natural.hs 2016-02-08
18:10:29.000000000 +0100
+++ new/natural-transformation-0.4/src/Control/Natural.hs 2016-11-15
20:57:05.000000000 +0100
@@ -24,8 +24,8 @@
-- * Type Synonym for a Natural Transformation
, type (~>)
-- * Conversion functions between the newtype and the synonym
- , run
- , nat
+ , wrapNT
+ , unwrapNT
-- * Class for Natural Transformations
, Transformation(..)
) where
@@ -35,9 +35,7 @@
#if !(MIN_VERSION_base(4,8,0))
import Data.Monoid (Monoid(..))
#endif
-#if MIN_VERSION_base(4,9,0)
import Data.Semigroup (Semigroup(..))
-#endif
import Data.Typeable
---------------------------------------------------------------------------
@@ -50,21 +48,19 @@
infixr 0 :~>, $$
-- | A natural transformation suitable for storing in a container.
-newtype f :~> g = Nat { ($$) :: f ~> g }
+newtype f :~> g = NT { ($$) :: f ~> g }
deriving Typeable
instance C.Category (:~>) where
- id = Nat id
- Nat f . Nat g = Nat (f . g)
+ id = NT id
+ NT f . NT g = NT (f . g)
-#if MIN_VERSION_base(4,9,0)
instance f ~ g => Semigroup (f :~> g) where
- Nat f <> Nat g = Nat (f . g)
-#endif
+ NT f <> NT g = NT (f . g)
instance f ~ g => Monoid (f :~> g) where
- mempty = Nat id
- mappend (Nat f) (Nat g) = Nat (f . g)
+ mempty = NT id
+ mappend = (<>)
infix 0 #
-- | A (natural) transformation is inside @t@, and contains @f@ and @g@
@@ -78,14 +74,17 @@
(#) :: t -> forall a . f a -> g a
instance Transformation f g (f :~> g) where
- Nat f # g = f g
+ NT f # g = f g
--- | 'run' is the nonfix version of @#@. It is used to break natural
--- transformation wrappers, including ':~>'.
-run :: Transformation f g t => t -> (forall a . f a -> g a)
-run = (#)
+-- | 'wrapNT' builds our natural transformation abstraction out of
+-- a natural transformation function.
+--
+-- An alias to 'NT' provided for symmetry with 'unwrapNT'.
+--
+wrapNT :: (forall a . f a -> g a) -> f :~> g
+wrapNT = NT
--- | 'nat' builds our natural transformation abstraction out of
--- a natural transformation function.
-nat :: (forall a . f a -> g a) -> f :~> g
-nat = Nat
+-- | 'unwrapNT' is the nonfix version of @#@. It is used to break natural
+-- transformation wrappers, including ':~>'.
+unwrapNT :: Transformation f g t => t -> (forall a . f a -> g a)
+unwrapNT = (#)
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/natural-transformation-0.3.1/src/Control/Object.hs
new/natural-transformation-0.4/src/Control/Object.hs
--- old/natural-transformation-0.3.1/src/Control/Object.hs 2016-02-08
18:10:29.000000000 +0100
+++ new/natural-transformation-0.4/src/Control/Object.hs 2016-11-15
20:57:05.000000000 +0100
@@ -22,4 +22,4 @@
newtype Object f = Object (f ~> IO)
instance Transformation f IO (Object f) where
- Object f # g = Nat f # g
+ Object f # g = NT f # g
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/natural-transformation-0.3.1/tests/Properties.hs
new/natural-transformation-0.4/tests/Properties.hs
--- old/natural-transformation-0.3.1/tests/Properties.hs 2016-02-08
18:10:29.000000000 +0100
+++ new/natural-transformation-0.4/tests/Properties.hs 2016-11-15
20:57:05.000000000 +0100
@@ -58,19 +58,19 @@
-- | A natural transformations from lists to lists that 'reverse's.
listReverseNT :: [] :~> []
-listReverseNT = Nat reverse
+listReverseNT = NT reverse
-- | A natural transformation from lists to lists that shifts all elements to
the left,
-- moving the head element to the back.
listShiftNT :: [] :~> []
-listShiftNT = Nat $ \l -> case l of
+listShiftNT = NT $ \l -> case l of
[] -> []
(x:xs) -> xs ++ [x]
-- | A natural transformation from lists to 'Seq's.
listSeqNT :: [] :~> Seq
-listSeqNT = Nat fromList
+listSeqNT = NT fromList
-- | A natural transformation from 'Seq's to lists.
seqListNT :: Seq :~> []
-seqListNT = Nat toList
+seqListNT = NT toList
