genvalidity-property 0.3.0.0 → 0.4.0.0
raw patch · 2 files changed
+7/−4 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
- Test.Validity.Functions: failsOnInvalid2 :: (Show a, Show b, Show c, Show (f c), GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property
+ Test.Validity.Functions: failsOnInvalid2 :: (Show a, Show b, Show c, Show (f c), GenUnchecked a, GenUnchecked b, GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property
- Test.Validity.Functions.CanFail: failsOnInvalid2 :: (Show a, Show b, Show c, Show (f c), GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property
+ Test.Validity.Functions.CanFail: failsOnInvalid2 :: (Show a, Show b, Show c, Show (f c), GenUnchecked a, GenUnchecked b, GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property
- Test.Validity.Property: failsOnInvalid2 :: (Show a, Show b, Show c, Show (f c), GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property
+ Test.Validity.Property: failsOnInvalid2 :: (Show a, Show b, Show c, Show (f c), GenUnchecked a, GenUnchecked b, GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property
Files
genvalidity-property.cabal view
@@ -1,11 +1,13 @@--- This file has been generated from package.yaml by hpack version 0.28.2.+cabal-version: 1.12++-- This file has been generated from package.yaml by hpack version 0.31.1. -- -- see: https://github.com/sol/hpack ----- hash: e10039becc2df447bf74a5317c786e342f17d4408e0c705530ef0e5fbd93a8f1+-- hash: 10434d85507b6aae25f65eb574518c1631521ad8fe1f6fabaae6ea9ef148f055 name: genvalidity-property-version: 0.3.0.0+version: 0.4.0.0 synopsis: Standard properties for functions on `Validity` types description: Standard properties for functions on `Validity` types category: Testing@@ -18,7 +20,6 @@ license: MIT license-file: LICENSE build-type: Simple-cabal-version: >= 1.10 source-repository head type: git
src/Test/Validity/Functions/CanFail.hs view
@@ -172,6 +172,8 @@ , Show b , Show c , Show (f c)+ , GenUnchecked a+ , GenUnchecked b , GenInvalid a , GenInvalid b , CanFail f