genvalidity-sydtest-persistent 1.0.0.0 → 1.0.0.1

raw patch · 3 files changed

+16/−18 lines, 3 filesdep −genvalidity-textdep −validityPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies removed: genvalidity-text, validity

API changes (from Hackage documentation)

Files

• CHANGELOG.md +4/−0
• genvalidity-sydtest-persistent.cabal +3/−9
• src/Test/Syd/Validity/Persist.hs +9/−9

@@ -1,5 +1,9 @@ # Changelog +## [1.0.0.1] - 2026-02-12++* Made the Spec return type more general: TestDef outers ()+ ## [1.0.0.0] - 2021-11-20  * Compatibility with `genvalidity >= 1.0.0.0`

@@ -1,11 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.34.4.+-- This file has been generated from package.yaml by hpack version 0.38.3. -- -- see: https://github.com/sol/hpack  name:           genvalidity-sydtest-persistent-version:        1.0.0.0+version:        1.0.0.1 synopsis:       Standard spec's for persistent-related instances for sydtest category:       Testing homepage:       http://cs-syd.eu@@ -54,14 +54,8 @@   build-tool-depends:       sydtest-discover:sydtest-discover   build-depends:-      QuickCheck-    , base >=4.9 && <=5+      base >=4.9 && <=5     , genvalidity-    , genvalidity-sydtest     , genvalidity-sydtest-persistent-    , genvalidity-text-    , persistent     , sydtest-    , text-    , validity >=0.9   default-language: Haskell2010

@@ -27,9 +27,9 @@ -- -- > persistSpec @Int persistSpec ::-  forall a.+  forall a outers.   (Show a, Eq a, Typeable a, GenValid a, PersistField a) =>-  Spec+  TestDef outers () persistSpec = persistSpecOnGen (genValid @a) "valid" shrinkValid  -- | Standard test spec for properties of persistent-related functions for arbitrary values@@ -38,9 +38,9 @@ -- -- > persistSpecOnArbitrary @Int persistSpecOnArbitrary ::-  forall a.+  forall a outers.   (Show a, Eq a, Typeable a, Arbitrary a, PersistField a) =>-  Spec+  TestDef outers () persistSpecOnArbitrary = persistSpecOnGen (arbitrary @a) "arbitrary" shrink  -- | Standard test spec for properties of persistent-related functions for a given generator (and a name for that generator).@@ -49,25 +49,25 @@ -- -- > persistSpecOnGen (genListOf $ pure 'a') "sequence of 'a's" persistSpecOnGen ::-  forall a.+  forall a outers.   (Show a, Eq a, Typeable a, PersistField a) =>   Gen a ->   String ->   (a -> [a]) ->-  Spec+  TestDef outers () persistSpecOnGen gen genname s =   parallel $ do     let name = nameOf @a     describe ("PersistField " ++ name ++ " (" ++ genname ++ ")") $ do-      describe ("fromPersistValue :: PersistValue -> Either Text " ++ name) $-        it+      describe ("fromPersistValue :: PersistValue -> Either Text " ++ name)+        $ it           ( unwords               [ "ensures that toPersistValue and fromPersistValue are inverses for",                 "\"" ++ genname,                 name ++ "\"" ++ "'s"               ]           )-          $ fromPersistValueAndToPersistValueAreInversesOnGen gen s+        $ fromPersistValueAndToPersistValueAreInversesOnGen gen s  -- | --