-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Extras for the "contravariant" package
--   
--   Extras for the "contravariant" package
@package contravariant-extras
@version 0.3.3.1


-- | A berserk collection of <tt>contrazip</tt> functions with arities of
--   up to 42, which are specialized to the <tt>Op</tt> type, and jump thru
--   fewer hoops than their <tt>Divisible</tt>-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 <a>Contravariant.Extras.Op</a>
--   only to not pollute its documentation. The
--   <a>Contravariant.Extras.Op</a> module still reexports this module, so
--   you can simply import that only.
module Contravariant.Extras.Op.Contrazip
contrazip2 :: forall a b1 b2. Monoid a => Op a b1 -> Op a b2 -> Op a (b1, b2)
contrazip3 :: forall a b1 b2 b3. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a (b1, b2, b3)
contrazip4 :: forall a b1 b2 b3 b4. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a (b1, b2, b3, b4)
contrazip5 :: forall a b1 b2 b3 b4 b5. Monoid a => Op a b1 -> Op a b2 -> Op a b3 -> Op a b4 -> Op a b5 -> Op a (b1, b2, b3, b4, b5)
contrazip6 :: forall a b1 b2 b3 b4 b5 b6. 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)
contrazip7 :: forall a b1 b2 b3 b4 b5 b6 b7. 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)
contrazip8 :: forall a b1 b2 b3 b4 b5 b6 b7 b8. 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)
contrazip9 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9. 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)
contrazip10 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10. 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)
contrazip11 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11. 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)
contrazip12 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12. 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)
contrazip13 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13. 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)
contrazip14 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14. 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)
contrazip15 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15. 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)
contrazip16 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16. 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)
contrazip17 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17. 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)
contrazip18 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18. 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)
contrazip19 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19. 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)
contrazip20 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20. 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)
contrazip21 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21. 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)
contrazip22 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22. 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)
contrazip23 :: forall a b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23. 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)
contrazip24 :: forall 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. 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)
contrazip25 :: forall 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. 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)
contrazip26 :: forall 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. 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)
contrazip27 :: forall 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. 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)
contrazip28 :: forall 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. 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)
contrazip29 :: forall 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. 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)
contrazip30 :: forall 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. 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)
contrazip31 :: forall 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. 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)
contrazip32 :: forall 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. 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)
contrazip33 :: forall 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. 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)
contrazip34 :: forall 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. 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)
contrazip35 :: forall 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. 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)
contrazip36 :: forall 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. 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)
contrazip37 :: forall 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. 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)
contrazip38 :: forall 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. 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)
contrazip39 :: forall 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. 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)
contrazip40 :: forall 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. 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)
contrazip41 :: forall 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. 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)
contrazip42 :: forall 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. 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)


-- | This module exports functions specialized for the <tt>Op</tt> type.
module Contravariant.Extras.Op


-- | A berserk collection of <tt>contrazip</tt> 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 <a>Contravariant.Extras</a>
--   only to not pollute its documentation. The <a>Contravariant.Extras</a>
--   module still reexports this module, so you can simply import that
--   only.
module Contravariant.Extras.Contrazip
contrazip2 :: forall f a1 a2. Divisible f => f a1 -> f a2 -> f (a1, a2)
contrazip3 :: forall f a1 a2 a3. Divisible f => f a1 -> f a2 -> f a3 -> f (a1, a2, a3)
contrazip4 :: forall f a1 a2 a3 a4. Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f (a1, a2, a3, a4)
contrazip5 :: forall f a1 a2 a3 a4 a5. Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f (a1, a2, a3, a4, a5)
contrazip6 :: forall f a1 a2 a3 a4 a5 a6. Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f (a1, a2, a3, a4, a5, a6)
contrazip7 :: forall f a1 a2 a3 a4 a5 a6 a7. Divisible f => f a1 -> f a2 -> f a3 -> f a4 -> f a5 -> f a6 -> f a7 -> f (a1, a2, a3, a4, a5, a6, a7)
contrazip8 :: forall f a1 a2 a3 a4 a5 a6 a7 a8. 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)
contrazip9 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9. 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)
contrazip10 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10. 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)
contrazip11 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11. 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)
contrazip12 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12. 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)
contrazip13 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13. 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)
contrazip14 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14. 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)
contrazip15 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15. 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)
contrazip16 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16. 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)
contrazip17 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17. 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)
contrazip18 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18. 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)
contrazip19 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19. 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)
contrazip20 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20. 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)
contrazip21 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21. 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)
contrazip22 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22. 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)
contrazip23 :: forall f a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23. 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)
contrazip24 :: forall 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. 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)
contrazip25 :: forall 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. 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)
contrazip26 :: forall 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. 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)
contrazip27 :: forall 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. 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)
contrazip28 :: forall 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. 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)
contrazip29 :: forall 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. 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)
contrazip30 :: forall 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. 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)
contrazip31 :: forall 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. 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)
contrazip32 :: forall 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. 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)
contrazip33 :: forall 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. 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)
contrazip34 :: forall 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. 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)
contrazip35 :: forall 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. 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)
contrazip36 :: forall 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. 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)
contrazip37 :: forall 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. 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)
contrazip38 :: forall 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. 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)
contrazip39 :: forall 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. 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)
contrazip40 :: forall 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. 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)
contrazip41 :: forall 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. 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)
contrazip42 :: forall 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. 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)

module Contravariant.Extras
contramany :: Decidable f => f a -> f [a]

-- | A combination of a divisible functor with some input for it. Allows to
--   use the <a>Monoid</a> API for composition.
data Supplied divisible
Supplied :: !(divisible input) -> !input -> Supplied divisible
instance Data.Functor.Contravariant.Divisible.Divisible divisible => GHC.Base.Monoid (Contravariant.Extras.Supplied divisible)
