Safe Haskell	Safe-Inferred

Data.Sums.Shrinkers

Documentation

s0 :: S0 -> [S0]Source

s1 :: (a -> [a]) -> S1 a -> [S1 a]Source

s2 :: (a -> [a]) -> (b -> [b]) -> S2 a b -> [S2 a b]Source

s3 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> S3 a b c -> [S3 a b c]Source

s4 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> S4 a b c d -> [S4 a b c d]Source

s5 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> S5 a b c d e -> [S5 a b c d e]Source

s6 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (f -> [f]) -> S6 a b c d e f -> [S6 a b c d e f]Source

s7 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (f -> [f]) -> (g -> [g]) -> S7 a b c d e f g -> [S7 a b c d e f g]Source

s8 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (f -> [f]) -> (g -> [g]) -> (h -> [h]) -> S8 a b c d e f g h -> [S8 a b c d e f g h]Source

s9 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (f -> [f]) -> (g -> [g]) -> (h -> [h]) -> (i -> [i]) -> S9 a b c d e f g h i -> [S9 a b c d e f g h i]Source

s10 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (f -> [f]) -> (g -> [g]) -> (h -> [h]) -> (i -> [i]) -> (j -> [j]) -> S10 a b c d e f g h i j -> [S10 a b c d e f g h i j]Source

s11 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (f -> [f]) -> (g -> [g]) -> (h -> [h]) -> (i -> [i]) -> (j -> [j]) -> (k -> [k]) -> S11 a b c d e f g h i j k -> [S11 a b c d e f g h i j k]Source

s12 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (f -> [f]) -> (g -> [g]) -> (h -> [h]) -> (i -> [i]) -> (j -> [j]) -> (k -> [k]) -> (l -> [l]) -> S12 a b c d e f g h i j k l -> [S12 a b c d e f g h i j k l]Source

s13 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (f -> [f]) -> (g -> [g]) -> (h -> [h]) -> (i -> [i]) -> (j -> [j]) -> (k -> [k]) -> (l -> [l]) -> (m -> [m]) -> S13 a b c d e f g h i j k l m -> [S13 a b c d e f g h i j k l m]Source

s14 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (f -> [f]) -> (g -> [g]) -> (h -> [h]) -> (i -> [i]) -> (j -> [j]) -> (k -> [k]) -> (l -> [l]) -> (m -> [m]) -> (n -> [n]) -> S14 a b c d e f g h i j k l m n -> [S14 a b c d e f g h i j k l m n]Source

s15 :: (a -> [a]) -> (b -> [b]) -> (c -> [c]) -> (d -> [d]) -> (e -> [e]) -> (f -> [f]) -> (g -> [g]) -> (h -> [h]) -> (i -> [i]) -> (j -> [j]) -> (k -> [k]) -> (l -> [l]) -> (m -> [m]) -> (n -> [n]) -> (o -> [o]) -> S15 a b c d e f g h i j k l m n o -> [S15 a b c d e f g h i j k l m n o]Source