Lifts the value a into a partial application of functor.map. It is the natural isomorphism to Yoneda<F, _>.
a
functor.map
Yoneda<F, _>
The instance of Functor for F.
Functor
F
The partial application of functor.map.
Generated using TypeDoc
Lifts the value
a
into a partial application offunctor.map
. It is the natural isomorphism toYoneda<F, _>
.