Portability | GADTs, MPTCs, fundeps |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Trustworthy |
Yoneda Reduction:
http://ncatlab.org/nlab/show/Yoneda+reduction
is isomorphic to Yoneda
fLan
f Identity
Documentation
A form suitable for Yoneda reduction
liftYoneda :: f a -> Yoneda f aSource
lowerYoneda :: Functor f => Yoneda f a -> f aSource
Yoneda reduction
lower
=lowerM
=lowerYoneda