Rainbow.Tests.Util

Documentation

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

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

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

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

coarbitraryList :: (a -> Gen b -> Gen b) -> [a] -> Gen b -> Gen b