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