Portability | MPTCs, fundeps |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
runAdjoint :: Functor f => Adjoint f g a -> f (g a)Source
newtype AdjointT f g w a Source
AdjointT | |
|
(Adjunction f g, Distributive g) => ComonadTrans (AdjointT f g) | |
(Adjunction f g, Functor m) => Functor (AdjointT f g m) | |
(Adjunction f g, Comonad m) => Comonad (AdjointT f g m) |