|
Control.Functor.Adjunction | Portability | non-portable (functional-dependencies) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
|
|
Description |
|
|
Synopsis |
|
|
|
Documentation |
|
|
|
|
|
Adjunction-oriented composition, yields monads and comonads from adjunctions
| Constructors | | Instances | |
|
|
Every Right Adjoint is Representable
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |