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

Control.Functor.Adjunction Portability non-portable (functional-dependencies) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Synopsis

class (Functor f, Functor g) => Adjunction f g where unit :: a -> g (f a) counit :: f (g a) -> a leftAdjunct :: (f a -> b) -> a -> g b rightAdjunct :: (a -> g b) -> f a -> b newtype ACompF f g a = ACompF (CompF f g a)

Documentation

class (Functor f, Functor g) => Adjunction f g where Source

An Adjunction formed by the Functor f and Functor g. Methods unit :: a -> g (f a) Source counit :: f (g a) -> a Source leftAdjunct :: (f a -> b) -> a -> g b Source rightAdjunct :: (a -> g b) -> f a -> b Source

newtype ACompF f g a Source

Constructors ACompF (CompF f g a) Instances Composition ACompF Adjunction f g => Monad (ACompF g f) (Functor f, Functor g) => Functor (ACompF f g) Adjunction f g => Copointed (ACompF f g) Adjunction f g => Pointed (ACompF g f) (Full f, Full g) => Full (ACompF f g) (ExpFunctor f, ExpFunctor g) => ExpFunctor (ACompF f g) Adjunction f g => Comonad (ACompF f g)

Produced by Haddock version 2.1.0