The underlying value.
Converts to G[A]
given that G
is a functor
The list of transformer functions composed into a single function, to be lifted into F
by run
.
Simple function composition.
Simple function composition. Allows map fusion without touching
the underlying F
.
Modify the context F
using transformation f
.
Converts to F[A]
given that F
is a functor
Converts to Yoneda[F,A]
given that F
is a functor
The dual view of the Yoneda lemma. The free functor on
F
. This is isomorphic toF
as long asF
itself is a functor. The function fromF[A]
toCoyoneda[F,A]
exists even whenF
is not a functor. Implemented using a List of functions for stack-safety.