quickcheck-arbitrary-template 0.2.0.0 → 0.2.1.0
raw patch · 3 files changed
+61/−60 lines, 3 filesdep ~template-haskellPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: template-haskell
API changes (from Hackage documentation)
Files
- ChangeLog.md +3/−0
- quickcheck-arbitrary-template.cabal +22/−22
- test/Test/QuickCheck/TH/GeneratorsSpec.hs +36/−38
ChangeLog.md view
@@ -1,5 +1,8 @@ # Revision history for quickcheck-arbitrary-template +## 0.2.1.0 -- 2018-08-03+* Update version range template-haskell >= 2.11 && < 2.15.+ ## 0.2.0.0 -- 2018-02-07 * Add version range template-haskell >= 2.11 && < 2.13 and add support for 2.12.
quickcheck-arbitrary-template.cabal view
@@ -1,33 +1,39 @@--- This file has been generated from package.yaml by hpack version 0.20.0.+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: 49a4245a932af4c748794086e93568274578a49db3655729351b10ea8498ca8d+-- hash: 322a5ae1f3c982438e6978d8a8d0df3777ca46b478f8340ce905fd5871e960c6 name: quickcheck-arbitrary-template-version: 0.2.0.0+version: 0.2.1.0 synopsis: Generate QuickCheck Gen for Sum Types description: Building Sum Type arbitrary instance is kind of a pain. This tool helps automate the process. category: Testing-homepage: https://github.com/plow-technologies/quickcheck-arbitrary-adt#readme+homepage: https://github.com/plow-technologies/quickcheck-arbitrary-template#readme bug-reports: https://github.com/plow-technologies/quickcheck-arbitrary-template/issues author: Scott Murphy <scottmurphy09@gmail.com> maintainer: Scott Murphy <scottmurphy09@gmail.com>-copyright: 2016-2018 Plow Technologies+copyright: 2016-2019 Plow Technologies license: BSD3 license-file: LICENSE build-type: Simple-cabal-version: >= 1.10- extra-source-files:- ChangeLog.md README.md+ ChangeLog.md source-repository head type: git location: https://github.com/plow-technologies/quickcheck-arbitrary-template library+ exposed-modules:+ Test.QuickCheck.TH.Generators+ Test.QuickCheck.TH.Generators.Internal+ Test.QuickCheck.TH.Generators.Internal.BuildArbitrary+ other-modules:+ Paths_quickcheck_arbitrary_template hs-source-dirs: src ghc-options: -Wall@@ -35,18 +41,18 @@ QuickCheck , base >=4 && <5 , safe- , template-haskell >=2.11 && <2.13- exposed-modules:- Test.QuickCheck.TH.Generators- Test.QuickCheck.TH.Generators.Internal- Test.QuickCheck.TH.Generators.Internal.BuildArbitrary- other-modules:- Paths_quickcheck_arbitrary_template+ , template-haskell >=2.11 && <2.15 default-language: Haskell2010 test-suite spec type: exitcode-stdio-1.0 main-is: Spec.hs+ other-modules:+ Test.QuickCheck.TH.Generators+ Test.QuickCheck.TH.Generators.Internal+ Test.QuickCheck.TH.Generators.Internal.BuildArbitrary+ Test.QuickCheck.TH.GeneratorsSpec+ Paths_quickcheck_arbitrary_template hs-source-dirs: src test@@ -59,11 +65,5 @@ , tasty-golden , tasty-hunit , tasty-quickcheck- , template-haskell >=2.11 && <2.13- other-modules:- Test.QuickCheck.TH.Generators- Test.QuickCheck.TH.Generators.Internal- Test.QuickCheck.TH.Generators.Internal.BuildArbitrary- Test.QuickCheck.TH.GeneratorsSpec- Paths_quickcheck_arbitrary_template+ , template-haskell >=2.11 && <2.15 default-language: Haskell2010
test/Test/QuickCheck/TH/GeneratorsSpec.hs view
@@ -10,47 +10,45 @@ import Test.Tasty.QuickCheck (Arbitrary) import qualified Test.Tasty.QuickCheck as QC -- -- | These example types should build arbitrary instances correctly -data ExampleSumTypes = ExampleSum0- | ExampleSum1 Int- | ExampleSum2 Int Int- | ExampleSum3 Int Int Int- | ExampleSum4 Int Int Int Int- | ExampleSum5 Int Int Int Int Int- | ExampleSum6 Int Int Int Int Int Int- | ExampleSum7 Int Int Int Int Int Int Int- | ExampleSum8 Int Int Int Int Int Int Int Int- | ExampleSum9 Int Int Int Int Int Int Int Int Int- | ExampleSum10 Int Int Int Int Int Int Int Int Int Int-- deriving (Show,Ord,Eq)--data ExampleProductType = ExampleProductType {- _field0 :: Int-, _field1 :: Int-, _field2 :: Int-, _field3 :: Int-, _field4 :: Int-, _field5 :: Int-, _field6 :: Int-, _field7 :: Int-, _field8 :: Int-, _field9 :: Int-, _field10 :: Int-, _field11 :: Int-, _field12 :: Int-, _field13 :: Int-, _field14 :: Int-, _field15 :: Int-, _field16 :: Int-, _field17 :: Int-, _field18 :: Int-, _field19 :: Int+data ExampleSumTypes+ = ExampleSum0+ | ExampleSum1 Int+ | ExampleSum2 Int Int+ | ExampleSum3 Int Int Int+ | ExampleSum4 Int Int Int Int+ | ExampleSum5 Int Int Int Int Int+ | ExampleSum6 Int Int Int Int Int Int+ | ExampleSum7 Int Int Int Int Int Int Int+ | ExampleSum8 Int Int Int Int Int Int Int Int+ | ExampleSum9 Int Int Int Int Int Int Int Int Int+ | ExampleSum10 Int Int Int Int Int Int Int Int Int Int+ deriving (Show,Ord,Eq) -} deriving (Show,Ord,Eq)+data ExampleProductType =+ ExampleProductType+ { _field0 :: Int+ , _field1 :: Int+ , _field2 :: Int+ , _field3 :: Int+ , _field4 :: Int+ , _field5 :: Int+ , _field6 :: Int+ , _field7 :: Int+ , _field8 :: Int+ , _field9 :: Int+ , _field10 :: Int+ , _field11 :: Int+ , _field12 :: Int+ , _field13 :: Int+ , _field14 :: Int+ , _field15 :: Int+ , _field16 :: Int+ , _field17 :: Int+ , _field18 :: Int+ , _field19 :: Int+ } deriving (Show,Ord,Eq) makeArbitrary ''ExampleSumTypes makeArbitrary ''ExampleProductType