Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.QuickCheck.Instances.Tagged

Contents

Orphan instances

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