barecheck-0.2.0.0: QuickCheck implementations for common types
Prelude.Coarbitrary
maybe :: (a -> Gen b -> Gen b) -> Maybe a -> Gen b -> Gen bSource
either :: (a -> Gen c -> Gen c) -> (b -> Gen c -> Gen c) -> Either a b -> Gen c -> Gen cSource
list :: (a -> Gen b -> Gen b) -> [a] -> Gen b -> Gen bSource
tuple2 :: (a -> Gen r -> Gen r) -> (b -> Gen r -> Gen r) -> (a, b) -> Gen r -> Gen rSource
tuple3 :: (a -> Gen r -> Gen r) -> (b -> Gen r -> Gen r) -> (c -> Gen r -> Gen r) -> (a, b, c) -> Gen r -> Gen rSource
tuple4 :: (a -> Gen r -> Gen r) -> (b -> Gen r -> Gen r) -> (c -> Gen r -> Gen r) -> (d -> Gen r -> Gen r) -> (a, b, c, d) -> Gen r -> Gen rSource
tuple5 :: (a -> Gen r -> Gen r) -> (b -> Gen r -> Gen r) -> (c -> Gen r -> Gen r) -> (d -> Gen r -> Gen r) -> (e -> Gen r -> Gen r) -> (a, b, c, d, e) -> Gen r -> Gen rSource