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