test-invariant 0.3.1.2 → 0.4.0.0

raw patch · 2 files changed

+15/−7 lines, 2 filesdep ~basePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base

API changes (from Hackage documentation)

Files

• src/Test/Invariant.hs +9/−2
• test-invariant.cabal +6/−5

@@ -1,6 +1,7 @@ module Test.Invariant where  import Test.QuickCheck+ infix 1 <=>, &>  -- | Defines extensional equality.  This allows concise, point-free,@@ -151,16 +152,22 @@ -- -- >>> quickCheck $ inflating (1:) -- +++ OK, passed 100 tests.-inflating :: (Foldable f, Foldable f') => (f a -> f' b) -> f a -> Bool+inflating :: ([a] -> [b]) -> [a] -> Bool inflating f xs = length (f xs) > length xs+-- For GHC 7.10+-- inflating :: (Foldable f, Foldable f') => (f a -> f' b) -> f a -> Bool+-- inflating f xs = length (f xs) > length xs  -- | Checks whether a function decreases the size of a foldable. -- -- -- >>> quickCheck $ deflating tail -- +++ OK, passed 100 tests.-deflating :: (Foldable f, Foldable f') => (f a -> f' b) -> f a -> Bool+deflating :: ([a] -> [b]) -> [a] -> Bool deflating f xs = null xs || length (f xs) < length xs+-- For GHC 7.10+-- deflating :: (Foldable f, Foldable f') => (f a -> f' b) -> f a -> Bool+-- deflating f xs = null xs || length (f xs) < length xs  -- | Checks whether a function is cyclic by applying its result to -- itself within n applications.

@@ -1,5 +1,5 @@ name:                test-invariant-version:             0.3.1.2+version:             0.4.0.0 synopsis:            Provide common invariants to be checked with QuickCheck  description: test-invariant is a library for providing common invariants of@@ -15,11 +15,12 @@ author:              Florian Knupfer <fknupfer@gmail.com> maintainer:          Florian Knupfer <fknupfer@gmail.com> copyright:           2015 Florian Knupfer+tested-with:         GHC >= 7.10 category:            Testing build-type:          Simple homepage:            https://github.com/knupfer/test-invariant -- extra-source-files:-cabal-version:       >=1.10+cabal-version:       >= 1.10  source-repository head   type:     git@@ -29,14 +30,14 @@   exposed-modules:   Test.Invariant   -- other-modules:   -- other-extensions:-  build-depends:     base >=4.8 && <4.9+  build-depends:     base == 4.*                    , QuickCheck   hs-source-dirs:    src   default-language:  Haskell2010  test-suite Tasty   type:              exitcode-stdio-1.0-  build-depends:     base >=4.8 && <4.9+  build-depends:     base == 4.*                    , test-invariant                    , QuickCheck                    , tasty@@ -46,7 +47,7 @@   default-language:  Haskell2010  benchmark Criterion-  build-depends:     base+  build-depends:     base == 4.*                    , test-invariant                    , criterion                    , QuickCheck