Portability | GADTs, MPTCs, fundeps |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | None |
Documentation
The contravariant Yoneda lemma applied to a covariant functor
liftYoneda :: f a -> Yoneda f aSource
lowerYoneda :: Functor f => Yoneda f a -> f aSource