HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulecontravariant-extras-0.3.5.4Haskell2010

Contravariant.Extras.ContrazipLifting

  • 9 values
valuecontrazipLifting6
  1. :: Divisible f
  2. => forall x. g x -> f x
  3. -> g a1
  4. -> g a2
  5. -> g a3
  6. -> g a4
  7. -> g a5
  8. -> g a6
  9. -> f (a1, a2, a3, a4, a5, a6)
#
valuecontrazipLifting7
  1. :: Divisible f
  2. => forall x. g x -> f x
  3. -> g a1
  4. -> g a2
  5. -> g a3
  6. -> g a4
  7. -> g a5
  8. -> g a6
  9. -> g a7
  10. -> f (a1, a2, a3, a4, a5, a6, a7)
#
valuecontrazipLifting8
  1. :: Divisible f
  2. => forall x. g x -> f x
  3. -> g a1
  4. -> g a2
  5. -> g a3
  6. -> g a4
  7. -> g a5
  8. -> g a6
  9. -> g a7
  10. -> g a8
  11. -> f (a1, a2, a3, a4, a5, a6, a7, a8)
#
valuecontrazipLifting9
  1. :: Divisible f
  2. => forall x. g x -> f x
  3. -> g a1
  4. -> g a2
  5. -> g a3
  6. -> g a4
  7. -> g a5
  8. -> g a6
  9. -> g a7
  10. -> g a8
  11. -> g a9
  12. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9)
#
valuecontrazipLifting10
  1. :: Divisible f
  2. => forall x. g x -> f x
  3. -> g a1
  4. -> g a2
  5. -> g a3
  6. -> g a4
  7. -> g a5
  8. -> g a6
  9. -> g a7
  10. -> g a8
  11. -> g a9
  12. -> g a10
  13. -> f (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)
#