checkers 0.4.13 → 0.4.14
raw patch · 3 files changed
+4/−5 lines, 3 filesdep ~basedep ~semigroupsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, semigroups
API changes (from Hackage documentation)
- Test.QuickCheck.Instances.Array: instance Test.QuickCheck.Arbitrary.CoArbitrary b => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Arr.Array a b)
+ Test.QuickCheck.Instances.Array: instance (GHC.Arr.Ix a, Test.QuickCheck.Arbitrary.CoArbitrary b) => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Arr.Array a b)
Files
- checkers.cabal +2/−2
- src/Control/Monad/Extensions.hs +1/−1
- src/Test/QuickCheck/Instances/Array.hs +1/−2
checkers.cabal view
@@ -1,5 +1,5 @@ Name: checkers-Version: 0.4.13+Version: 0.4.14 Cabal-Version: >= 1.6 Synopsis: Check properties on standard classes and data structures. Category: Testing@@ -29,7 +29,7 @@ Build-Depends: base >= 4 && < 5, random, QuickCheck>=2.3, array >= 0.1, semigroupoids >= 5 && < 6 if !impl(ghc >= 8.0) build-depends:- semigroups >= 0.18.4 && < 0.19+ semigroups >= 0.18.2 && < 0.19 Exposed-Modules: Test.QuickCheck.Utils
src/Control/Monad/Extensions.hs view
@@ -1,6 +1,6 @@ module Control.Monad.Extensions (satisfiesM,if') where -import Control.Applicative (Applicative,liftA3)+import Control.Applicative (liftA3) satisfiesM :: Monad m => (a -> Bool) -> m a -> m a satisfiesM p x = x >>= if' p return (const (satisfiesM p x))
src/Test/QuickCheck/Instances/Array.hs view
@@ -1,7 +1,6 @@ {-# OPTIONS_GHC -Wall -fno-warn-orphans #-} module Test.QuickCheck.Instances.Array where -import Control.Applicative ((<$>)) import Test.QuickCheck import Data.Array @@ -9,5 +8,5 @@ arbitrary = (\x -> listArray (0,fromIntegral (length x - 1)) x) <$> arbitrary -instance CoArbitrary b => CoArbitrary (Array a b) where+instance (Ix a, CoArbitrary b) => CoArbitrary (Array a b) where coarbitrary = coarbitrary . elems