Test.QuickCheck.Instances.Array

Orphan instances

(Num i, Ix i, Arbitrary i) => Arbitrary1 (Array i)

Methods

liftArbitrary :: Gen a -> Gen (Array i a)

liftShrink :: (a -> [a]) -> Array i a -> [Array i a]

(Num i, Ix i, IArray UArray a, Arbitrary i, Arbitrary a) => Arbitrary (UArray i a)

Methods

arbitrary :: Gen (UArray i a)

shrink :: UArray i a -> [UArray i a]

(Num i, Ix i, Arbitrary i, Arbitrary a) => Arbitrary (Array i a)

Methods

arbitrary :: Gen (Array i a)

shrink :: Array i a -> [Array i a]

(Ix i, IArray UArray a, CoArbitrary i, CoArbitrary a) => CoArbitrary (UArray i a)

Methods

coarbitrary :: UArray i a -> Gen b -> Gen b

(Ix i, CoArbitrary i, CoArbitrary a) => CoArbitrary (Array i a)

Methods

coarbitrary :: Array i a -> Gen b -> Gen b