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