packages feed

QuickCheck 2.12.4 → 2.12.5

raw patch · 3 files changed

+8/−4 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Test.QuickCheck: isSuccess :: Result -> Bool
+ Test.QuickCheck.Gen: MkGen :: QCGen -> Int -> a -> Gen a
+ Test.QuickCheck.Gen: [unGen] :: Gen a -> QCGen -> Int -> a
+ Test.QuickCheck.Gen: choose :: Random a => (a, a) -> Gen a
+ Test.QuickCheck.Gen: chooseAny :: Random a => Gen a
+ Test.QuickCheck.Gen: elements :: [a] -> Gen a
+ Test.QuickCheck.Gen: frequency :: [(Int, Gen a)] -> Gen a
+ Test.QuickCheck.Gen: generate :: Gen a -> IO a
+ Test.QuickCheck.Gen: getSize :: Gen Int
+ Test.QuickCheck.Gen: growingElements :: [a] -> Gen a
+ Test.QuickCheck.Gen: infiniteListOf :: Gen a -> Gen [a]
+ Test.QuickCheck.Gen: instance Control.Monad.Fix.MonadFix Test.QuickCheck.Gen.Gen
+ Test.QuickCheck.Gen: instance GHC.Base.Applicative Test.QuickCheck.Gen.Gen
+ Test.QuickCheck.Gen: instance GHC.Base.Functor Test.QuickCheck.Gen.Gen
+ Test.QuickCheck.Gen: instance GHC.Base.Monad Test.QuickCheck.Gen.Gen
+ Test.QuickCheck.Gen: listOf :: Gen a -> Gen [a]
+ Test.QuickCheck.Gen: listOf1 :: Gen a -> Gen [a]
+ Test.QuickCheck.Gen: newtype Gen a
+ Test.QuickCheck.Gen: oneof :: [Gen a] -> Gen a
+ Test.QuickCheck.Gen: resize :: Int -> Gen a -> Gen a
+ Test.QuickCheck.Gen: sample :: Show a => Gen a -> IO ()
+ Test.QuickCheck.Gen: sample' :: Gen a -> IO [a]
+ Test.QuickCheck.Gen: scale :: (Int -> Int) -> Gen a -> Gen a
+ Test.QuickCheck.Gen: shuffle :: [a] -> Gen [a]
+ Test.QuickCheck.Gen: sized :: (Int -> Gen a) -> Gen a
+ Test.QuickCheck.Gen: sublistOf :: [a] -> Gen [a]
+ Test.QuickCheck.Gen: suchThat :: Gen a -> (a -> Bool) -> Gen a
+ Test.QuickCheck.Gen: suchThatMap :: Gen a -> (a -> Maybe b) -> Gen b
+ Test.QuickCheck.Gen: suchThatMaybe :: Gen a -> (a -> Bool) -> Gen (Maybe a)
+ Test.QuickCheck.Gen: variant :: Integral n => n -> Gen a -> Gen a
+ Test.QuickCheck.Gen: vectorOf :: Int -> Gen a -> Gen [a]

Files

QuickCheck.cabal view
@@ -1,5 +1,5 @@ Name: QuickCheck-Version: 2.12.4+Version: 2.12.5 Cabal-Version: >= 1.8 Build-type: Simple License: BSD3@@ -55,7 +55,7 @@ source-repository this   type:     git   location: https://github.com/nick8325/quickcheck-  tag:      2.12.4+  tag:      2.12.5  flag templateHaskell   Description: Build Test.QuickCheck.All, which uses Template Haskell.
Test/QuickCheck.hs view
@@ -45,6 +45,7 @@   , quickCheckWith   , quickCheckWithResult   , quickCheckResult+  , isSuccess     -- ** Running tests verbosely   , verboseCheck   , verboseCheckWith@@ -171,8 +172,8 @@   , functionBoundedEnum      -- * The 'CoArbitrary' typeclass: generation of functions the old-fashioned way-#ifndef NO_GENERICS   , CoArbitrary(..)+#ifndef NO_GENERICS   , genericCoarbitrary #endif   , variant
Test/QuickCheck/Gen.hs view
@@ -1,9 +1,12 @@-{-# OPTIONS_HADDOCK hide #-} {-# LANGUAGE CPP #-} #ifndef NO_ST_MONAD {-# LANGUAGE Rank2Types #-} #endif -- | Test case generation.+--+-- __Note__: the contents of this module (except for the definition of+-- 'Gen') are re-exported by "Test.QuickCheck". You probably do not+-- need to import it directly. module Test.QuickCheck.Gen where  --------------------------------------------------------------------------