Portability | MPTCs, fundeps |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
liftYoneda :: a -> Yoneda aSource
lowerYoneda :: Yoneda a -> aSource
YonedaT | |
|
ComonadTrans YonedaT | |
MonadTrans YonedaT | |
Monad m => Monad (YonedaT m) | |
Functor (YonedaT f) | |
MonadFix m => MonadFix (YonedaT m) | |
MonadPlus m => MonadPlus (YonedaT m) | |
Applicative f => Applicative (YonedaT f) | |
Foldable f => Foldable (YonedaT f) | |
Traversable f => Traversable (YonedaT f) | |
Alternative f => Alternative (YonedaT f) | |
Comonad w => Comonad (YonedaT w) | |
Extend w => Extend (YonedaT w) | |
Distributive f => Distributive (YonedaT f) | |
Plus f => Plus (YonedaT f) | |
Alt f => Alt (YonedaT f) | |
Apply f => Apply (YonedaT f) | |
Adjunction f g => Adjunction (YonedaT f) (YonedaT g) | |
Eq (f a) => Eq (YonedaT f a) | |
Ord (f a) => Ord (YonedaT f a) | |
(Functor f, Read (f a)) => Read (YonedaT f a) | |
Show (f a) => Show (YonedaT f a) |
liftYonedaT :: Functor f => f a -> YonedaT f aSource
lowerYonedaT :: YonedaT f a -> f aSource