Portability | MPTCs, fundeps |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
liftYoneda :: a -> Yoneda aSource
lowerYoneda :: Yoneda a -> aSource
YonedaT | |
|
liftYonedaT :: Functor f => f a -> YonedaT f aSource
lowerYonedaT :: YonedaT f a -> f aSource