genvalidity-sydtest-persistent 0.0.0.1 → 1.0.0.0

raw patch · 5 files changed

+26/−24 lines, 5 filesdep ~genvalidityPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: genvalidity

API changes (from Hackage documentation)

Files

• CHANGELOG.md +11/−0
• LICENSE +1/−1
• genvalidity-sydtest-persistent.cabal +8/−5
• src/Test/Syd/Validity/Persist.hs +5/−17
• test/Test/Syd/Validity/PersistSpec.hs +1/−1

@@ -0,0 +1,11 @@+# Changelog++## [1.0.0.0] - 2021-11-20++* Compatibility with `genvalidity >= 1.0.0.0`+* Renamed every combinator that ends in `OnValid` (or similar) to not have that suffix anymore.++### Removed++* Every combinator that relates to unchecked or invalid values.+

@@ -1,6 +1,6 @@ The MIT License (MIT) -Copyright (c) 2020 Tom Sydney Kerckhove+Copyright (c) 2016-2021 Tom Sydney Kerckhove  Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal

@@ -1,21 +1,24 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.34.2.+-- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack  name:           genvalidity-sydtest-persistent-version:        0.0.0.1+version:        1.0.0.0 synopsis:       Standard spec's for persistent-related instances for sydtest category:       Testing homepage:       http://cs-syd.eu bug-reports:    https://github.com/NorfairKing/validity/issues author:         Tom Sydney Kerckhove maintainer:     syd@cs-syd.eu-copyright:      Copyright: (c) 2020 Tom Sydney Kerckhove+copyright:      Copyright: (c) 2016-2021 Tom Sydney Kerckhove license:        MIT license-file:   LICENSE build-type:     Simple+extra-source-files:+    LICENSE+    CHANGELOG.md  source-repository head   type: git@@ -32,7 +35,7 @@   build-depends:       QuickCheck     , base >=4.9 && <=5-    , genvalidity >=0.5+    , genvalidity >=1.0     , genvalidity-sydtest     , persistent     , sydtest@@ -53,7 +56,7 @@   build-depends:       QuickCheck     , base >=4.9 && <=5-    , genvalidity >=0.7+    , genvalidity     , genvalidity-sydtest     , genvalidity-sydtest-persistent     , genvalidity-text

@@ -6,8 +6,7 @@ -- -- You will need @TypeApplications@ to use these. module Test.Syd.Validity.Persist-  ( persistSpecOnValid,-    persistSpec,+  ( persistSpec,     persistSpecOnArbitrary,     persistSpecOnGen,     fromPersistValueAndToPersistValueAreInversesOnGen,@@ -26,23 +25,12 @@ -- -- Example usage: ----- > persistSpecOnValid @Rational-persistSpecOnValid ::-  forall a.-  (Show a, Eq a, Typeable a, GenValid a, PersistField a) =>-  Spec-persistSpecOnValid = persistSpecOnGen (genValid @a) "valid" shrinkValid---- | Standard test spec for properties of persistent-related functions for unchecked values------ Example usage:--- -- > persistSpec @Int persistSpec ::   forall a.-  (Show a, Eq a, Typeable a, GenUnchecked a, PersistField a) =>+  (Show a, Eq a, Typeable a, GenValid a, PersistField a) =>   Spec-persistSpec = persistSpecOnGen (genUnchecked @a) "unchecked" shrinkUnchecked+persistSpec = persistSpecOnGen (genValid @a) "valid" shrinkValid  -- | Standard test spec for properties of persistent-related functions for arbitrary values --@@ -85,13 +73,13 @@ -- -- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Bool arbitrary shrink ----- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Bool genUnchecked shrinkUnchecked+-- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Bool genValid shrinkValid -- -- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Bool genValid shrinkValid -- -- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Int arbitrary shrink ----- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Int genUnchecked shrinkUnchecked+-- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Int genValid shrinkValid -- -- prop> fromPersistValueAndToPersistValueAreInversesOnGen @Int genValid shrinkValid fromPersistValueAndToPersistValueAreInversesOnGen ::

@@ -10,6 +10,6 @@ spec = do   persistSpecOnGen (genListOf $ pure 'a') "sequence of 'a's" (const [])   -- persistSpec @Double -- DOES NOT HOLD-  persistSpecOnValid @Rational+  persistSpec @Rational   persistSpec @Int   persistSpecOnArbitrary @Int