Skip to content

HORIZON HASKELL Docs lts/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

Modulelinear-base-0.4.0Haskell2010

Data.Bifunctor.Linear.Internal.Bifunctor

1 class

Packagelinear-base-0.4.0
Exports1
LanguageHaskell2010
LicenceMIT
SourceBifunctor.hs

classclass Bifunctor (p :: Type -> Type -> Type) where

The Bifunctor class

Laws

If bimap is supplied, then bimap id id = id

If first and second are supplied, then first id ≡ id second id ≡ id
If all are supplied, then @bimap f g = first f . second g

Methods

bimap :: (a %1 -> b) -> (c %1 -> d) -> p a c %1 -> p b d
first :: (a %1 -> b) -> p a c %1 -> p b c
second :: (b %1 -> c) -> p a b %1 -> p a c

Instances2Bifunctor

Bifunctor EitherDefined in linear-base-0.4.0 · Data.Bifunctor.Linear.Internal.Bifunctor
Bifunctor Tuple2Defined in linear-base-0.4.0 · Data.Bifunctor.Linear.Internal.Bifunctor