Prelude.Shrinkers

Documentation

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

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

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

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

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

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