packages feed

QuickCheck 1.2.0.0 → 1.2.0.1

raw patch · 2 files changed

+10/−13 lines, 2 filesdep ~basenew-uploaderPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

- Test.QuickCheck: instance (Arbitrary a) => Arbitrary (Maybe a)
- Test.QuickCheck: instance (Arbitrary a) => Arbitrary [a]
- Test.QuickCheck: quickCheck :: (Testable a) => a -> IO ()
- Test.QuickCheck: test :: (Testable a) => a -> IO ()
- Test.QuickCheck: verboseCheck :: (Testable a) => a -> IO ()
- Test.QuickCheck.Poly: instance (Eq a) => Eq (Poly a)
- Test.QuickCheck.Poly: instance (Ord a) => Ord (Poly a)
+ Test.QuickCheck: instance Arbitrary a => Arbitrary (Maybe a)
+ Test.QuickCheck: instance Arbitrary a => Arbitrary [a]
+ Test.QuickCheck: test, verboseCheck, quickCheck :: Testable a => a -> IO ()
+ Test.QuickCheck.Poly: instance Eq a => Eq (Poly a)
+ Test.QuickCheck.Poly: instance Ord a => Ord (Poly a)
- Test.QuickCheck: (==>) :: (Testable a) => Bool -> a -> Property
+ Test.QuickCheck: (==>) :: Testable a => Bool -> a -> Property
- Test.QuickCheck: arbitrary :: (Arbitrary a) => Gen a
+ Test.QuickCheck: arbitrary :: Arbitrary a => Gen a
- Test.QuickCheck: check :: (Testable a) => Config -> a -> IO ()
+ Test.QuickCheck: check :: Testable a => Config -> a -> IO ()
- Test.QuickCheck: choose :: (Random a) => (a, a) -> Gen a
+ Test.QuickCheck: choose :: Random a => (a, a) -> Gen a
- Test.QuickCheck: classify :: (Testable a) => Bool -> String -> a -> Property
+ Test.QuickCheck: classify :: Testable a => Bool -> String -> a -> Property
- Test.QuickCheck: coarbitrary :: (Arbitrary a) => a -> Gen b -> Gen b
+ Test.QuickCheck: coarbitrary :: Arbitrary a => a -> Gen b -> Gen b
- Test.QuickCheck: evaluate :: (Testable a) => a -> Gen Result
+ Test.QuickCheck: evaluate :: Testable a => a -> Gen Result
- Test.QuickCheck: four :: (Monad m) => m a -> m (a, a, a, a)
+ Test.QuickCheck: four :: Monad m => m a -> m (a, a, a, a)
- Test.QuickCheck: label :: (Testable a) => String -> a -> Property
+ Test.QuickCheck: label :: Testable a => String -> a -> Property
- Test.QuickCheck: property :: (Testable a) => a -> Property
+ Test.QuickCheck: property :: Testable a => a -> Property
- Test.QuickCheck: three :: (Monad m) => m a -> m (a, a, a)
+ Test.QuickCheck: three :: Monad m => m a -> m (a, a, a)
- Test.QuickCheck: trivial :: (Testable a) => Bool -> a -> Property
+ Test.QuickCheck: trivial :: Testable a => Bool -> a -> Property
- Test.QuickCheck: two :: (Monad m) => m a -> m (a, a)
+ Test.QuickCheck: two :: Monad m => m a -> m (a, a)
- Test.QuickCheck: vector :: (Arbitrary a) => Int -> Gen [a]
+ Test.QuickCheck: vector :: Arbitrary a => Int -> Gen [a]
- Test.QuickCheck.Batch: TestAborted :: Exception -> TestResult
+ Test.QuickCheck.Batch: TestAborted :: SomeException -> TestResult
- Test.QuickCheck.Batch: run :: (Testable a) => a -> TestOptions -> IO TestResult
+ Test.QuickCheck.Batch: run :: Testable a => a -> TestOptions -> IO TestResult

Files

QuickCheck.cabal view
@@ -1,5 +1,5 @@ name:		QuickCheck-version:	1.2.0.0+version:	1.2.0.1 license:	BSD3 license-file:	LICENSE author:		Koen Classen and John Hughes@@ -20,7 +20,8 @@ build-type: Simple cabal-version: >=1.2 -flag split-base+flag base3+flag base4  library   exposed-modules:@@ -32,8 +33,12 @@           Test.QuickCheck.Poly,           Test.QuickCheck.Utils,           Test.QuickCheck-  if flag(split-base)+  if flag(base3)     build-depends:	base >= 3 && < 4, random-  else-    build-depends:	base < 3+  else +    if flag(base4)+      build-depends:      base >= 4 && < 5, random+      cpp-options: -DBASE4=1+    else+      build-depends:	base < 3   extensions:	CPP
− prologue.txt 
@@ -1,8 +0,0 @@-A library for testing Haskell programs automatically. The programmer provides a-specification of the program, in the form of properties which functions should-satisfy, and QuickCheck then tests that the properties hold in a large number of-randomly generated cases. Specifications are expressed in Haskell, using-combinators defined in the QuickCheck library. QuickCheck provides combinators-to define properties, observe the distribution of test data, and define test-data generators. For more information, please see:-<http://www.math.chalmers.se/~rjmh/QuickCheck/>.