Script 'mail_helper' called by obssrc
Hello community,

here is the log from the commit of package ghc-semigroupoids for 
openSUSE:Factory checked in at 2021-11-11 21:36:52
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ghc-semigroupoids (Old)
 and      /work/SRC/openSUSE:Factory/.ghc-semigroupoids.new.1890 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Package is "ghc-semigroupoids"

Thu Nov 11 21:36:52 2021 rev:21 rq:930354 version:5.3.6

Changes:
--------
--- /work/SRC/openSUSE:Factory/ghc-semigroupoids/ghc-semigroupoids.changes      
2021-08-25 20:58:09.801164725 +0200
+++ 
/work/SRC/openSUSE:Factory/.ghc-semigroupoids.new.1890/ghc-semigroupoids.changes
    2021-11-11 21:37:12.992923421 +0100
@@ -1,0 +2,25 @@
+Sun Oct 10 14:17:19 UTC 2021 - [email protected]
+
+- Update semigroupoids to version 5.3.6 revision 1.
+  Upstream has revised the Cabal build instructions on Hackage.
+
+-------------------------------------------------------------------
+Fri Oct  8 07:18:53 UTC 2021 - [email protected]
+
+- Update semigroupoids to version 5.3.6.
+  5.3.6 [2021.10.07]
+  ------------------
+  * Allow building with GHC 9.2.
+  * Allow building with `transformers-0.6.*`.
+  * Add `Alt` instance for `Identity`.
+  * Add `Conclude`, `Decide` and `Divise` type classes and instances.
+  * Add `(<.*>)`, `(<*.>)`, and `traverseMaybe` functions, which make it easier
+    to defined `Traversable1` instances for data types that have fields with a
+    combination of `Traversable` and `Traversable1` instances.
+  * Add `Semigroupoids.Do` module with overloads for use with `QualifiedDo`.
+  * Add `Apply`, `Alt`, `Plus`, `Bind` and `BindTrans` instances for the CPS
+    versions of `WriterT` and `RWST`.
+  * Add `psum` function to `Data.Functor.Plus`.
+  * Add `Categorical` data type.
+
+-------------------------------------------------------------------

Old:
----
  semigroupoids-5.3.5.tar.gz

New:
----
  semigroupoids-5.3.6.tar.gz

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Other differences:
------------------
++++++ ghc-semigroupoids.spec ++++++
--- /var/tmp/diff_new_pack.iCNhUZ/_old  2021-11-11 21:37:13.968924132 +0100
+++ /var/tmp/diff_new_pack.iCNhUZ/_new  2021-11-11 21:37:13.968924132 +0100
@@ -18,7 +18,7 @@
 
 %global pkg_name semigroupoids
 Name:           ghc-%{pkg_name}
-Version:        5.3.5
+Version:        5.3.6
 Release:        0
 Summary:        Semigroupoids: Category sans id
 License:        BSD-2-Clause
@@ -60,12 +60,15 @@
 lists provide a reasonable 'extend' operation in the form of 'tails', but do
 not always contain a value.
 
-Ideally the following relationships would hold:
+We describe the relationships between the type classes defined in this package
+and those from `base` (and some from `contravariant`) in the diagram below.
+Thick-bordered nodes correspond to type classes defined in this package;
+thin-bordered ones correspond to type classes from elsewhere. Solid edges
+indicate a subclass relationship that actually exists; dashed edges indicate a
+subclass relationship that /should/ exist, but currently doesn't.
 
-> Foldable ----> Traversable <--- Functor ------> Alt ---------> Plus
-Semigroupoid > | | | | | > v v v v v > Foldable1 ---> Traversable1 Apply
---------> Applicative -> Alternative Category > | | | | > v v v v > Bind
----------> Monad -------> MonadPlus Arrow >
+<<https://raw.githubusercontent.com/ekmett/semigroupoids/b9151e725856265717fe462c7abe4e59417ec593/img/classes.svg
+Relationships among type classes from this package and others>>
 
 Apply, Bind, and Extend (not shown) give rise the Static, Kleisli and Cokleisli
 semigroupoids respectively.

++++++ semigroupoids-5.3.5.tar.gz -> semigroupoids-5.3.6.tar.gz ++++++
++++ 2289 lines of diff (skipped)

++++++ semigroupoids.cabal ++++++
--- /var/tmp/diff_new_pack.iCNhUZ/_old  2021-11-11 21:37:14.032924179 +0100
+++ /var/tmp/diff_new_pack.iCNhUZ/_new  2021-11-11 21:37:14.032924179 +0100
@@ -1,9 +1,9 @@
 name:          semigroupoids
 category:      Control, Comonads
-version:       5.3.5
+version:       5.3.6
 x-revision: 1
-license:       BSD3
-cabal-version: >= 1.10
+license:       BSD2
+cabal-version: 1.18
 license-file:  LICENSE
 author:        Edward A. Kmett
 maintainer:    Edward A. Kmett <[email protected]>
@@ -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
 build-type:    Simple
 synopsis:      Semigroupoids: Category sans id
 extra-source-files:
@@ -30,6 +31,9 @@
   .vim.custom
   README.markdown
   CHANGELOG.markdown
+  img/classes.dot
+extra-doc-files:
+  img/classes.svg
 
 description:
   Provides a wide array of (semi)groupoids and operations for working with 
them.
@@ -44,16 +48,14 @@
   .
   Similarly many structures are nearly a comonad, but not quite, for instance 
lists provide a reasonable 'extend' operation in the form of 'tails', but do 
not always contain a value.
   .
-  Ideally the following relationships would hold:
+  We describe the relationships between the type classes defined in this 
package
+  and those from `base` (and some from `contravariant`) in the diagram below.
+  Thick-bordered nodes correspond to type classes defined in this package;
+  thin-bordered ones correspond to type classes from elsewhere. Solid edges
+  indicate a subclass relationship that actually exists; dashed edges indicate 
a
+  subclass relationship that /should/ exist, but currently doesn't.
   .
-  > Foldable ----> Traversable <--- Functor ------> Alt ---------> Plus        
   Semigroupoid
-  >      |               |            |                              |         
         |
-  >      v               v            v                              v         
         v
-  > Foldable1 ---> Traversable1     Apply --------> Applicative -> Alternative 
     Category
-  >                                   |               |              |         
         |
-  >                                   v               v              v         
         v
-  >                                 Bind ---------> Monad -------> MonadPlus   
       Arrow
-  >
+  
<<https://raw.githubusercontent.com/ekmett/semigroupoids/b9151e725856265717fe462c7abe4e59417ec593/img/classes.svg
 Relationships among type classes from this package and others>>
   .
   Apply, Bind, and Extend (not shown) give rise the Static, Kleisli and 
Cokleisli semigroupoids respectively.
   .
@@ -131,7 +133,7 @@
     base-orphans        >= 0.8.4   && < 1,
     bifunctors          >= 5.5.9   && < 6,
     template-haskell    >= 0.2.5.0,
-    transformers        >= 0.3     && < 0.6,
+    transformers        >= 0.3     && < 0.7,
     transformers-compat >= 0.5     && < 0.8
 
   if impl(ghc >= 7.0 && < 7.2)
@@ -140,6 +142,9 @@
   if impl(ghc >= 7.2 && < 7.6)
     build-depends: ghc-prim
 
+  if !impl(ghc >= 7.10)
+    build-depends: void >= 0.4 && < 1
+
   if !impl(ghc >= 8.0)
     build-depends: semigroups >= 0.18.5 && < 1
 
@@ -175,6 +180,9 @@
     Data.Functor.Bind
     Data.Functor.Bind.Class
     Data.Functor.Bind.Trans
+    Data.Functor.Contravariant.Conclude
+    Data.Functor.Contravariant.Decide
+    Data.Functor.Contravariant.Divise
     Data.Functor.Extend
     Data.Functor.Plus
     Data.Groupoid
@@ -186,10 +194,14 @@
     Data.Semigroup.Traversable
     Data.Semigroup.Traversable.Class
     Data.Semigroupoid
+    Data.Semigroupoid.Categorical
     Data.Semigroupoid.Dual
     Data.Semigroupoid.Ob
     Data.Semigroupoid.Static
     Data.Traversable.Instances
+    Semigroupoids.Do
+  other-modules:
+    Semigroupoids.Internal
 
   ghc-options: -Wall -fno-warn-warnings-deprecations
 

Reply via email to