quickcheck-instances-0.3.24: Common quickcheck instances

Safe HaskellNone
LanguageHaskell2010

Test.QuickCheck.Instances.Vector

Contents

Orphan instances

Arbitrary1 Vector Source # 
Instance details

Methods

liftArbitrary :: Gen a -> Gen (Vector a) #

liftShrink :: (a -> [a]) -> Vector a -> [Vector a] #

(Unbox a, Function a) => Function (Vector a) Source # 
Instance details

Methods

function :: (Vector a -> b) -> Vector a :-> b #

(Storable a, Function a) => Function (Vector a) Source # 
Instance details

Methods

function :: (Vector a -> b) -> Vector a :-> b #

Function a => Function (Vector a) Source # 
Instance details

Methods

function :: (Vector a -> b) -> Vector a :-> b #

(Unbox a, Arbitrary a) => Arbitrary (Vector a) Source # 
Instance details

Methods

arbitrary :: Gen (Vector a) #

shrink :: Vector a -> [Vector a] #

(Storable a, Arbitrary a) => Arbitrary (Vector a) Source # 
Instance details

Methods

arbitrary :: Gen (Vector a) #

shrink :: Vector a -> [Vector a] #

Arbitrary a => Arbitrary (Vector a) Source # 
Instance details

Methods

arbitrary :: Gen (Vector a) #

shrink :: Vector a -> [Vector a] #

(Unbox a, CoArbitrary a) => CoArbitrary (Vector a) Source # 
Instance details

Methods

coarbitrary :: Vector a -> Gen b -> Gen b #

(Storable a, CoArbitrary a) => CoArbitrary (Vector a) Source # 
Instance details

Methods

coarbitrary :: Vector a -> Gen b -> Gen b #

CoArbitrary a => CoArbitrary (Vector a) Source # 
Instance details

Methods

coarbitrary :: Vector a -> Gen b -> Gen b #