quickcheck-instances 0.3.31 → 0.3.32
raw patch · 3 files changed
+25/−7 lines, 3 filesdep ~base
Dependency ranges changed: base
Files
- CHANGES +4/−0
- quickcheck-instances.cabal +3/−3
- src/Test/QuickCheck/Instances/Vector.hs +18/−4
CHANGES view
@@ -1,3 +1,7 @@+0.3.32++* Add instances for primitive vectors+ 0.3.31 * Support GHC-8.6.5...GHC-9.10.1
quickcheck-instances.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.2 name: quickcheck-instances-version: 0.3.31+version: 0.3.32 synopsis: Common quickcheck instances description: QuickCheck instances.@@ -80,7 +80,7 @@ hs-source-dirs: src build-depends: , base >=4.12.0.0 && <4.21- , QuickCheck >=2.14.2 && <2.15.0+ , QuickCheck >=2.14.2 && <2.15.1 , splitmix >=0.1.0.5 && <0.2 build-depends:@@ -89,7 +89,7 @@ , case-insensitive >=1.2.0.11 && <1.3 , containers >=0.6.0.1 && <0.8 , data-fix >=0.3 && <0.4- , hashable >=1.4.4.0 && <1.5+ , hashable >=1.4.4.0 && <1.6 , integer-logarithms >=1.0.3.1 && <1.1 , old-time >=1.1.0.0 && <1.2 , OneTuple >=0.4.2 && <0.5
src/Test/QuickCheck/Instances/Vector.hs view
@@ -7,10 +7,11 @@ import Test.QuickCheck import Test.QuickCheck.Function ((:->)) -import qualified Data.Vector as Vector-import qualified Data.Vector.Generic as GVector-import qualified Data.Vector.Storable as SVector-import qualified Data.Vector.Unboxed as UVector+import qualified Data.Vector as Vector+import qualified Data.Vector.Generic as GVector+import qualified Data.Vector.Primitive as PVector+import qualified Data.Vector.Storable as SVector+import qualified Data.Vector.Unboxed as UVector ------------------------------------------------------------------------------- -- vector@@ -49,6 +50,19 @@ coarbitrary = coarbitraryVector instance (UVector.Unbox a, Function a) => Function (UVector.Vector a) where+ function = functionVector++-- | @since 0.3.32+instance (PVector.Prim a, Arbitrary a) => Arbitrary (PVector.Vector a) where+ arbitrary = arbitraryVector+ shrink = shrinkVector++-- | @since 0.3.32+instance (PVector.Prim a, CoArbitrary a) => CoArbitrary (PVector.Vector a) where+ coarbitrary = coarbitraryVector++-- | @since 0.3.32+instance (PVector.Prim a, Function a) => Function (PVector.Vector a) where function = functionVector arbitraryVector :: (GVector.Vector v a, Arbitrary a) => Gen (v a)