category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Bifunctor.Composition Portability portable Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

newtype ArrowB f g a b Source

Constructors ArrowB runArrowB :: f a b -> g a b

newtype ConstB t a b Source

Constructors ConstB runConstB :: t Instances Bifunctor (ConstB t) Functor (ConstB t a)

newtype FstB a b Source

Constructors FstB runFstB :: a Instances Bifunctor FstB Associative FstB Functor (FstB a) ExpFunctor (FstB a) ContravariantFunctor (FstB a)

newtype SndB a b Source

Constructors SndB runSndB :: b Instances Bifunctor SndB Functor (SndB a)

newtype CompB p f g a b Source

Constructors CompB runCompB :: p (f a b) (g a b) Instances (Bifunctor p, Bifunctor f, Bifunctor g) => Bifunctor (CompB p f g) (Bifunctor p, Braided f, Braided g) => Braided (CompB p f g) (Bifunctor p, Symmetric f, Symmetric g) => Symmetric (CompB p f g) (Bifunctor p, Bifunctor f, Bifunctor g) => Functor (CompB p f g a)

liftCompB :: Bifunctor p => (f a b -> f c d) -> (g a b -> g c d) -> CompB p f g a b -> CompB p f g c d Source

newtype SwapB p a b Source

Constructors SwapB runSwapB :: p b a Instances Bifunctor p => Bifunctor (SwapB p) Braided p => Braided (SwapB p) Symmetric p => Symmetric (SwapB p) Bifunctor p => Functor (SwapB p a)

liftSwapB :: Bifunctor p => (p a b -> p c d) -> SwapB p b a -> SwapB p d c Source

newtype FunctorB f p a b Source

Constructors FunctorB runFunctorB :: f (p a b) Instances (Functor f, Bifunctor p) => Bifunctor (FunctorB f p) (Functor f, Braided p) => Braided (FunctorB f p) (Functor f, Symmetric p) => Symmetric (FunctorB f p) (Zip f, Bizip p) => Bizip (FunctorB f p) (Functor f, Bifunctor p) => Functor (FunctorB f p a)

liftFunctorB :: Functor f => (p a b -> p c d) -> FunctorB f p a b -> FunctorB f p c d Source

newtype BiffB p f g a b Source

Constructors BiffB runBiffB :: p (f a) (g b) Instances (Functor f, Bifunctor p, Functor g) => Bifunctor (BiffB p f g) (Functor f, Braided p) => Braided (BiffB p f f) (Functor f, Symmetric p) => Symmetric (BiffB p f f) Functor f => PComonad (BiffB (,) Identity f) Functor f => PMonad (BiffB Either Identity f) FunctorPlus f => PMonad (BiffB (,) Identity f) (Bizip p, Zip f, Zip g) => Bizip (BiffB p f g) (BiZap p q, Zap f g, Zap i j) => BiZap (BiffB p f i) (BiffB q g j) (Functor f, Bifunctor p, Functor g) => Functor (BiffB p f g a)

Produced by Haddock version 2.1.0