Test.QuickCheck.Instances.Transformer

Orphan instances

Arbitrary1 f => Arbitrary1 (Lift f)

Methods

liftArbitrary :: Gen a -> Gen (Lift f a)

liftShrink :: (a -> [a]) -> Lift f a -> [Lift f a]

Arbitrary1 m => Arbitrary1 (MaybeT m)

Methods

liftArbitrary :: Gen a -> Gen (MaybeT m a)

liftShrink :: (a -> [a]) -> MaybeT m a -> [MaybeT m a]

(Arbitrary1 f, Arbitrary a) => Arbitrary (Lift f a)

Methods

arbitrary :: Gen (Lift f a)

shrink :: Lift f a -> [Lift f a]

(Arbitrary1 m, Arbitrary a) => Arbitrary (MaybeT m a)

Methods

arbitrary :: Gen (MaybeT m a)

shrink :: MaybeT m a -> [MaybeT m a]

Arbitrary1 f => Arbitrary1 (Backwards f)

Methods

liftArbitrary :: Gen a -> Gen (Backwards f a)

liftShrink :: (a -> [a]) -> Backwards f a -> [Backwards f a]

Arbitrary1 f => Arbitrary1 (Reverse f)

Methods

liftArbitrary :: Gen a -> Gen (Reverse f a)

liftShrink :: (a -> [a]) -> Reverse f a -> [Reverse f a]

(Arbitrary1 f, Arbitrary a) => Arbitrary (Backwards f a)

Methods

arbitrary :: Gen (Backwards f a)

shrink :: Backwards f a -> [Backwards f a]

(Arbitrary1 f, Arbitrary a) => Arbitrary (Reverse f a)

Methods

arbitrary :: Gen (Reverse f a)

shrink :: Reverse f a -> [Reverse f a]

(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (Sum f g)

Methods

liftArbitrary :: Gen a -> Gen (Sum f g a)

liftShrink :: (a -> [a]) -> Sum f g a -> [Sum f g a]

(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (Sum f g a)

Methods

arbitrary :: Gen (Sum f g a)

shrink :: Sum f g a -> [Sum f g a]