| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Contravariant.Extras.Contrazip
Description
A berserk collection of contrazip functions with arities of up to 42.
Why 42? Well, naturally, because it's the answer to the ultimate question of life, the universe and everything.
It's exported as a separate module from Contravariant.Extras only to not pollute its documentation. The Contravariant.Extras module still reexports this module, so you can simply import that only.
Documentation
contrazip42 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f a38 -> f a39 -> f a40 -> f a41 -> f a42 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41, a42) Source #
contrazip41 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f a38 -> f a39 -> f a40 -> f a41 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40, a41) Source #
contrazip40 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f a38 -> f a39 -> f a40 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39, a40) Source #
contrazip39 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f a38 -> f a39 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38, a39) Source #
contrazip38 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f a38 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37, a38) Source #
contrazip37 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f a37 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36, a37) Source #
contrazip36 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f a36 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35, a36) Source #
contrazip35 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f a35 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34, a35) Source #
contrazip34 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f a34 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33, a34) Source #
contrazip33 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f a33 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32, a33) Source #
contrazip32 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f a32 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31, a32) Source #
contrazip31 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f a31 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31) Source #
contrazip30 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f a30 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30) Source #
contrazip29 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f a29 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29) Source #
contrazip28 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f a28 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28) Source #
contrazip27 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f a27 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27) Source #
contrazip26 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f a26 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26) Source #
contrazip25 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f a25 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25) Source #
contrazip24 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f a24 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24) Source #
contrazip23 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f a23 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23) Source #
contrazip22 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f a22 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22) Source #
contrazip21 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f a21 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21) Source #
contrazip20 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f a20 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) Source #
contrazip19 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f a19 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19) Source #
contrazip18 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f a18 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18) Source #
contrazip17 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f a17 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17) Source #
contrazip16 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f a16 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) Source #
contrazip15 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f a15 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) Source #
contrazip14 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f a14 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) Source #
contrazip13 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f a13 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) Source #
contrazip12 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f a12 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) Source #
contrazip11 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f a11 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) Source #
contrazip10 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f a10 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) Source #
contrazip9 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f a9 -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9) Source #
contrazip8 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f a8 -> f (a1, a2, a3, a4, a5, a6, a7, a8) Source #
contrazip7 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f (a1, a2, a3, a4, a5, a6, a7) Source #
contrazip6 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f (a1, a2, a3, a4, a5, a6) Source #
contrazip5 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f (a1, a2, a3, a4, a5) Source #
contrazip4 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f (a1, a2, a3, a4) Source #
contrazip3 :: Divisible f => f a1 -> f a2 -> f a3 -> f (a1, a2, a3) Source #
contrazip2 :: Divisible f => f a1 -> f a2 -> f (a1, a2) Source #