quickcheck-instances-0.3.22: Common quickcheck instances

Safe HaskellSafe
LanguageHaskell98

Test.QuickCheck.Instances.Transformer

Contents

Orphan instances

Arbitrary1 m => Arbitrary1 (MaybeT m) Source # 
Instance details

Methods

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

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

(Arbitrary1 m, Arbitrary a) => Arbitrary (MaybeT m a) Source # 
Instance details

Methods

arbitrary :: Gen (MaybeT m a) #

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

(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (Sum f g) Source # 
Instance details

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 # 
Instance details

Methods

arbitrary :: Gen (Sum f g a) #

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