 | category-extras-0.50.3: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Functor.Adjunction | Portability | non-portable (functional-dependencies) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
Synopsis |
|
|
|
Documentation |
|
class (Functor f, Functor g) => Adjunction f g 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 |
Adjunction-oriented composition, yields monads and comonads from adjunctions
| Constructors | | Instances | |
|
|
Produced by Haddock version 2.1.0 |