HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Moduleoptics-core-0.4.1.1Haskell2010

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 :: Type -> 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 :: Type -> Type -> Type -> Type) where
#

Class for contravariant bifunctors.

Methods

Instances5Bicontravariant