Portability | MPTCs, fundeps |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Trustworthy |
The co-Yoneda lemma states that
f a
is isomorphic to (forall r. (a -> r) -> f a)
This is described in a rather intuitive fashion by Dan Piponi in
Documentation
liftYoneda :: Functor f => f a -> Yoneda f aSource
lowerYoneda :: Yoneda f a -> f aSource