 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Functor.Adjunction  Portability  nonportable (functionaldependencies)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 





Description 


Synopsis 



Documentation 

class (Representable g (f ()), Functor f) => Adjunction f g  f > g, g > f where 
An Adjunction formed by the Functor f and Functor g.
  Methods  unit :: a > g (f a)   counit :: f (g a) > a   leftAdjunct :: (f a > b) > a > g b   rightAdjunct :: (a > g b) > f a > b 
  Instances  


newtype ACompF f g a 
Adjunctionoriented composition, yields monads and comonads from adjunctions
 Constructors   Instances  


Every Right Adjoint is Representable


repAdjunction :: Adjunction f g => (f () > a) > g a 

unrepAdjunction :: Adjunction f g => g a > (f () > a) 

Produced by Haddock version 2.1.0 