packages feed

contravariant-extras 0.2 → 0.3

raw patch · 8 files changed

+59/−59 lines, 8 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- Contravariant.Extras.Contramap: contramap10 :: 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)
- Contravariant.Extras.Contramap: contramap11 :: 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)
- Contravariant.Extras.Contramap: contramap12 :: 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)
- Contravariant.Extras.Contramap: contramap13 :: 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)
- Contravariant.Extras.Contramap: contramap14 :: 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)
- Contravariant.Extras.Contramap: contramap15 :: 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)
- Contravariant.Extras.Contramap: contramap16 :: 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)
- Contravariant.Extras.Contramap: contramap17 :: 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)
- Contravariant.Extras.Contramap: contramap18 :: 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)
- Contravariant.Extras.Contramap: contramap19 :: 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)
- Contravariant.Extras.Contramap: contramap2 :: Divisible f => f a1 -> f a2 -> f (a1, a2)
- Contravariant.Extras.Contramap: contramap20 :: 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)
- Contravariant.Extras.Contramap: contramap21 :: 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)
- Contravariant.Extras.Contramap: contramap22 :: 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)
- Contravariant.Extras.Contramap: contramap23 :: 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)
- Contravariant.Extras.Contramap: contramap24 :: 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)
- Contravariant.Extras.Contramap: contramap25 :: 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)
- Contravariant.Extras.Contramap: contramap26 :: 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)
- Contravariant.Extras.Contramap: contramap27 :: 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)
- Contravariant.Extras.Contramap: contramap28 :: 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)
- Contravariant.Extras.Contramap: contramap29 :: 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)
- Contravariant.Extras.Contramap: contramap3 :: Divisible f => f a1 -> f a2 -> f a3 -> f (a1, a2, a3)
- Contravariant.Extras.Contramap: contramap30 :: 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)
- Contravariant.Extras.Contramap: contramap31 :: 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)
- Contravariant.Extras.Contramap: contramap32 :: 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)
- Contravariant.Extras.Contramap: contramap33 :: 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)
- Contravariant.Extras.Contramap: contramap34 :: 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)
- Contravariant.Extras.Contramap: contramap35 :: 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)
- Contravariant.Extras.Contramap: contramap36 :: 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)
- Contravariant.Extras.Contramap: contramap37 :: 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)
- Contravariant.Extras.Contramap: contramap38 :: 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)
- Contravariant.Extras.Contramap: contramap39 :: 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)
- Contravariant.Extras.Contramap: contramap4 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f (a1, a2, a3, a4)
- Contravariant.Extras.Contramap: contramap40 :: 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)
- Contravariant.Extras.Contramap: contramap41 :: 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)
- Contravariant.Extras.Contramap: contramap42 :: 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)
- Contravariant.Extras.Contramap: contramap5 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f (a1, a2, a3, a4, a5)
- Contravariant.Extras.Contramap: contramap6 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f (a1, a2, a3, a4, a5, a6)
- Contravariant.Extras.Contramap: contramap7 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f (a1, a2, a3, a4, a5, a6, a7)
- Contravariant.Extras.Contramap: contramap8 :: 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)
- Contravariant.Extras.Contramap: contramap9 :: 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)
- Contravariant.Extras.Op.Contramap: contramap10 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10)
- Contravariant.Extras.Op.Contramap: contramap11 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11)
- Contravariant.Extras.Op.Contramap: contramap12 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12)
- Contravariant.Extras.Op.Contramap: contramap13 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13)
- Contravariant.Extras.Op.Contramap: contramap14 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14)
- Contravariant.Extras.Op.Contramap: contramap15 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15)
- Contravariant.Extras.Op.Contramap: contramap16 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16)
- Contravariant.Extras.Op.Contramap: contramap17 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17)
- Contravariant.Extras.Op.Contramap: contramap18 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18)
- Contravariant.Extras.Op.Contramap: contramap19 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19)
- Contravariant.Extras.Op.Contramap: contramap2 :: Monoid a => Op a b1 -> Op a b2 -> Op a (b1, b2)
- Contravariant.Extras.Op.Contramap: contramap20 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20)
- Contravariant.Extras.Op.Contramap: contramap21 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21)
- Contravariant.Extras.Op.Contramap: contramap22 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22)
- Contravariant.Extras.Op.Contramap: contramap23 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23)
- Contravariant.Extras.Op.Contramap: contramap24 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24)
- Contravariant.Extras.Op.Contramap: contramap25 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25)
- Contravariant.Extras.Op.Contramap: contramap26 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26)
- Contravariant.Extras.Op.Contramap: contramap27 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27)
- Contravariant.Extras.Op.Contramap: contramap28 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28)
- Contravariant.Extras.Op.Contramap: contramap29 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29)
- Contravariant.Extras.Op.Contramap: contramap3 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a (b1, b2, b3)
- Contravariant.Extras.Op.Contramap: contramap30 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30)
- Contravariant.Extras.Op.Contramap: contramap31 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31)
- Contravariant.Extras.Op.Contramap: contramap32 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32)
- Contravariant.Extras.Op.Contramap: contramap33 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33)
- Contravariant.Extras.Op.Contramap: contramap34 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34)
- Contravariant.Extras.Op.Contramap: contramap35 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35)
- Contravariant.Extras.Op.Contramap: contramap36 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36)
- Contravariant.Extras.Op.Contramap: contramap37 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37)
- Contravariant.Extras.Op.Contramap: contramap38 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38)
- Contravariant.Extras.Op.Contramap: contramap39 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39)
- Contravariant.Extras.Op.Contramap: contramap4 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a (b1, b2, b3, b4)
- Contravariant.Extras.Op.Contramap: contramap40 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a b40 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40)
- Contravariant.Extras.Op.Contramap: contramap41 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a b40 -> Op a b41 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41)
- Contravariant.Extras.Op.Contramap: contramap42 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a b40 -> Op a b41 -> Op a b42 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42)
- Contravariant.Extras.Op.Contramap: contramap5 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a (b1, b2, b3, b4, b5)
- Contravariant.Extras.Op.Contramap: contramap6 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a (b1, b2, b3, b4, b5, b6)
- Contravariant.Extras.Op.Contramap: contramap7 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a (b1, b2, b3, b4, b5, b6, b7)
- Contravariant.Extras.Op.Contramap: contramap8 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8)
- Contravariant.Extras.Op.Contramap: contramap9 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: contrazip2 :: Divisible f => f a1 -> f a2 -> f (a1, a2)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: contrazip3 :: Divisible f => f a1 -> f a2 -> f a3 -> f (a1, a2, a3)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: contrazip4 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f (a1, a2, a3, a4)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: contrazip5 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f (a1, a2, a3, a4, a5)
+ Contravariant.Extras.Contrazip: contrazip6 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f (a1, a2, a3, a4, a5, a6)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Contrazip: 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)
+ Contravariant.Extras.Op.Contrazip: contrazip10 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10)
+ Contravariant.Extras.Op.Contrazip: contrazip11 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11)
+ Contravariant.Extras.Op.Contrazip: contrazip12 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12)
+ Contravariant.Extras.Op.Contrazip: contrazip13 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13)
+ Contravariant.Extras.Op.Contrazip: contrazip14 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14)
+ Contravariant.Extras.Op.Contrazip: contrazip15 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15)
+ Contravariant.Extras.Op.Contrazip: contrazip16 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16)
+ Contravariant.Extras.Op.Contrazip: contrazip17 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17)
+ Contravariant.Extras.Op.Contrazip: contrazip18 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18)
+ Contravariant.Extras.Op.Contrazip: contrazip19 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19)
+ Contravariant.Extras.Op.Contrazip: contrazip2 :: Monoid a => Op a b1 -> Op a b2 -> Op a (b1, b2)
+ Contravariant.Extras.Op.Contrazip: contrazip20 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20)
+ Contravariant.Extras.Op.Contrazip: contrazip21 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21)
+ Contravariant.Extras.Op.Contrazip: contrazip22 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22)
+ Contravariant.Extras.Op.Contrazip: contrazip23 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23)
+ Contravariant.Extras.Op.Contrazip: contrazip24 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24)
+ Contravariant.Extras.Op.Contrazip: contrazip25 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25)
+ Contravariant.Extras.Op.Contrazip: contrazip26 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26)
+ Contravariant.Extras.Op.Contrazip: contrazip27 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27)
+ Contravariant.Extras.Op.Contrazip: contrazip28 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28)
+ Contravariant.Extras.Op.Contrazip: contrazip29 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29)
+ Contravariant.Extras.Op.Contrazip: contrazip3 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a (b1, b2, b3)
+ Contravariant.Extras.Op.Contrazip: contrazip30 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30)
+ Contravariant.Extras.Op.Contrazip: contrazip31 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31)
+ Contravariant.Extras.Op.Contrazip: contrazip32 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32)
+ Contravariant.Extras.Op.Contrazip: contrazip33 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33)
+ Contravariant.Extras.Op.Contrazip: contrazip34 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34)
+ Contravariant.Extras.Op.Contrazip: contrazip35 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35)
+ Contravariant.Extras.Op.Contrazip: contrazip36 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36)
+ Contravariant.Extras.Op.Contrazip: contrazip37 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37)
+ Contravariant.Extras.Op.Contrazip: contrazip38 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38)
+ Contravariant.Extras.Op.Contrazip: contrazip39 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39)
+ Contravariant.Extras.Op.Contrazip: contrazip4 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a (b1, b2, b3, b4)
+ Contravariant.Extras.Op.Contrazip: contrazip40 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a b40 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40)
+ Contravariant.Extras.Op.Contrazip: contrazip41 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a b40 -> Op a b41 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41)
+ Contravariant.Extras.Op.Contrazip: contrazip42 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a b10 -> Op a b11 -> Op a b12 -> Op a b13 -> Op a b14 -> Op a b15 -> Op a b16 -> Op a b17 -> Op a b18 -> Op a b19 -> Op a b20 -> Op a b21 -> Op a b22 -> Op a b23 -> Op a b24 -> Op a b25 -> Op a b26 -> Op a b27 -> Op a b28 -> Op a b29 -> Op a b30 -> Op a b31 -> Op a b32 -> Op a b33 -> Op a b34 -> Op a b35 -> Op a b36 -> Op a b37 -> Op a b38 -> Op a b39 -> Op a b40 -> Op a b41 -> Op a b42 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23, b24, b25, b26, b27, b28, b29, b30, b31, b32, b33, b34, b35, b36, b37, b38, b39, b40, b41, b42)
+ Contravariant.Extras.Op.Contrazip: contrazip5 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a (b1, b2, b3, b4, b5)
+ Contravariant.Extras.Op.Contrazip: contrazip6 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a (b1, b2, b3, b4, b5, b6)
+ Contravariant.Extras.Op.Contrazip: contrazip7 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a (b1, b2, b3, b4, b5, b6, b7)
+ Contravariant.Extras.Op.Contrazip: contrazip8 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8)
+ Contravariant.Extras.Op.Contrazip: contrazip9 :: Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a b6 -> Op a b7 -> Op a b8 -> Op a b9 -> Op a (b1, b2, b3, b4, b5, b6, b7, b8, b9)

Files

contravariant-extras.cabal view
@@ -1,7 +1,7 @@ name:   contravariant-extras version:-  0.2+  0.3 category:   Control synopsis:@@ -45,9 +45,9 @@     Contravariant.Extras.TH   exposed-modules:     Contravariant.Extras-    Contravariant.Extras.Contramap+    Contravariant.Extras.Contrazip     Contravariant.Extras.Op-    Contravariant.Extras.Op.Contramap+    Contravariant.Extras.Op.Contrazip   build-depends:     tuple-th >= 0.2.5 && < 0.3,     template-haskell >= 2.8 && < 3,
library/Contravariant/Extras.hs view
@@ -1,9 +1,9 @@ module Contravariant.Extras (   -- |-  -- A berserk collection of @contramap@ functions with arities of up to 42.-  module Contravariant.Extras.Contramap,+  -- A berserk collection of @contrazip@ functions with arities of up to 42.+  module Contravariant.Extras.Contrazip, ) where -import Contravariant.Extras.Contramap+import Contravariant.Extras.Contrazip
− library/Contravariant/Extras/Contramap.hs 
@@ -1,21 +0,0 @@--- |--- A berserk collection of @contramap@ 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.--- -module Contravariant.Extras.Contramap where--import BasePrelude-import qualified Contravariant.Extras.TH as TH----- Generate the @contramap@ functions:-return (join (map (TH.divisibleContramapDecs "contramap") (reverse [2..42])))-
+ library/Contravariant/Extras/Contrazip.hs view
@@ -0,0 +1,21 @@+-- |+-- 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.+-- +module Contravariant.Extras.Contrazip where++import BasePrelude+import qualified Contravariant.Extras.TH as TH+++-- Generate the @contrazip@ functions:+return (join (map (TH.divisibleContrazipDecs "contrazip") (reverse [2..42])))+
library/Contravariant/Extras/Op.hs view
@@ -3,9 +3,9 @@ module Contravariant.Extras.Op (   -- |-  -- A berserk collection of @contramap@ functions with arities of up to 42.-  module Contravariant.Extras.Op.Contramap,+  -- A berserk collection of @contrazip@ functions with arities of up to 42.+  module Contravariant.Extras.Op.Contrazip, ) where -import Contravariant.Extras.Op.Contramap+import Contravariant.Extras.Op.Contrazip
− library/Contravariant/Extras/Op/Contramap.hs 
@@ -1,23 +0,0 @@--- |--- A berserk collection of @contramap@ functions with arities of up to 42,--- which are specialized to the 'Op' type,--- and jump thru less hoops than their 'Divisible'-based siblings.--- --- 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.Op"--- only to not pollute its documentation.--- The "Contravariant.Extras.Op" module still reexports this module,--- so you can simply import that only.--- -module Contravariant.Extras.Op.Contramap where--import BasePrelude-import qualified Contravariant.Extras.TH as TH----- Generate the @contramap@ functions:-return (join (map (TH.opContramapDecs "contramap") (reverse [2..42])))-
+ library/Contravariant/Extras/Op/Contrazip.hs view
@@ -0,0 +1,23 @@+-- |+-- A berserk collection of @contrazip@ functions with arities of up to 42,+-- which are specialized to the 'Op' type,+-- and jump thru fewer hoops than their 'Divisible'-based siblings.+-- +-- 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.Op"+-- only to not pollute its documentation.+-- The "Contravariant.Extras.Op" module still reexports this module,+-- so you can simply import that only.+-- +module Contravariant.Extras.Op.Contrazip where++import BasePrelude+import qualified Contravariant.Extras.TH as TH+++-- Generate the @contrazip@ functions:+return (join (map (TH.opContrazipDecs "contrazip") (reverse [2..42])))+
library/Contravariant/Extras/TH.hs view
@@ -16,8 +16,8 @@ -- tuple3 ( Op op1 ) ( Op op2 ) ( Op op3 ) = --   Op $ \( v1 , v2 , v3 ) -> mconcat [ op1 v1 , op2 v2 , op3 v3 ] -- @-opContramapDecs :: String -> Int -> [ Dec ]-opContramapDecs baseName arity =+opContrazipDecs :: String -> Int -> [ Dec ]+opContrazipDecs baseName arity =   [ signature , value ]   where     name =@@ -122,15 +122,15 @@ -- Generates declarations in the spirit of the following: --  -- @--- contramap4 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f ( a1 , a2 , a3 , a4 )--- contramap4 f1 f2 f3 f4 =+-- contrazip4 :: Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f ( a1 , a2 , a3 , a4 )+-- contrazip4 f1 f2 f3 f4 = --   divide $(TupleTH.splitTupleAt 4 1) f1 $ --   divide $(TupleTH.splitTupleAt 3 1) f2 $ --   divide $(TupleTH.splitTupleAt 2 1) f3 $ --   f4 -- @-divisibleContramapDecs :: String -> Int -> [Dec]-divisibleContramapDecs baseName arity =+divisibleContrazipDecs :: String -> Int -> [Dec]+divisibleContrazipDecs baseName arity =   [signature, value]   where     name =