QuickCheck-safe 0.1.0.5 → 0.1.0.6

raw patch · 2 files changed

+5/−2 lines, 2 filesdep ~QuickCheckdep ~containersPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: QuickCheck, containers

API changes (from Hackage documentation)

+ Test.QuickCheck.Safe: Negative :: a -> Negative a

+ Test.QuickCheck.Safe: NonPositive :: a -> NonPositive a

+ Test.QuickCheck.Safe: [getNegative] :: Negative a -> a

+ Test.QuickCheck.Safe: [getNonPositive] :: NonPositive a -> a

+ Test.QuickCheck.Safe: newtype Negative a

+ Test.QuickCheck.Safe: newtype NonPositive a

+ Test.QuickCheck.Safe: pattern Fn3 :: forall a b c d. () => () => (a -> b -> c -> d) -> Fun (a, b, c) d

- Test.QuickCheck.Safe: (><) :: () => Gen a -> Gen a -> Gen a -> Gen a -> Gen a -> Gen a

+ Test.QuickCheck.Safe: (><) :: () => (Gen a -> Gen a) -> (Gen a -> Gen a) -> Gen a -> Gen a

- Test.QuickCheck.Safe: Fun :: (a :-> b, b, Shrunk) -> a -> b -> Fun a b

+ Test.QuickCheck.Safe: Fun :: (a :-> b, b, Shrunk) -> (a -> b) -> Fun a b

- Test.QuickCheck.Safe: GaveUp :: Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String Map String Int -> String -> Result

+ Test.QuickCheck.Safe: GaveUp :: Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String (Map String Int) -> String -> Result

- Test.QuickCheck.Safe: NoExpectedFailure :: Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String Map String Int -> String -> Result

+ Test.QuickCheck.Safe: NoExpectedFailure :: Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String (Map String Int) -> String -> Result

- Test.QuickCheck.Safe: Success :: Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String Map String Int -> String -> Result

+ Test.QuickCheck.Safe: Success :: Int -> Int -> !Map [String] Int -> !Map String Int -> !Map String (Map String Int) -> String -> Result

- Test.QuickCheck.Safe: [tables] :: Result -> !Map String Map String Int

+ Test.QuickCheck.Safe: [tables] :: Result -> !Map String (Map String Int)

- Test.QuickCheck.Safe: applyArbitrary2 :: (Arbitrary a, Arbitrary b) => a -> b -> r -> Gen r

+ Test.QuickCheck.Safe: applyArbitrary2 :: (Arbitrary a, Arbitrary b) => (a -> b -> r) -> Gen r

- Test.QuickCheck.Safe: applyArbitrary3 :: (Arbitrary a, Arbitrary b, Arbitrary c) => a -> b -> c -> r -> Gen r

+ Test.QuickCheck.Safe: applyArbitrary3 :: (Arbitrary a, Arbitrary b, Arbitrary c) => (a -> b -> c -> r) -> Gen r

- Test.QuickCheck.Safe: applyArbitrary4 :: (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => a -> b -> c -> d -> r -> Gen r

+ Test.QuickCheck.Safe: applyArbitrary4 :: (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => (a -> b -> c -> d -> r) -> Gen r

- Test.QuickCheck.Safe: arbitrary1 :: (Arbitrary1 f, Arbitrary a) => Gen f a

+ Test.QuickCheck.Safe: arbitrary1 :: (Arbitrary1 f, Arbitrary a) => Gen (f a)

- Test.QuickCheck.Safe: arbitrary2 :: (Arbitrary2 f, Arbitrary a, Arbitrary b) => Gen f a b

+ Test.QuickCheck.Safe: arbitrary2 :: (Arbitrary2 f, Arbitrary a, Arbitrary b) => Gen (f a b)

- Test.QuickCheck.Safe: class Arbitrary1 (f :: * -> *)

+ Test.QuickCheck.Safe: class Arbitrary1 (f :: Type -> Type)

- Test.QuickCheck.Safe: class Arbitrary2 (f :: * -> * -> *)

+ Test.QuickCheck.Safe: class Arbitrary2 (f :: Type -> Type -> Type)

- Test.QuickCheck.Safe: forAllBlind :: Testable prop => Gen a -> a -> prop -> Property

+ Test.QuickCheck.Safe: forAllBlind :: Testable prop => Gen a -> (a -> prop) -> Property

- Test.QuickCheck.Safe: forAllShow :: Testable prop => Gen a -> a -> String -> a -> prop -> Property

+ Test.QuickCheck.Safe: forAllShow :: Testable prop => Gen a -> (a -> String) -> (a -> prop) -> Property

- Test.QuickCheck.Safe: forAllShrinkBlind :: Testable prop => Gen a -> a -> [a] -> a -> prop -> Property

+ Test.QuickCheck.Safe: forAllShrinkBlind :: Testable prop => Gen a -> (a -> [a]) -> (a -> prop) -> Property

- Test.QuickCheck.Safe: forAllShrinkShow :: Testable prop => Gen a -> a -> [a] -> a -> String -> a -> prop -> Property

+ Test.QuickCheck.Safe: forAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> String) -> (a -> prop) -> Property

- Test.QuickCheck.Safe: function :: Function a => a -> b -> a :-> b

+ Test.QuickCheck.Safe: function :: Function a => (a -> b) -> a :-> b

- Test.QuickCheck.Safe: functionBoundedEnum :: (Eq a, Bounded a, Enum a) => a -> b -> a :-> b

+ Test.QuickCheck.Safe: functionBoundedEnum :: (Eq a, Bounded a, Enum a) => (a -> b) -> a :-> b

- Test.QuickCheck.Safe: functionIntegral :: Integral a => a -> b -> a :-> b

+ Test.QuickCheck.Safe: functionIntegral :: Integral a => (a -> b) -> a :-> b

- Test.QuickCheck.Safe: functionMap :: Function b => a -> b -> b -> a -> a -> c -> a :-> c

+ Test.QuickCheck.Safe: functionMap :: Function b => (a -> b) -> (b -> a) -> (a -> c) -> a :-> c

- Test.QuickCheck.Safe: functionRealFrac :: RealFrac a => a -> b -> a :-> b

+ Test.QuickCheck.Safe: functionRealFrac :: RealFrac a => (a -> b) -> a :-> b

- Test.QuickCheck.Safe: functionShow :: (Show a, Read a) => a -> c -> a :-> c

+ Test.QuickCheck.Safe: functionShow :: (Show a, Read a) => (a -> c) -> a :-> c

- Test.QuickCheck.Safe: genericCoarbitrary :: (Generic a, GCoArbitrary Rep a) => a -> Gen b -> Gen b

+ Test.QuickCheck.Safe: genericCoarbitrary :: (Generic a, GCoArbitrary (Rep a)) => a -> Gen b -> Gen b

- Test.QuickCheck.Safe: genericShrink :: (Generic a, RecursivelyShrink Rep a, GSubterms Rep a a) => a -> [a]

+ Test.QuickCheck.Safe: genericShrink :: (Generic a, RecursivelyShrink (Rep a), GSubterms (Rep a) a) => a -> [a]

- Test.QuickCheck.Safe: liftArbitrary :: Arbitrary1 f => Gen a -> Gen f a

+ Test.QuickCheck.Safe: liftArbitrary :: Arbitrary1 f => Gen a -> Gen (f a)

- Test.QuickCheck.Safe: liftArbitrary2 :: Arbitrary2 f => Gen a -> Gen b -> Gen f a b

+ Test.QuickCheck.Safe: liftArbitrary2 :: Arbitrary2 f => Gen a -> Gen b -> Gen (f a b)

- Test.QuickCheck.Safe: liftShrink :: Arbitrary1 f => a -> [a] -> f a -> [f a]

+ Test.QuickCheck.Safe: liftShrink :: Arbitrary1 f => (a -> [a]) -> f a -> [f a]

- Test.QuickCheck.Safe: liftShrink2 :: Arbitrary2 f => a -> [a] -> b -> [b] -> f a b -> [f a b]

+ Test.QuickCheck.Safe: liftShrink2 :: Arbitrary2 f => (a -> [a]) -> (b -> [b]) -> f a b -> [f a b]

- Test.QuickCheck.Safe: recursivelyShrink :: (Generic a, RecursivelyShrink Rep a) => a -> [a]

+ Test.QuickCheck.Safe: recursivelyShrink :: (Generic a, RecursivelyShrink (Rep a)) => a -> [a]

- Test.QuickCheck.Safe: scale :: () => Int -> Int -> Gen a -> Gen a

+ Test.QuickCheck.Safe: scale :: () => (Int -> Int) -> Gen a -> Gen a

- Test.QuickCheck.Safe: shrinkList :: () => a -> [a] -> [a] -> [[a]]

+ Test.QuickCheck.Safe: shrinkList :: () => (a -> [a]) -> [a] -> [[a]]

- Test.QuickCheck.Safe: shrinkMap :: Arbitrary a => a -> b -> b -> a -> b -> [b]

+ Test.QuickCheck.Safe: shrinkMap :: Arbitrary a => (a -> b) -> (b -> a) -> b -> [b]

- Test.QuickCheck.Safe: shrinkMapBy :: () => a -> b -> b -> a -> a -> [a] -> b -> [b]

+ Test.QuickCheck.Safe: shrinkMapBy :: () => (a -> b) -> (b -> a) -> (a -> [a]) -> b -> [b]

- Test.QuickCheck.Safe: sized :: () => Int -> Gen a -> Gen a

+ Test.QuickCheck.Safe: sized :: () => (Int -> Gen a) -> Gen a

- Test.QuickCheck.Safe: subterms :: (Generic a, GSubterms Rep a a) => a -> [a]

+ Test.QuickCheck.Safe: subterms :: (Generic a, GSubterms (Rep a) a) => a -> [a]

- Test.QuickCheck.Safe: suchThat :: () => Gen a -> a -> Bool -> Gen a

+ Test.QuickCheck.Safe: suchThat :: () => Gen a -> (a -> Bool) -> Gen a

- Test.QuickCheck.Safe: suchThatMap :: () => Gen a -> a -> Maybe b -> Gen b

+ Test.QuickCheck.Safe: suchThatMap :: () => Gen a -> (a -> Maybe b) -> Gen b

- Test.QuickCheck.Safe: suchThatMaybe :: () => Gen a -> a -> Bool -> Gen Maybe a

+ Test.QuickCheck.Safe: suchThatMaybe :: () => Gen a -> (a -> Bool) -> Gen (Maybe a)

Files

Changelog +3/−0
QuickCheck-safe.cabal +2/−2

Changelog view

@@ -1,3 +1,6 @@+QuickCheck-safe 0.1.0.6+	* compatibility with QuickCheck 2.13+ QuickCheck-safe 0.1.0.5 	* compatibility with QuickCheck 2.12

QuickCheck-safe.cabal view

@@ -1,5 +1,5 @@ name:                QuickCheck-safe-version:             0.1.0.5+version:             0.1.0.6 synopsis:            Safe reimplementation of QuickCheck's core description:   QuickCheck-safe reimplements the quickCheck functionality with a pure@@ -33,7 +33,7 @@ library   hs-source-dirs:    src   build-depends:-    QuickCheck >= 2.7.3 && < 2.13,+    QuickCheck >= 2.7.3 && < 2.14,     containers >= 0.5 && < 0.7,     base >= 4.6 && < 5   exposed-modules: