Safe Haskell	Safe
Language	Haskell98

Test.QuickCheck.Instances.Tagged

Contents

Orphan instances

Arbitrary1 (Proxy *) Source #
Methods liftArbitrary :: Gen a -> Gen (Proxy * a) # liftShrink :: (a -> [a]) -> Proxy * a -> [Proxy * a] #
Arbitrary2 (Tagged *) Source #
Methods liftArbitrary2 :: Gen a -> Gen b -> Gen (Tagged * a b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Tagged * a b -> [Tagged * a b] #
Function (Proxy k a) Source #
Methods function :: (Proxy k a -> b) -> Proxy k a :-> b #
Arbitrary (Proxy k a) Source #
Methods arbitrary :: Gen (Proxy k a) # shrink :: Proxy k a -> [Proxy k a] #
Arbitrary1 (Tagged k a) Source #
Methods liftArbitrary :: Gen a -> Gen (Tagged k a a) # liftShrink :: (a -> [a]) -> Tagged k a a -> [Tagged k a a] #
CoArbitrary (Proxy k a) Source #
Methods coarbitrary :: Proxy k a -> Gen b -> Gen b #
Function b => Function (Tagged k a b) Source #
Methods function :: (Tagged k a b -> b) -> Tagged k a b :-> b #
Arbitrary b => Arbitrary (Tagged k a b) Source #
Methods arbitrary :: Gen (Tagged k a b) # shrink :: Tagged k a b -> [Tagged k a b] #
CoArbitrary b => CoArbitrary (Tagged k a b) Source #
Methods coarbitrary :: Tagged k a b -> Gen b -> Gen b #