Test.QuickCheck.Instances.Strict

Orphan instances

Arbitrary1 Maybe

Since: 0.3.24

Methods

liftArbitrary :: Gen a -> Gen (Maybe a)

liftShrink :: (a -> [a]) -> Maybe a -> [Maybe a]

Arbitrary2 Pair

Since: 0.3.24

Methods

liftArbitrary2 :: Gen a -> Gen b -> Gen (Pair a b)

liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Pair a b -> [Pair a b]

Arbitrary2 These

Since: 0.3.24

Methods

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

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

Arbitrary2 Either

Since: 0.3.24

Methods

liftArbitrary2 :: Gen a -> Gen b -> Gen (Either a b)

liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Either a b -> [Either a b]

Function a => Function (Maybe a)

Since: 0.3.24

Methods

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

Arbitrary a => Arbitrary (Maybe a)

Since: 0.3.24

Methods

arbitrary :: Gen (Maybe a)

shrink :: Maybe a -> [Maybe a]

Arbitrary a => Arbitrary1 (Pair a)

Since: 0.3.24

Methods

liftArbitrary :: Gen a0 -> Gen (Pair a a0)

liftShrink :: (a0 -> [a0]) -> Pair a a0 -> [Pair a a0]

Arbitrary a => Arbitrary1 (These a)

Since: 0.3.24

Methods

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

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

Arbitrary a => Arbitrary1 (Either a)

Since: 0.3.24

Methods

liftArbitrary :: Gen a0 -> Gen (Either a a0)

liftShrink :: (a0 -> [a0]) -> Either a a0 -> [Either a a0]

CoArbitrary a => CoArbitrary (Maybe a)

Since: 0.3.24

Methods

coarbitrary :: Maybe a -> Gen b -> Gen b

(Function a, Function b) => Function (Pair a b)

Since: 0.3.24

Methods

function :: (Pair a b -> b0) -> Pair a b :-> b0

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

Since: 0.3.24

Methods

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

(Function a, Function b) => Function (Either a b)

Since: 0.3.24

Methods

function :: (Either a b -> b0) -> Either a b :-> b0

(Arbitrary a, Arbitrary b) => Arbitrary (Pair a b)

Since: 0.3.24

Methods

arbitrary :: Gen (Pair a b)

shrink :: Pair a b -> [Pair a b]

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

Since: 0.3.24

Methods

arbitrary :: Gen (These a b)

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

(Arbitrary a, Arbitrary b) => Arbitrary (Either a b)

Since: 0.3.24

Methods

arbitrary :: Gen (Either a b)

shrink :: Either a b -> [Either a b]

(CoArbitrary a, CoArbitrary b) => CoArbitrary (Pair a b)

Since: 0.3.24

Methods

coarbitrary :: Pair a b -> Gen b0 -> Gen b0

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

Since: 0.3.24

Methods

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

(CoArbitrary a, CoArbitrary b) => CoArbitrary (Either a b)

Since: 0.3.24

Methods

coarbitrary :: Either a b -> Gen b0 -> Gen b0