abstract
The cofree functor generated by F
. The Yoneda lemma says that
Yoneda[F,A]
is isomorphic to F[A]
for any functor F
.
The homomorphism from Yoneda[F,A]
to F[A]
exists even when
we have forgotten that F
is a functor.
Can be seen as a partially applied map
for the functor F
.
- Companion
- object
Value members
Abstract methods
Concrete methods
Simple function composition. Allows map fusion without traversing an F
.
Simple function composition. Allows map fusion without traversing an F
.
Converts to F[A]
even without a Functor
instance for F
Converts to F[A]
even without a Functor
instance for F