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

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Moduleoptics-core-0.4.2Haskell2010

Optics.Internal.Bi

Classes for co- and contravariant bifunctors.

This module is intended for internal use only, and may change without warning in subsequent releases.

  • 2 classes
  • 2 values
classclass Bifunctor (p :: k -> Type -> Type -> Type) where
#

Class for (covariant) bifunctors.

Methods

  • bimap :: (a -> b) -> (c -> d) -> p i a c -> p i b d
  • first :: (a -> b) -> p i a c -> p i b c
  • second :: (c -> d) -> p i a c -> p i a d
Instances2Bifunctor
classclass Bicontravariant (p :: k -> Type -> Type -> Type) where
#

Class for contravariant bifunctors.

Methods

Instances5Bicontravariant