Portability | MPTCs |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
runAdjoint :: Contravariant f => Adjoint f g a -> f (g a)Source
adjoint :: Contravariant f => f (g a) -> Adjoint f g aSource
newtype AdjointT f g m a Source
AdjointT | |
|
(Contravariant f, Contravariant g, Monad m) => Functor (AdjointT f g m) | |
(DualAdjunction f g, Monad m) => Comonad (AdjointT f g m) |