Composes two instances of FunctionK into a new FunctionK with this transformation applied first.
Composes two instances of FunctionK into a new FunctionK with this transformation applied last.
Composes two instances of FunctionK into a new FunctionK that transforms a cats.data.Coproduct to a single functor.
Composes two instances of FunctionK into a new FunctionK that transforms a cats.data.Coproduct to a single functor.
This transformation will be used to transform left F
values while
h
will be used to transform right H
values.
FunctionK[F[_], G[_]]
is a functor transformation fromF
toG
in the same manner that functionA => B
is a morphism from values of typeA
toB
. An easy way to create a FunctionK instance is to use the Polymorphic lambdas provided by non/kind-projector v0.9+. E.g.