QuickCheck-safe 0.1.0.1 → 0.1.0.2
raw patch · 3 files changed
+17/−3 lines, 3 filesdep ~QuickCheckPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: QuickCheck
API changes (from Hackage documentation)
- Test.QuickCheck.Safe: instance [safe] (Arbitrary a, Show a, STestable prop) => STestable (a -> prop)
- Test.QuickCheck.Safe: instance [safe] STestable Bool
- Test.QuickCheck.Safe: instance [safe] STestable SProperty
- Test.QuickCheck.Safe: instance [safe] STestable prop => STestable (Gen prop)
+ Test.QuickCheck.Safe: instance (Test.QuickCheck.Arbitrary.Arbitrary a, GHC.Show.Show a, Test.QuickCheck.Safe.STestable prop) => Test.QuickCheck.Safe.STestable (a -> prop)
+ Test.QuickCheck.Safe: instance Test.QuickCheck.Safe.STestable GHC.Types.Bool
+ Test.QuickCheck.Safe: instance Test.QuickCheck.Safe.STestable Test.QuickCheck.Safe.SProperty
+ Test.QuickCheck.Safe: instance Test.QuickCheck.Safe.STestable prop => Test.QuickCheck.Safe.STestable (Test.QuickCheck.Gen.Gen prop)
Files
- Changelog +8/−0
- QuickCheck-safe.cabal +4/−3
- src/Test/QuickCheck/Safe.hs +5/−0
+ Changelog view
@@ -0,0 +1,8 @@+QuickCheck-safe 0.1.0.2+ * compatibility with QuickCheck 2.9++QuickCheck-safe 0.1.0.1+ * compatibility with QuickCheck 2.7++QuickCheck-safe 0.1+ * initial release
QuickCheck-safe.cabal view
@@ -1,5 +1,5 @@ name: QuickCheck-safe-version: 0.1.0.1+version: 0.1.0.2 synopsis: Safe reimplementation of QuickCheck's core description: QuickCheck-safe reimplements the quickCheck functionality with a pure@@ -20,10 +20,11 @@ license-file: LICENSE author: Bertram Felgenhauer maintainer: Bertram Felgenhauer <int-e@gmx.de>-copyright: 2015 Bertram Felgenhauer+copyright: 2015, 2017 Bertram Felgenhauer category: Testing build-type: Simple cabal-version: >= 1.10+extra-source-files: Changelog source-repository head type: git@@ -32,7 +33,7 @@ library hs-source-dirs: src build-depends:- QuickCheck >= 2.7 && < 2.9,+ QuickCheck >= 2.7.3 && < 2.10, base >= 4.6 && < 5 exposed-modules: Test.QuickCheck.Safe
src/Test/QuickCheck/Safe.hs view
@@ -164,12 +164,17 @@ -- conjoin :: STestable prop => [prop] -> SProperty -- counterexample :: STestable prop => String -> prop -> SProperty -- cover :: STestable prop => Bool -> Int -> String -> prop -> SProperty+-- (leads to InsufficientCoverage result) -- disjoin :: STestable prop => [prop] -> SProperty -- expectFailure :: STestable prop => prop -> SProperty+-- (leads to NoExpectedFailure result) -- once :: STestable prop => prop -> SProperty -- printTestCase :: STestable prop => String -> prop -> SProperty -- verbose :: STestable prop => prop -> SProperty -- within :: STestable prop => Int -> prop -> SProperty+-- once :: STestable prop => prop -> Property+-- again :: STestable prop => prop -> Property+-- noShrinking :: STestable prop => prop -> Property -- | Cf. 'Test.QuickCheck.quickCheckWithResult'. Note that in contrast to -- QuickCheck's function, this one takes an additional 'QCGen' argument.