checkers 0.1 → 0.1.1
raw patch · 4 files changed
+11/−3 lines, 4 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Test.QuickCheck.Instances.List: setLength :: Int -> Gen a -> Gen [a]
Files
- checkers.cabal +1/−1
- src/Test/QuickCheck/Instances.hs +2/−1
- src/Test/QuickCheck/Instances/List.hs +7/−0
- src/Test/QuickCheck/Instances/Maybe.hs +1/−1
checkers.cabal view
@@ -1,5 +1,5 @@ Name: checkers-Version: 0.1+Version: 0.1.1 Cabal-Version: >= 1.2 Synopsis: Check properties on standard classes and data structures. Category: Testing
src/Test/QuickCheck/Instances.hs view
@@ -3,6 +3,7 @@ (module Test.QuickCheck.Instances.Char ,module Test.QuickCheck.Instances.Eq ,module Test.QuickCheck.Instances.List+ ,module Test.QuickCheck.Instances.Maybe ,module Test.QuickCheck.Instances.Num ,module Test.QuickCheck.Instances.Ord ,module Test.QuickCheck.Instances.Tuple@@ -13,7 +14,7 @@ import Test.QuickCheck.Instances.Eq import Test.QuickCheck.Instances.Int () import Test.QuickCheck.Instances.List-import Test.QuickCheck.Instances.Maybe ()+import Test.QuickCheck.Instances.Maybe import Test.QuickCheck.Instances.Num import Test.QuickCheck.Instances.Ord import Test.QuickCheck.Instances.Tuple
src/Test/QuickCheck/Instances/List.hs view
@@ -1,6 +1,7 @@ module Test.QuickCheck.Instances.List (anyList,nonEmpty ,infiniteList+ ,setLength ,increasing,nondecreasing ,increasingInf,nondecreasingInf ,decreasing,nonincreasing@@ -28,6 +29,12 @@ -} infiniteList :: Gen a -> Gen [a] infiniteList x = liftA2 (:) x (infiniteList x)++{- | Generates a list with a set length+-}+setLength :: Int -> Gen a -> Gen [a]+setLength 0 _ = pure []+setLength n g = (:) <$> g <*> setLength (n-1) g sumA :: (Applicative f, Num a) => f a -> f [a] -> f [a] sumA = liftA2 (scanl (+))
src/Test/QuickCheck/Instances/Maybe.hs view
@@ -1,4 +1,4 @@-module Test.QuickCheck.Instances.Maybe where+module Test.QuickCheck.Instances.Maybe (maybeGen) where import Test.QuickCheck import Test.QuickCheck.Applicative ()