quickcheck-instances 0.3.28 → 0.3.29
raw patch · 4 files changed
+26/−6 lines, 4 filesdep +data-array-bytedep ~primitivePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies added: data-array-byte
Dependency ranges changed: primitive
API changes (from Hackage documentation)
- Test.QuickCheck.Instances.Natural: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Natural.Natural
- Test.QuickCheck.Instances.Natural: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Natural.Natural
- Test.QuickCheck.Instances.Natural: instance Test.QuickCheck.Function.Function GHC.Natural.Natural
- Test.QuickCheck.Instances.Primitive: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Primitive.ByteArray.ByteArray
- Test.QuickCheck.Instances.Primitive: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Primitive.ByteArray.ByteArray
- Test.QuickCheck.Instances.Primitive: instance Test.QuickCheck.Function.Function Data.Primitive.ByteArray.ByteArray
- Test.QuickCheck.Instances.Semigroup: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Semigroup.Option a)
- Test.QuickCheck.Instances.Semigroup: instance Test.QuickCheck.Arbitrary.Arbitrary1 Data.Semigroup.Option
- Test.QuickCheck.Instances.Semigroup: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Semigroup.Option a)
- Test.QuickCheck.Instances.Semigroup: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (Data.Semigroup.Option a)
- Test.QuickCheck.Instances.Solo: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Data.Tuple.Solo.Solo a)
- Test.QuickCheck.Instances.Solo: instance Test.QuickCheck.Arbitrary.Arbitrary1 Data.Tuple.Solo.Solo
- Test.QuickCheck.Instances.Solo: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Data.Tuple.Solo.Solo a)
- Test.QuickCheck.Instances.Solo: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (Data.Tuple.Solo.Solo a)
- Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Calendar.Month.Compat.Month
- Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Calendar.Quarter.Compat.Quarter
- Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Calendar.Quarter.Compat.QuarterOfYear
- Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Calendar.Month.Compat.Month
- Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Calendar.Quarter.Compat.Quarter
- Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Calendar.Quarter.Compat.QuarterOfYear
- Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Function.Function Data.Time.Calendar.Month.Compat.Month
- Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Function.Function Data.Time.Calendar.Quarter.Compat.Quarter
- Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Function.Function Data.Time.Calendar.Quarter.Compat.QuarterOfYear
+ Test.QuickCheck.Instances.Natural: instance Test.QuickCheck.Arbitrary.Arbitrary GHC.Num.Natural.Natural
+ Test.QuickCheck.Instances.Natural: instance Test.QuickCheck.Arbitrary.CoArbitrary GHC.Num.Natural.Natural
+ Test.QuickCheck.Instances.Natural: instance Test.QuickCheck.Function.Function GHC.Num.Natural.Natural
+ Test.QuickCheck.Instances.Primitive: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Array.Byte.ByteArray
+ Test.QuickCheck.Instances.Primitive: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Array.Byte.ByteArray
+ Test.QuickCheck.Instances.Primitive: instance Test.QuickCheck.Function.Function Data.Array.Byte.ByteArray
+ Test.QuickCheck.Instances.Solo: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (Solo a)
+ Test.QuickCheck.Instances.Solo: instance Test.QuickCheck.Arbitrary.Arbitrary1 Solo
+ Test.QuickCheck.Instances.Solo: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (Solo a)
+ Test.QuickCheck.Instances.Solo: instance Test.QuickCheck.Function.Function a => Test.QuickCheck.Function.Function (Solo a)
+ Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Calendar.Month.Month
+ Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Calendar.Quarter.Quarter
+ Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.Arbitrary Data.Time.Calendar.Quarter.QuarterOfYear
+ Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Calendar.Month.Month
+ Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Calendar.Quarter.Quarter
+ Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Arbitrary.CoArbitrary Data.Time.Calendar.Quarter.QuarterOfYear
+ Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Function.Function Data.Time.Calendar.Month.Month
+ Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Function.Function Data.Time.Calendar.Quarter.Quarter
+ Test.QuickCheck.Instances.Time: instance Test.QuickCheck.Function.Function Data.Time.Calendar.Quarter.QuarterOfYear
Files
- CHANGES +5/−0
- quickcheck-instances.cabal +11/−5
- src/Test/QuickCheck/Instances/Array/Byte.hs +1/−1
- test/Tests.hs +9/−0
CHANGES view
@@ -1,3 +1,8 @@+0.3.29++* Support `primitive-0.8`+* Use `data-array-byte` shim package for instances for `Data.Array.Byte.ByteArray`+ 0.3.28 * Add instances for `Data.Array.Byte.ByteArray` (`base-4.17`)
quickcheck-instances.cabal view
@@ -1,5 +1,5 @@ name: quickcheck-instances-version: 0.3.28+version: 0.3.29 synopsis: Common quickcheck instances description: QuickCheck instances.@@ -39,10 +39,10 @@ || ==8.4.4 || ==8.6.5 || ==8.8.4- || ==8.10.4+ || ==8.10.7 || ==9.0.2- || ==9.2.4- || ==9.4.1+ || ==9.2.7+ || ==9.4.4 source-repository head type: git@@ -98,7 +98,7 @@ , integer-logarithms >=1.0.3 && <1.1 , old-time >=1.1.0.0 && <1.2 , OneTuple >=0.3 && <0.4- , primitive >=0.6.4.0 && <0.8+ , primitive >=0.6.4.0 && <0.9 , scientific >=0.3.6.2 && <0.4 , strict >=0.4 && <0.5 , tagged >=0.8.6 && <0.9@@ -114,6 +114,9 @@ -- version is irrelevant. build-depends: time + if impl(ghc >=8.0 && <9.4)+ build-depends: data-array-byte >=0.1.0.1 && <0.2+ if !impl(ghc >=8.0) build-depends: semigroups >=0.18.5 && <0.21 @@ -149,6 +152,9 @@ , quickcheck-instances , tagged , uuid-types++ if impl(ghc >=8.0 && <9.4)+ build-depends: data-array-byte benchmark bytestring-gen default-language: Haskell2010
src/Test/QuickCheck/Instances/Array/Byte.hs view
@@ -3,7 +3,7 @@ {-# OPTIONS_GHC -fno-warn-orphans #-} module Test.QuickCheck.Instances.Array.Byte () where -#if MIN_VERSION_base(4,17,0)+#if !MIN_VERSION_primitive(0,8,0) && MIN_VERSION_base(4,9,0) import Prelude () import Test.QuickCheck.Instances.CustomPrelude
test/Tests.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-} module Main (main) where import Data.Proxy (Proxy (..))@@ -6,8 +7,13 @@ import qualified Data.Tree as Tree import qualified Data.Primitive as Prim+ import Data.UUID.Types (UUID) +#if MIN_VERSION_base(4,9,0)+import qualified Data.Array.Byte as AB+#endif+ -- | Example law: == (and thus ===) should be reflexive. eqReflexive :: (Eq a, Show a)@@ -22,3 +28,6 @@ quickCheck $ eqReflexive (Proxy :: Proxy (Tree.Tree Int)) quickCheck $ eqReflexive (Proxy :: Proxy UUID) quickCheck $ eqReflexive (Proxy :: Proxy Prim.ByteArray)+#if MIN_VERSION_base(4,9,0)+ quickCheck $ eqReflexive (Proxy :: Proxy AB.ByteArray)+#endif