genvalidity-aeson 1.0.0.1 → 1.1.0.0

raw patch · 4 files changed

+33/−16 lines, 4 filesdep −validitydep ~genvaliditydep ~genvalidity-criterionPVP ok

version bump matches the API change (PVP)

Dependencies removed: validity

Dependency ranges changed: genvalidity, genvalidity-criterion

API changes (from Hackage documentation)

Files

• CHANGELOG.md +7/−0
• bench/Main.hs +13/−1
• genvalidity-aeson.cabal +4/−6
• src/Data/GenValidity/Aeson.hs +9/−9

@@ -1,5 +1,12 @@ # Changelog +## [1.1.0.0] - 2022-08-30++### Changed++* Shrinking a `Value` now also shrinks to `Null` in every case.+* Sped up generating `Key` by going via `Text` instead of going via `String`+ ## [1.0.0.1] - 2022-04-26  ### Added

@@ -12,4 +12,16 @@ main :: IO () main =   Criterion.defaultMain-    [genValidBench @Array, genValidBench @Object, genValidBench @Value]+    [ bgroup+        "generators"+        [ genValidBench @Array,+          genValidBench @Object,+          genValidBench @Value+        ],+      bgroup+        "shrinkers"+        [ shrinkValidBench @Array,+          shrinkValidBench @Object,+          shrinkValidBench @Value+        ]+    ]

@@ -1,18 +1,18 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.34.7.+-- This file has been generated from package.yaml by hpack version 0.38.3. -- -- see: https://github.com/sol/hpack  name:           genvalidity-aeson-version:        1.0.0.1+version:        1.1.0.0 synopsis:       GenValidity support for aeson category:       Testing homepage:       https://github.com/NorfairKing/validity#readme bug-reports:    https://github.com/NorfairKing/validity/issues author:         Tom Sydney Kerckhove maintainer:     syd@cs-syd.eu-copyright:      Copyright: (c) 2016-2021 Tom Sydney Kerckhove+copyright:      Copyright: (c) 2016-2022 Tom Sydney Kerckhove license:        MIT license-file:   LICENSE build-type:     Simple@@ -40,7 +40,6 @@     , genvalidity-text >=0.5     , genvalidity-unordered-containers >=0.2     , genvalidity-vector >=0.2-    , validity >=0.5     , validity-aeson >=0.2   default-language: Haskell2010 @@ -57,7 +56,6 @@       aeson >=1.4.0.0     , base >=4.10 && <5     , deepseq-    , genvalidity     , genvalidity-aeson     , genvalidity-hspec     , hspec@@ -76,5 +74,5 @@     , base >=4.10 && <5     , criterion     , genvalidity-aeson-    , genvalidity-criterion+    , genvalidity-criterion >=1.1.0.0   default-language: Haskell2010

@@ -20,8 +20,8 @@  #if MIN_VERSION_aeson(2,0,0) instance GenValid Key where-  genValid = K.fromString <$> genValid-  shrinkValid = fmap K.fromString . shrinkValid . K.toString+   genValid = K.fromText <$> genValid+   shrinkValid = fmap K.fromText . shrinkValid . K.toText  instance (GenValid v) => GenValid (KeyMap v) where   genValid = KM.fromList <$> genValid@@ -39,12 +39,12 @@         pure Null       ]   shrinkValid (Object hm) =-    toList hm-      ++ (Object <$> shrinkValid hm)+    Null+      : (toList hm ++ (Object <$> shrinkValid hm))   shrinkValid (Array a) =-    toList a-      ++ (Array <$> shrinkValid a)-  shrinkValid (String s) = String <$> shrinkValid s-  shrinkValid (Number s) = Number <$> shrinkValid s-  shrinkValid (Bool s) = Bool <$> shrinkValid s+    Null+      : (toList a ++ (Array <$> shrinkValid a))+  shrinkValid (String s) = Null : (String <$> shrinkValid s)+  shrinkValid (Number s) = Null : (Number <$> shrinkValid s)+  shrinkValid (Bool s) = Null : (Bool <$> shrinkValid s)   shrinkValid Null = []