Test.QuickCheck.Instances.UnorderedContainers

Orphan instances

(Hashable a, Eq a, Function a) => Function (HashSet a)

Methods

function :: (HashSet a -> b) -> HashSet a :-> b

(Hashable a, Eq a, Arbitrary a) => Arbitrary (HashSet a)

Methods

arbitrary :: Gen (HashSet a)

shrink :: HashSet a -> [HashSet a]

(Hashable k, Eq k, Arbitrary k) => Arbitrary1 (HashMap k)

Methods

liftArbitrary :: Gen a -> Gen (HashMap k a)

liftShrink :: (a -> [a]) -> HashMap k a -> [HashMap k a]

CoArbitrary a => CoArbitrary (HashSet a)

Methods

coarbitrary :: HashSet a -> Gen b -> Gen b

(Hashable k, Eq k, Function k, Function v) => Function (HashMap k v)

Methods

function :: (HashMap k v -> b) -> HashMap k v :-> b

(Hashable k, Eq k, Arbitrary k, Arbitrary v) => Arbitrary (HashMap k v)

Methods

arbitrary :: Gen (HashMap k v)

shrink :: HashMap k v -> [HashMap k v]

(CoArbitrary k, CoArbitrary v) => CoArbitrary (HashMap k v)

Methods

coarbitrary :: HashMap k v -> Gen b -> Gen b