
Control.Functor.Adjunction  Portability  nonportable (fundeps)  Stability  experimental  Maintainer  dan.doel@gmail.com 



Description 


Synopsis 



Documentation 


Minimal definitions:
1. leftAdjunct and rightAdjunct
2. unit and counit
Given functors f and g, Adjunction f g implies Monad (g `'O'` f) and
Comonad (f `'O'` g).
  Methods  leftAdjunct :: (f a > b) > a > g b  Source 
  rightAdjunct :: (a > g b) > f a > b  Source 
    
  Instances  


Produced by Haddock version 2.3.0 