Portability | GADTs, MPTCs, fundeps |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
- type Yoneda = YonedaT Identity
- yoneda :: (b -> a) -> b -> Yoneda a
- liftYoneda :: a -> Yoneda a
- lowerYoneda :: Yoneda a -> a
- liftYonedaT :: f a -> YonedaT f a
- lowerYonedaT :: Functor f => YonedaT f a -> f a
- lowerM :: Monad f => YonedaT f a -> f a
- data YonedaT f a where
Documentation
liftYoneda :: a -> Yoneda aSource
lowerYoneda :: Yoneda a -> aSource
liftYonedaT :: f a -> YonedaT f aSource
lowerYonedaT :: Functor f => YonedaT f a -> f aSource
The contravariant Yoneda lemma applied to a covariant functor