genvalidity-containers 0.8.0.1 → 0.8.0.2

raw patch · 6 files changed

+61/−14 lines, 6 filesdep +criteriondep +genvalidity-criteriondep ~basedep ~genvalidity-containersPVP ok

version bump matches the API change (PVP)

Dependencies added: criterion, genvalidity-criterion

Dependency ranges changed: base, genvalidity-containers

API changes (from Hackage documentation)

Files

• CHANGELOG.md +8/−0
• LICENSE +1/−1
• bench/Main.hs +26/−0
• genvalidity-containers.cabal +23/−8
• src/Data/GenValidity/Map.hs +1/−1
• test/Test/Validity/Containers/TreeSpec.hs +2/−4

@@ -2,6 +2,14 @@  ## [Unreleased] +## [0.8.0.2] - 2020-02-10++### Changed++* Improved the cabal file+* Removed the show constraint for keys on 'GenUnchecked (Map k v)'+* Removed the shrinking tests for trees+ ## [0.8.0.1] - 2019-12-04  ### Changed

@@ -1,6 +1,6 @@ The MIT License (MIT) -Copyright (c) 2016 Tom Sydney Kerckhove+Copyright (c) 2016-2020 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

@@ -0,0 +1,26 @@+{-# LANGUAGE AllowAmbiguousTypes #-}+{-# LANGUAGE TypeApplications #-}+{-# LANGUAGE ScopedTypeVariables #-}++module Main where++import Data.Map (Map)+import Data.Sequence (Seq)+import Data.Set (Set)+import Data.Tree (Forest, Tree)++import Criterion.Main as Criterion+++import Data.GenValidity.Containers ()+import Data.GenValidity.Criterion++main :: IO ()+main =+  Criterion.defaultMain+    [ genValidBench @(Set Int)+    , genValidBench @(Seq Int)+    , genValidBench @(Tree Int)+    , genValidBench @(Forest Int)+    , genValidBench @(Map Int Int)+    ]

@@ -1,22 +1,20 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.31.2.+-- This file has been generated from package.yaml by hpack version 0.33.0. -- -- see: https://github.com/sol/hpack ----- hash: 441a213ff410a2036dd1d487852265991c03456927b9866914542413775969d8+-- hash: cc5a5331fe04afda9869d3afa266c4dca21b717141d42d91d701385413187885  name:           genvalidity-containers-version:        0.8.0.1+version:        0.8.0.2 synopsis:       GenValidity support for containers-description:    Please see README.md category:       Testing homepage:       https://github.com/NorfairKing/validity#readme bug-reports:    https://github.com/NorfairKing/validity/issues author:         Tom Sydney Kerckhove-maintainer:     syd.kerckhove@gmail.com,-                nick.van.den.broeck666@gmail.com-copyright:      Copyright: (c) 2016-2019 Tom Sydney Kerckhove+maintainer:     syd@cs-syd.eu+copyright:      Copyright: (c) 2016-2020 Tom Sydney Kerckhove license:        MIT license-file:   LICENSE build-type:     Simple@@ -40,7 +38,7 @@       src   build-depends:       QuickCheck-    , base <5+    , base >=4.9 && <=5     , containers     , genvalidity >=0.8     , validity >=0.5@@ -68,4 +66,21 @@     , genvalidity-property >=0.5     , hspec     , validity >=0.9+  default-language: Haskell2010++benchmark genvalidity-containers-bench+  type: exitcode-stdio-1.0+  main-is: Main.hs+  other-modules:+      Paths_genvalidity_containers+  hs-source-dirs:+      bench/+  ghc-options: -Wall+  build-depends:+      QuickCheck+    , base >=4.9 && <=5+    , containers+    , criterion+    , genvalidity-containers+    , genvalidity-criterion   default-language: Haskell2010

@@ -42,7 +42,7 @@         | (s', k', a', m1', m2') <- shrinkUnchecked (s, k, a, m1, m2)         ] #else-instance (Show k, Ord k, GenUnchecked k, GenUnchecked v) => GenUnchecked (Map k v) where+instance (Ord k, GenUnchecked k, GenUnchecked v) => GenUnchecked (Map k v) where     genUnchecked = M.fromList <$> genUnchecked     shrinkUnchecked = fmap M.fromList . shrinkUnchecked . M.toList #endif

@@ -10,7 +10,5 @@  spec :: Spec spec = do-    genValidSpec @(Tree Int)-    genValiditySpec @(Tree Rational)-    shrinkValidSpec @(Tree Int)-    shrinkValiditySpec @(Tree Rational)+  genValidSpec @(Tree Int)+  genValiditySpec @(Tree Rational)