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 - psimons@suse.com + +- 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>