quickcheck-instances 0.3.32 → 0.3.33
raw patch · 3 files changed
+25/−6 lines, 3 filesdep ~QuickCheckdep ~vector
Dependency ranges changed: QuickCheck, vector
Files
- CHANGES +4/−0
- quickcheck-instances.cabal +7/−6
- src/Test/QuickCheck/Instances/Vector.hs +14/−0
CHANGES view
@@ -1,3 +1,7 @@+0.3.33++* Add instances for strict vectors+ 0.3.32 * Add instances for primitive vectors
quickcheck-instances.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.2 name: quickcheck-instances-version: 0.3.32+version: 0.3.33 synopsis: Common quickcheck instances description: QuickCheck instances.@@ -33,9 +33,10 @@ || ==9.0.2 || ==9.2.8 || ==9.4.8- || ==9.6.5- || ==9.8.2- || ==9.10.1+ || ==9.6.7+ || ==9.8.4+ || ==9.10.2+ || ==9.12.2 source-repository head type: git@@ -79,7 +80,7 @@ other-modules: Test.QuickCheck.Instances.CustomPrelude hs-source-dirs: src build-depends:- , base >=4.12.0.0 && <4.21+ , base >=4.12.0.0 && <4.22 , QuickCheck >=2.14.2 && <2.15.1 , splitmix >=0.1.0.5 && <0.2 @@ -104,7 +105,7 @@ , transformers >=0.5.6.2 && <0.7 , unordered-containers >=0.2.20 && <0.3 , uuid-types >=1.0.6 && <1.1- , vector >=0.13.1.0 && <0.14+ , vector >=0.13.2.0 && <0.14 if impl(ghc <9.4) build-depends: data-array-byte >=0.1.0.1 && <0.2
src/Test/QuickCheck/Instances/Vector.hs view
@@ -12,6 +12,7 @@ import qualified Data.Vector.Primitive as PVector import qualified Data.Vector.Storable as SVector import qualified Data.Vector.Unboxed as UVector+import qualified Data.Vector.Strict as BVector ------------------------------------------------------------------------------- -- vector@@ -63,6 +64,19 @@ -- | @since 0.3.32 instance (PVector.Prim a, Function a) => Function (PVector.Vector a) where+ function = functionVector++-- | @since 0.3.33+instance (Arbitrary a) => Arbitrary (BVector.Vector a) where+ arbitrary = arbitraryVector+ shrink = shrinkVector++-- | @since 0.3.33+instance (CoArbitrary a) => CoArbitrary (BVector.Vector a) where+ coarbitrary = coarbitraryVector++-- | @since 0.3.33+instance (Function a) => Function (BVector.Vector a) where function = functionVector arbitraryVector :: (GVector.Vector v a, Arbitrary a) => Gen (v a)