Simple function composition.
Simple function composition. Allows map fusion without traversing an F
.
Modify the context F
using transformation f
.
Converts to F[A]
even without a Functor
instance for F
.
Converts to Coyoneda[F,A]
even without a Functor
instance for F
.
The cofree functor for
F
. The Yoneda lemma says thatYoneda[F,A]
is isomorphic toF[A]
for any functorF
. The function fromYoneda[F, A]
toF[A]
exists even when we have forgotten thatF
is a functor. Can be seen as a partially appliedmap
for the functorF
.