packages feed

either 5.0.2 → 5.0.3

raw patch · 5 files changed

+25/−31 lines, 5 filesdep +tastydep +tasty-quickcheckdep −semigroupsdep −test-frameworkdep −test-framework-quickcheck2dep ~QuickCheckdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies added: tasty, tasty-quickcheck

Dependencies removed: semigroups, test-framework, test-framework-quickcheck2

Dependency ranges changed: QuickCheck, base

API changes (from Hackage documentation)

- Data.Either.Validation: _Failure :: Prism (Validation a c) (Validation b c) a b
+ Data.Either.Validation: _Failure :: forall a c b p f. (Choice p, Applicative f) => p a (f b) -> p (Validation a c) (f (Validation b c))
- Data.Either.Validation: _Success :: Prism (Validation c a) (Validation c b) a b
+ Data.Either.Validation: _Success :: forall c a b p f. (Choice p, Applicative f) => p a (f b) -> p (Validation c a) (f (Validation c b))
- Data.Either.Validation: _Validation :: Iso (Validation e a) (Validation g b) (Either e a) (Either g b)
+ Data.Either.Validation: _Validation :: forall e a g b p f. (Profunctor p, Functor f) => p (Either e a) (f (Either g b)) -> p (Validation e a) (f (Validation g b))

Files

CHANGELOG.markdown view
@@ -1,3 +1,8 @@+5.0.3 [2025.06.17]+------------------+* Replace `test-framework` with `tasty` in the test suite.+* Drop support for pre-8.0 versions of GHC.+ 5.0.2 [2022.05.07] ------------------ * Tweak error messages of `fromRight'` and `fromLeft'` for clarity.
either.cabal view
@@ -1,6 +1,6 @@ name:          either category:      Control, Monads-version:       5.0.2+version:       5.0.3 license:       BSD3 cabal-version: >= 1.10 license-file:  LICENSE@@ -13,19 +13,19 @@ synopsis:      Combinators for working with sums description:   Combinators for working with sums. build-type:    Simple-tested-with:   GHC == 7.0.4-             , GHC == 7.2.2-             , GHC == 7.4.2-             , GHC == 7.6.3-             , GHC == 7.8.4-             , GHC == 7.10.3-             , GHC == 8.0.2+tested-with:   GHC == 8.0.2              , GHC == 8.2.2              , GHC == 8.4.4              , GHC == 8.6.5              , GHC == 8.8.4-             , GHC == 8.10.4-             , GHC == 9.0.1+             , GHC == 8.10.7+             , GHC == 9.0.2+             , GHC == 9.2.8+             , GHC == 9.4.8+             , GHC == 9.6.6+             , GHC == 9.8.4+             , GHC == 9.10.1+             , GHC == 9.12.1 extra-source-files:   .gitignore   .ghci@@ -35,18 +35,15 @@  source-repository head   type: git-  location: git://github.com/ekmett/either.git+  location: https://github.com/ekmett/either.git  library   build-depends:-    base              >= 4       && < 5,+    base              >= 4.9     && < 5,     bifunctors        >= 4       && < 6,     mtl               >= 2.0     && < 2.4,     profunctors       >= 4       && < 6,-    semigroupoids     >= 4       && < 6--  if !impl(ghc >= 8.0)-    build-depends: semigroups >= 0.8.3.1 && < 1+    semigroupoids     >= 4       && < 7    other-extensions: CPP Rank2Types   ghc-options: -Wall@@ -64,7 +61,7 @@   build-depends:     base,     either,-    test-framework             >= 0.8.1.1 && < 0.9,-    test-framework-quickcheck2 >= 0.3.0.3 && < 0.4,-    QuickCheck                 >= 2.9     && < 2.15+    tasty            >= 1.4  && < 1.6,+    tasty-quickcheck >= 0.10 && < 0.12,+    QuickCheck       >= 2.9  && < 2.17   default-language: Haskell2010
src/Data/Either/Combinators.hs view
@@ -1,4 +1,3 @@-{-# language CPP #-} ----------------------------------------------------------------------------- -- | -- Module      :  Data.Either.Combinators@@ -39,9 +38,6 @@   , swapEither   ) where -#if __GLASGOW_HASKELL__ < 710-import Control.Applicative-#endif import Control.Monad.Error.Class ( MonadError(throwError) )  -- ---------------------------------------------------------------------------
src/Data/Either/Validation.hs view
@@ -38,11 +38,6 @@ import Data.Profunctor import Prelude hiding (foldr) -#if !(MIN_VERSION_base(4,8,0))-import Data.Monoid (Monoid(mappend, mempty))-import Data.Traversable (Traversable(traverse))-#endif- #if !(MIN_VERSION_base(4,11,0)) import Data.Semigroup (Semigroup((<>))) #endif
tests/Main.hs view
@@ -7,12 +7,13 @@ import Data.Monoid (Sum(..))  import Test.QuickCheck (Property, Gen, (===), (.&&.), Arbitrary (..), forAllShrink, oneof)-import Test.Framework (defaultMain)-import Test.Framework.Providers.QuickCheck2 (testProperty)+import Test.Tasty (defaultMain, testGroup)+import Test.Tasty.QuickCheck (testProperty)   main :: IO ()-main = defaultMain+main = defaultMain $+  testGroup "either"     [ testProperty "identity" $ identity (<|>) empty genValSumInt shrinkValidation     , testProperty "associativity" $ associativity (<|>) genValSumInt shrinkValidation     ]