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