quickcheck-instances-0.3.23: Common quickcheck instances

Safe HaskellSafe
LanguageHaskell2010

Test.QuickCheck.Instances.UnorderedContainers

Contents

Orphan instances

(Hashable a, Eq a, Function a) => Function (HashSet a) Source # 
Instance details

Methods

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

(Hashable a, Eq a, Arbitrary a) => Arbitrary (HashSet a) Source # 
Instance details

Methods

arbitrary :: Gen (HashSet a) #

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

(Hashable k, Eq k, Arbitrary k) => Arbitrary1 (HashMap k) Source # 
Instance details

Methods

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

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

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

Methods

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

(Hashable k, Eq k, Function k, Function v) => Function (HashMap k v) Source # 
Instance details

Methods

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

(Hashable k, Eq k, Arbitrary k, Arbitrary v) => Arbitrary (HashMap k v) Source # 
Instance details

Methods

arbitrary :: Gen (HashMap k v) #

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

(CoArbitrary k, CoArbitrary v) => CoArbitrary (HashMap k v) Source # 
Instance details

Methods

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