Hello community,

here is the log from the commit of package ghc-validation for openSUSE:Factory 
checked in at 2017-01-31 12:40:33
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ghc-validation (Old)
 and      /work/SRC/openSUSE:Factory/.ghc-validation.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Package is "ghc-validation"

Changes:
--------
--- /work/SRC/openSUSE:Factory/ghc-validation/ghc-validation.changes    
2017-01-18 21:38:45.126505126 +0100
+++ /work/SRC/openSUSE:Factory/.ghc-validation.new/ghc-validation.changes       
2017-02-03 17:40:28.805101067 +0100
@@ -1,0 +2,5 @@
+Tue Nov 29 11:30:40 UTC 2016 - [email protected]
+
+- Update to version 0.5.4 with cabal2obs.
+
+-------------------------------------------------------------------

Old:
----
  validation-0.5.3.tar.gz

New:
----
  validation-0.5.4.tar.gz

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

Other differences:
------------------
++++++ ghc-validation.spec ++++++
--- /var/tmp/diff_new_pack.D2ML9v/_old  2017-02-03 17:40:29.129055214 +0100
+++ /var/tmp/diff_new_pack.D2ML9v/_new  2017-02-03 17:40:29.133054649 +0100
@@ -19,11 +19,11 @@
 %global pkg_name validation
 %bcond_with tests
 Name:           ghc-%{pkg_name}
-Version:        0.5.3
+Version:        0.5.4
 Release:        0
 Summary:        A data-type like Either but with an accumulating Applicative
 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
@@ -111,19 +111,15 @@
 %prep
 %setup -q -n %{pkg_name}-%{version}
 
-
 %build
 %ghc_lib_build
 
-
 %install
 %ghc_lib_install
 
-
 %check
 %cabal_test
 
-
 %post devel
 %ghc_pkg_recache
 

++++++ validation-0.5.3.tar.gz -> validation-0.5.4.tar.gz ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/validation-0.5.3/changelog 
new/validation-0.5.4/changelog
--- old/validation-0.5.3/changelog      2016-07-20 05:23:09.000000000 +0200
+++ new/validation-0.5.4/changelog      2016-11-24 08:23:10.000000000 +0100
@@ -1,3 +1,8 @@
+0.5.4
+
+* remove redundant constraints.
+* add instance `Validate` for `ValidationB Identity`.
+
 0.5.3
 
 * Update `transformers` dependency to work with GHC8.
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/validation-0.5.3/src/Data/Validation.hs 
new/validation-0.5.4/src/Data/Validation.hs
--- old/validation-0.5.3/src/Data/Validation.hs 2016-07-20 05:23:09.000000000 
+0200
+++ new/validation-0.5.4/src/Data/Validation.hs 2016-11-24 08:23:10.000000000 
+0100
@@ -1,5 +1,6 @@
 {-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE NoImplicitPrelude #-}
+{-# LANGUAGE TypeFamilies #-}
 
 -- | Data types similar to @Data.Either@ that are explicit about failure and 
success.
 module Data.Validation
@@ -36,7 +37,7 @@
 import Data.Functor.Alt(Alt((<!>)))
 import Data.Functor.Apply(Apply((<.>)))
 import Data.Functor.Bind(Bind((>>-)), liftF2)
-import Data.Functor.Identity(Identity(Identity))
+import Data.Functor.Identity(Identity(Identity, runIdentity))
 import Data.Monoid(Monoid(mappend, mempty))
 import Data.Ord(Ord)
 import Data.Semigroup(Semigroup((<>)))
@@ -125,7 +126,7 @@
   AccSuccess a
 {-# INLINE altAccValidation #-}
 
-instance Semigroup err => Alt (AccValidation err) where
+instance Alt (AccValidation err) where
   (<!>) =
     altAccValidation
 
@@ -488,7 +489,7 @@
     aplValidationT
 
 altValidationT ::
-  (Functor m, Monad m) =>
+  Monad m =>
   ValidationT err m a
   -> ValidationT err m a
   -> ValidationT err m a
@@ -625,7 +626,7 @@
     aplValidationB
 
 altValidationB ::
-  (Functor m, Monad m) =>
+  Monad m =>
   ValidationB m err a
   -> ValidationB m err a
   -> ValidationB m err a
@@ -866,6 +867,12 @@
   _Either =
     id
 
+instance (m ~ Identity) => Validate (ValidationB m) where
+  _Validation =
+    iso
+      (\(ValidationB x) -> runIdentity x)
+      (ValidationB . Identity)
+
 _Failure ::
   Validate f =>
   Prism (f e1 a) (f e2 a) e1 e2
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/validation-0.5.3/validation.cabal 
new/validation-0.5.4/validation.cabal
--- old/validation-0.5.3/validation.cabal       2016-07-20 05:23:09.000000000 
+0200
+++ new/validation-0.5.4/validation.cabal       2016-11-24 08:23:10.000000000 
+0100
@@ -1,5 +1,5 @@
 name:               validation
-version:            0.5.3
+version:            0.5.4
 license:            BSD3
 license-file:       LICENSE
 author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ> <dibblego>, Nick 
Partridge <nkpart>


Reply via email to