Safe Haskell	Safe-Inferred
Language	Haskell2010

Prelude.Shrinkers

Documentation

maybe :: (a -> [a]) -> Maybe a -> [Maybe a] Source

either :: (a -> [a]) -> (b -> [b]) -> Either a b -> [Either a b] Source

tuple2 :: (a -> [a]) -> (b -> [b]) -> (a, b) -> [(a, b)] Source

tuple3 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (a, b, c) -> [(a, b, c)] Source

tuple4 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (a, b, c, d) -> [(a, b, c, d)] Source

tuple5 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (a, b, c, d, e) -> [(a, b, c, d, e)] Source