QuickCheck-safe 0.1.0.6 → 0.1.0.7
raw patch · 2 files changed
+6/−3 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: pattern Fn3 :: forall a b c d. () => () => (a -> b -> c -> d) -> Fun (a, b, c) d
+ Test.QuickCheck.Safe: ($dmcoarbitrary) :: (CoArbitrary a, Generic a, GCoArbitrary (Rep a)) => a -> Gen b -> Gen b
+ Test.QuickCheck.Safe: ($dmfunction) :: (Function a, Generic a, GFunction (Rep a)) => (a -> b) -> a :-> b
+ Test.QuickCheck.Safe: Every :: p -> Every
+ Test.QuickCheck.Safe: Some :: p -> Some
+ Test.QuickCheck.Safe: TestProgress :: Int -> Int -> Int -> Int -> Int -> Int -> TestProgress
+ Test.QuickCheck.Safe: Wit :: a -> Witness
+ Test.QuickCheck.Safe: [currentDiscarded] :: TestProgress -> Int
+ Test.QuickCheck.Safe: [currentFailedShrinks] :: TestProgress -> Int
+ Test.QuickCheck.Safe: [currentPassed] :: TestProgress -> Int
+ Test.QuickCheck.Safe: [currentShrinks] :: TestProgress -> Int
+ Test.QuickCheck.Safe: [currentTotalShrinks] :: TestProgress -> Int
+ Test.QuickCheck.Safe: [getEvery] :: Every -> p
+ Test.QuickCheck.Safe: [getSome] :: Some -> p
+ Test.QuickCheck.Safe: [maxTests] :: TestProgress -> Int
+ Test.QuickCheck.Safe: [witnesses] :: Result -> [Witness]
+ Test.QuickCheck.Safe: castWitness :: Typeable a => Witness -> Maybe a
+ Test.QuickCheck.Safe: chooseAny :: Random a => Gen a
+ Test.QuickCheck.Safe: chooseBoundedIntegral :: (Bounded a, Integral a) => (a, a) -> Gen a
+ Test.QuickCheck.Safe: chooseEnum :: Enum a => (a, a) -> Gen a
+ Test.QuickCheck.Safe: chooseInt :: (Int, Int) -> Gen Int
+ Test.QuickCheck.Safe: chooseInt64 :: (Int64, Int64) -> Gen Int64
+ Test.QuickCheck.Safe: chooseInteger :: (Integer, Integer) -> Gen Integer
+ Test.QuickCheck.Safe: chooseUpTo :: Word64 -> Gen Word64
+ Test.QuickCheck.Safe: chooseWord64 :: (Word64, Word64) -> Gen Word64
+ Test.QuickCheck.Safe: coerceWitness :: Typeable a => Witness -> a
+ Test.QuickCheck.Safe: data Every
+ Test.QuickCheck.Safe: data Some
+ Test.QuickCheck.Safe: data TestProgress
+ Test.QuickCheck.Safe: data Witness
+ Test.QuickCheck.Safe: discardAfter :: Testable prop => Int -> prop -> Property
+ Test.QuickCheck.Safe: functionVoid :: (forall b. () => void -> b) -> void :-> c
+ Test.QuickCheck.Safe: pattern Fn :: (a -> b) -> Fun a b
+ Test.QuickCheck.Safe: pattern Fn2 :: (a -> b -> c) -> Fun (a, b) c
+ Test.QuickCheck.Safe: pattern Fn3 :: (a -> b -> c -> d) -> Fun (a, b, c) d
+ Test.QuickCheck.Safe: recheck :: Testable prop => Result -> prop -> IO ()
+ Test.QuickCheck.Safe: shrinkBoundedEnum :: (Bounded a, Enum a, Eq a) => a -> [a]
+ Test.QuickCheck.Safe: withDiscardRatio :: Testable prop => Int -> prop -> Property
+ Test.QuickCheck.Safe: withMaxShrinks :: Testable prop => Int -> prop -> Property
+ Test.QuickCheck.Safe: withMaxSize :: Testable prop => Int -> prop -> Property
+ Test.QuickCheck.Safe: withNumTests :: Testable prop => Int -> prop -> Property
+ Test.QuickCheck.Safe: withProgress :: Testable prop => (TestProgress -> IO ()) -> prop -> Property
+ Test.QuickCheck.Safe: witness :: (Typeable a, Show a, Testable prop) => a -> prop -> Property
- 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: Failure :: Int -> Int -> Int -> Int -> Int -> QCGen -> Int -> String -> Maybe AnException -> String -> [String] -> [String] -> Set String -> Result
+ Test.QuickCheck.Safe: Failure :: Int -> Int -> Int -> Int -> Int -> QCGen -> Int -> String -> Maybe AnException -> String -> [String] -> [String] -> Set String -> [Witness] -> Result
- Test.QuickCheck.Safe: applyFun :: () => Fun a b -> a -> b
+ Test.QuickCheck.Safe: applyFun :: Fun a b -> a -> b
- Test.QuickCheck.Safe: applyFun2 :: () => Fun (a, b) c -> a -> b -> c
+ Test.QuickCheck.Safe: applyFun2 :: Fun (a, b) c -> a -> b -> c
- Test.QuickCheck.Safe: applyFun3 :: () => Fun (a, b, c) d -> a -> b -> c -> d
+ Test.QuickCheck.Safe: applyFun3 :: Fun (a, b, c) d -> a -> b -> c -> d
- Test.QuickCheck.Safe: discard :: () => a
+ Test.QuickCheck.Safe: discard :: a
- Test.QuickCheck.Safe: elements :: () => [a] -> Gen a
+ Test.QuickCheck.Safe: elements :: HasCallStack => [a] -> Gen a
- Test.QuickCheck.Safe: frequency :: () => [(Int, Gen a)] -> Gen a
+ Test.QuickCheck.Safe: frequency :: HasCallStack => [(Int, Gen a)] -> Gen a
- Test.QuickCheck.Safe: generate :: () => Gen a -> IO a
+ Test.QuickCheck.Safe: generate :: Gen a -> IO a
- Test.QuickCheck.Safe: growingElements :: () => [a] -> Gen a
+ Test.QuickCheck.Safe: growingElements :: HasCallStack => [a] -> Gen a
- Test.QuickCheck.Safe: infiniteListOf :: () => Gen a -> Gen [a]
+ Test.QuickCheck.Safe: infiniteListOf :: Gen a -> Gen [a]
- Test.QuickCheck.Safe: listOf :: () => Gen a -> Gen [a]
+ Test.QuickCheck.Safe: listOf :: Gen a -> Gen [a]
- Test.QuickCheck.Safe: listOf1 :: () => Gen a -> Gen [a]
+ Test.QuickCheck.Safe: listOf1 :: Gen a -> Gen [a]
- Test.QuickCheck.Safe: oneof :: () => [Gen a] -> Gen a
+ Test.QuickCheck.Safe: oneof :: HasCallStack => [Gen a] -> Gen a
- Test.QuickCheck.Safe: resize :: () => Int -> Gen a -> Gen a
+ Test.QuickCheck.Safe: resize :: HasCallStack => Int -> Gen a -> Gen a
- Test.QuickCheck.Safe: sample' :: () => Gen a -> IO [a]
+ Test.QuickCheck.Safe: sample' :: Gen a -> IO [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: shrinkMapBy :: () => (a -> b) -> (b -> a) -> (a -> [a]) -> b -> [b]
+ Test.QuickCheck.Safe: shrinkMapBy :: (a -> b) -> (b -> a) -> (a -> [a]) -> b -> [b]
- Test.QuickCheck.Safe: shrinkNothing :: () => a -> [a]
+ Test.QuickCheck.Safe: shrinkNothing :: a -> [a]
- Test.QuickCheck.Safe: shuffle :: () => [a] -> Gen [a]
+ Test.QuickCheck.Safe: shuffle :: [a] -> Gen [a]
- Test.QuickCheck.Safe: sized :: () => (Int -> Gen a) -> Gen a
+ Test.QuickCheck.Safe: sized :: (Int -> Gen a) -> Gen a
- Test.QuickCheck.Safe: sublistOf :: () => [a] -> Gen [a]
+ Test.QuickCheck.Safe: sublistOf :: [a] -> Gen [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)
- Test.QuickCheck.Safe: vectorOf :: () => Int -> Gen a -> Gen [a]
+ Test.QuickCheck.Safe: vectorOf :: Int -> Gen a -> Gen [a]
Files
- QuickCheck-safe.cabal +3/−3
- src/Test/QuickCheck/Safe.hs +3/−0
QuickCheck-safe.cabal view
@@ -1,5 +1,5 @@ name: QuickCheck-safe-version: 0.1.0.6+version: 0.1.0.7 synopsis: Safe reimplementation of QuickCheck's core description: QuickCheck-safe reimplements the quickCheck functionality with a pure@@ -33,8 +33,8 @@ library hs-source-dirs: src build-depends:- QuickCheck >= 2.7.3 && < 2.14,- containers >= 0.5 && < 0.7,+ QuickCheck >= 2.7.3 && < 2.19,+ containers >= 0.5 && < 0.9, base >= 4.6 && < 5 exposed-modules: Test.QuickCheck.Safe
src/Test/QuickCheck/Safe.hs view
@@ -235,6 +235,9 @@ failingLabels = sLabels res, failingClasses = S.empty, #endif+#if MIN_VERSION_QuickCheck(2,16,0)+ witnesses = [],+#endif output = "*** Failed! " ++ reason ++ " (after " ++ count (pass + 1) "test" ++ (if shr > 0 then " and " ++ count shr "shrink" else "") ++