quickcheck-instances-0.3.30: Common quickcheck instances
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.QuickCheck.Instances.These

Orphan instances

Arbitrary2 These Source #

Since: 0.3.23

Instance details

Methods

liftArbitrary2 :: Gen a -> Gen b -> Gen (These a b) Source #

liftShrink2 :: (a -> [a]) -> (b -> [b]) -> These a b -> [These a b] Source #

Arbitrary a => Arbitrary1 (These a) Source #

Since: 0.3.23

Instance details

Methods

liftArbitrary :: Gen a0 -> Gen (These a a0) Source #

liftShrink :: (a0 -> [a0]) -> These a a0 -> [These a a0] Source #

(Arbitrary a, Arbitrary b) => Arbitrary (These a b) Source #

Since: 0.3.23

Instance details

Methods

arbitrary :: Gen (These a b) Source #

shrink :: These a b -> [These a b] Source #

(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (These1 f g) Source #

Since: 0.3.23

Instance details

Methods

liftArbitrary :: Gen a -> Gen (These1 f g a) Source #

liftShrink :: (a -> [a]) -> These1 f g a -> [These1 f g a] Source #

(CoArbitrary a, CoArbitrary b) => CoArbitrary (These a b) Source #

Since: 0.3.23

Instance details

Methods

coarbitrary :: These a b -> Gen b0 -> Gen b0 Source #

(Function a, Function b) => Function (These a b) Source #

Since: 0.3.23

Instance details

Methods

function :: (These a b -> b0) -> These a b :-> b0 Source #

(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (These1 f g a) Source #

Since: 0.3.23

Instance details

Methods

arbitrary :: Gen (These1 f g a) Source #

shrink :: These1 f g a -> [These1 f g a] Source #