| Portability | non-portable (functional-dependencies) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Functor.Adjunction
Description
- class (Functor f, Functor g) => Adjunction f g where
- unit :: a -> g (f a)
- counit :: f (g a) -> a
- leftAdjunct :: (f a -> b) -> a -> g b
- rightAdjunct :: (a -> g b) -> f a -> b
- newtype ACompF f g a = ACompF (CompF f g a)
Documentation
class (Functor f, Functor g) => Adjunction f g whereSource
An Adjunction formed by the Functor f and Functor g.
Adjunction-oriented composition, yields monads and comonads from adjunctions
Instances
| Composition ACompF | |
| Adjunction f g => Monad (ACompF g f) | |
| (Functor f, Functor g) => Functor (ACompF f g) | |
| Adjunction f g => Applicative (ACompF g f) | |
| (Full f, Full g) => Full (ACompF f g) | |
| Adjunction f g => Copointed (ACompF f g) | |
| Adjunction f g => Pointed (ACompF g f) | |
| (ExpFunctor f, ExpFunctor g) => ExpFunctor (ACompF f g) | |
| Adjunction f g => Comonad (ACompF f g) |