Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.QuickCheck.Instances.Transformer
Contents
Orphan instances
Arbitrary1 f => Arbitrary1 (Lift f) Source # | |
Arbitrary1 m => Arbitrary1 (MaybeT m) Source # | |
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) Source # | |
(Arbitrary1 m, Arbitrary a) => Arbitrary (MaybeT m a) Source # | |
Arbitrary1 f => Arbitrary1 (Backwards f) Source # | |
Methods liftArbitrary :: Gen a -> Gen (Backwards f a) liftShrink :: (a -> [a]) -> Backwards f a -> [Backwards f a] | |
Arbitrary1 f => Arbitrary1 (Reverse f) Source # | |
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) Source # | |
(Arbitrary1 f, Arbitrary a) => Arbitrary (Reverse f a) Source # | |
(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (Sum f g) Source # | |
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) Source # | |