Skip to content

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

Modulelinear-base-0.8.1

Data.Bifunctor.Linear

2 classes

Packagelinear-base-0.8.1
Exports2
LicenceMIT

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

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.8.1 · Data.Bifunctor.Linear.Internal.Bifunctor
Bifunctor Tuple2Defined in linear-base-0.8.1 · Data.Bifunctor.Linear.Internal.Bifunctor

classclass Bifunctor m => SymmetricMonoidal (m :: Type -> Type -> Type) u | m -> u, u -> m where

Methods

rassoc :: m (m a b) c %1 -> m a (m b c)
lassoc :: m a (m b c) %1 -> m (m a b) c
swap :: m a b %1 -> m b a

Instances2SymmetricMonoidal

SymmetricMonoidal Either VoidDefined in linear-base-0.8.1 · Data.Bifunctor.Linear.Internal.SymmetricMonoidal
SymmetricMonoidal Tuple2 ()Defined in linear-base-0.8.1 · Data.Bifunctor.Linear.Internal.SymmetricMonoidal