| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Functor.Adjunction.HigherOrder | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
Higher-Order Adjunctions
|
|
|
Documentation |
|
class (HFunctor f, HFunctor g) => HAdjunction f g where |
| Methods | hunit :: a :~> g (f a) | | hcounit :: f (g b) :~> b | | hleftAdjunct :: (f a :~> b) -> a :~> g b | | hrightAdjunct :: (a :~> g b) -> f a :~> b |
| | Instances | |
|
|
Produced by Haddock version 2.1.0 |