anonymous-sums-tests-0.4.0.0: QuickCheck functions to accompany the anonymous-sums package

Safe HaskellSafe-Inferred

Data.Sums.Coarbitrary

Documentation

s0 :: S0 -> Gen b -> Gen bSource

s1 :: (a -> Gen r -> Gen r) -> S1 a -> Gen r -> Gen rSource

s2 :: (a -> Gen r -> Gen r) -> (b -> Gen r -> Gen r) -> S2 a b -> Gen r -> Gen rSource

s3 :: (a -> Gen r -> Gen r) -> (b -> Gen r -> Gen r) -> (c -> Gen r -> Gen r) -> S3 a b c -> Gen r -> Gen rSource

s4 :: (a -> Gen r -> Gen r) -> (b -> Gen r -> Gen r) -> (c -> Gen r -> Gen r) -> (d -> Gen r -> Gen r) -> S4 a b c d -> Gen r -> Gen rSource

s5 :: (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) -> S5 a b c d e -> Gen r -> Gen rSource

s6 :: (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) -> (f -> Gen r -> Gen r) -> S6 a b c d e f -> Gen r -> Gen rSource

s7 :: (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) -> (f -> Gen r -> Gen r) -> (g -> Gen r -> Gen r) -> S7 a b c d e f g -> Gen r -> Gen rSource

s8 :: (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) -> (f -> Gen r -> Gen r) -> (g -> Gen r -> Gen r) -> (h -> Gen r -> Gen r) -> S8 a b c d e f g h -> Gen r -> Gen rSource

s9 :: (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) -> (f -> Gen r -> Gen r) -> (g -> Gen r -> Gen r) -> (h -> Gen r -> Gen r) -> (i -> Gen r -> Gen r) -> S9 a b c d e f g h i -> Gen r -> Gen rSource

s10 :: (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) -> (f -> Gen r -> Gen r) -> (g -> Gen r -> Gen r) -> (h -> Gen r -> Gen r) -> (i -> Gen r -> Gen r) -> (j -> Gen r -> Gen r) -> S10 a b c d e f g h i j -> Gen r -> Gen rSource

s11 :: (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) -> (f -> Gen r -> Gen r) -> (g -> Gen r -> Gen r) -> (h -> Gen r -> Gen r) -> (i -> Gen r -> Gen r) -> (j -> Gen r -> Gen r) -> (k -> Gen r -> Gen r) -> S11 a b c d e f g h i j k -> Gen r -> Gen rSource

s12 :: (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) -> (f -> Gen r -> Gen r) -> (g -> Gen r -> Gen r) -> (h -> Gen r -> Gen r) -> (i -> Gen r -> Gen r) -> (j -> Gen r -> Gen r) -> (k -> Gen r -> Gen r) -> (l -> Gen r -> Gen r) -> S12 a b c d e f g h i j k l -> Gen r -> Gen rSource

s13 :: (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) -> (f -> Gen r -> Gen r) -> (g -> Gen r -> Gen r) -> (h -> Gen r -> Gen r) -> (i -> Gen r -> Gen r) -> (j -> Gen r -> Gen r) -> (k -> Gen r -> Gen r) -> (l -> Gen r -> Gen r) -> (m -> Gen r -> Gen r) -> S13 a b c d e f g h i j k l m -> Gen r -> Gen rSource

s14 :: (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) -> (f -> Gen r -> Gen r) -> (g -> Gen r -> Gen r) -> (h -> Gen r -> Gen r) -> (i -> Gen r -> Gen r) -> (j -> Gen r -> Gen r) -> (k -> Gen r -> Gen r) -> (l -> Gen r -> Gen r) -> (m -> Gen r -> Gen r) -> (n -> Gen r -> Gen r) -> S14 a b c d e f g h i j k l m n -> Gen r -> Gen rSource

s15 :: (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) -> (f -> Gen r -> Gen r) -> (g -> Gen r -> Gen r) -> (h -> Gen r -> Gen r) -> (i -> Gen r -> Gen r) -> (j -> Gen r -> Gen r) -> (k -> Gen r -> Gen r) -> (l -> Gen r -> Gen r) -> (m -> Gen r -> Gen r) -> (n -> Gen r -> Gen r) -> (o -> Gen r -> Gen r) -> S15 a b c d e f g h i j k l m n o -> Gen r -> Gen rSource