checkers 0.5.0 → 0.5.1

raw patch · 3 files changed

+6/−3 lines, 3 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

- Test.QuickCheck.Instances.Array: instance (GHC.Arr.Ix a, Test.QuickCheck.Arbitrary.CoArbitrary b) => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Arr.Array a b)

+ Test.QuickCheck.Instances.Array: instance Test.QuickCheck.Arbitrary.CoArbitrary b => Test.QuickCheck.Arbitrary.CoArbitrary (GHC.Arr.Array a b)

- Test.QuickCheck.Classes: foldable :: forall t a b m n o. (Foldable t, CoArbitrary a, CoArbitrary b, Arbitrary a, Arbitrary b, Arbitrary o, Arbitrary (t a), Arbitrary (t m), Arbitrary (t n), Arbitrary (t o), Monoid m, Num n, Ord o, EqProp m, EqProp n, EqProp b, EqProp o, EqProp a, Show (t m), Show (t n), Show (t o), Show b, Show (t a), Show o) => t (a, b, m, n, o) -> TestBatch

+ Test.QuickCheck.Classes: foldable :: forall t a b m n o. (Foldable t, CoArbitrary a, CoArbitrary b, Arbitrary a, Arbitrary b, Arbitrary m, Arbitrary o, Arbitrary (t a), Arbitrary (t m), Arbitrary (t n), Arbitrary (t o), Monoid m, Num n, Ord o, EqProp m, EqProp n, EqProp b, EqProp o, EqProp a, Show (t m), Show (t n), Show (t o), Show b, Show (t a), Show o) => t (a, b, m, n, o) -> TestBatch

Files

checkers.cabal +1/−1
src/Test/QuickCheck/Classes.hs +4/−1
src/Test/QuickCheck/Instances/Array.hs +1/−1

checkers.cabal view

@@ -1,5 +1,5 @@ Name:                checkers-Version:             0.5.0+Version:             0.5.1 Cabal-Version:       >= 1.6 Synopsis:            Check properties on standard classes and data structures. Category:            Testing

src/Test/QuickCheck/Classes.hs view

@@ -3,6 +3,9 @@   #-}  {-# OPTIONS_GHC -Wall #-}++-- https://github.com/conal/checkers/pull/38+{-# OPTIONS_GHC -Wno-redundant-constraints #-} ---------------------------------------------------------------------- -- | -- Module      :  Test.QuickCheck.Classes@@ -743,7 +746,7 @@ foldable :: forall t a b m n o.             ( Foldable t             , CoArbitrary a, CoArbitrary b-            , Arbitrary a, Arbitrary b, Arbitrary o, Arbitrary (t a), Arbitrary (t m), Arbitrary (t n), Arbitrary (t o)+            , Arbitrary a, Arbitrary b, Arbitrary m, Arbitrary o, Arbitrary (t a), Arbitrary (t m), Arbitrary (t n), Arbitrary (t o)             , Monoid m             , Num n             , Ord o

src/Test/QuickCheck/Instances/Array.hs view

@@ -8,5 +8,5 @@   arbitrary   =     (\x -> listArray (0,fromIntegral (length x - 1)) x) <$> arbitrary -instance (Ix a, CoArbitrary b) => CoArbitrary (Array a b) where+instance CoArbitrary b => CoArbitrary (Array a b) where   coarbitrary = coarbitrary . elems