quickcheck-instances-0.3.33: Common quickcheck instances

Safe Haskell | None
Language | Haskell2010

Test.QuickCheck.Instances.Vector

Contents

- Orphan instances

# Orphan instances

Arbitrary1 Vector Source # |
Instance details Methods liftArbitrary :: Gen a -> Gen (Vector a) Source # liftShrink :: (a -> [a]) -> Vector a -> [Vector a] Source #
Arbitrary a => Arbitrary (Vector a) Source # |
Instance details Methods arbitrary :: Gen (Vector a) Source # shrink :: Vector a -> [Vector a] Source #
(Prim a, Arbitrary a) => Arbitrary (Vector a) Source # | Since: 0.3.32
Instance details Methods arbitrary :: Gen (Vector a) Source # shrink :: Vector a -> [Vector a] Source #
(Storable a, Arbitrary a) => Arbitrary (Vector a) Source # |
Instance details Methods arbitrary :: Gen (Vector a) Source # shrink :: Vector a -> [Vector a] Source #
Arbitrary a => Arbitrary (Vector a) Source # | Since: 0.3.33
Instance details Methods arbitrary :: Gen (Vector a) Source # shrink :: Vector a -> [Vector a] Source #
(Unbox a, Arbitrary a) => Arbitrary (Vector a) Source # |
Instance details Methods arbitrary :: Gen (Vector a) Source # shrink :: Vector a -> [Vector a] Source #
CoArbitrary a => CoArbitrary (Vector a) Source # |
Instance details Methods coarbitrary :: Vector a -> Gen b -> Gen b Source #
(Prim a, CoArbitrary a) => CoArbitrary (Vector a) Source # | Since: 0.3.32
Instance details Methods coarbitrary :: Vector a -> Gen b -> Gen b Source #
(Storable a, CoArbitrary a) => CoArbitrary (Vector a) Source # |
Instance details Methods coarbitrary :: Vector a -> Gen b -> Gen b Source #
CoArbitrary a => CoArbitrary (Vector a) Source # | Since: 0.3.33
Instance details Methods coarbitrary :: Vector a -> Gen b -> Gen b Source #
(Unbox a, CoArbitrary a) => CoArbitrary (Vector a) Source # |
Instance details Methods coarbitrary :: Vector a -> Gen b -> Gen b Source #
Function a => Function (Vector a) Source # |
Instance details Methods function :: (Vector a -> b) -> Vector a :-> b Source #
(Prim a, Function a) => Function (Vector a) Source # | Since: 0.3.32
Instance details Methods function :: (Vector a -> b) -> Vector a :-> b Source #
(Storable a, Function a) => Function (Vector a) Source # |
Instance details Methods function :: (Vector a -> b) -> Vector a :-> b Source #
Function a => Function (Vector a) Source # | Since: 0.3.33
Instance details Methods function :: (Vector a -> b) -> Vector a :-> b Source #
(Unbox a, Function a) => Function (Vector a) Source # |
Instance details Methods function :: (Vector a -> b) -> Vector a :-> b Source #