| Portability | rank 2 types, MPTCs, fundeps |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Data.Functor.Adjunction
Description
- class (Functor f, Functor g) => Adjunction f g | f -> g, g -> f 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
- data Representation f x = Representation {}
- repAdjunction :: Adjunction f g => Representation g (f ())
Documentation
class (Functor f, Functor g) => Adjunction f g | f -> g, g -> f whereSource
An adjunction between Hask and Hask.
rightAdjunct unit = id leftAdjunct counit = id
Instances
| Adjunction Identity Identity | |
| Adjunction ((,) e) ((->) e) | |
| Adjunction f g => Adjunction (IdentityT f) (IdentityT g) | |
| (Adjunction f g, DualAdjunction f' g') => Adjunction (Compose f' f) (Compose g g') | |
| (Adjunction f g, Adjunction f' g') => Adjunction (Compose f' f) (Compose g g') |
data Representation f x Source
Constructors
| Representation | |
repAdjunction :: Adjunction f g => Representation g (f ())Source