Lift a FreeC[F]
into a FreeC
of a Coproduct
of effects (where G
is
the kind of the Coproduct
of effects), using an implicit Inject
instance as evidence of how to lift F
into the coproduct.
Lift a FreeC[F]
into a FreeC
of a Coproduct
of effects (where G
is
the kind of the Coproduct
of effects), using an implicit Inject
instance as evidence of how to lift F
into the coproduct.
This is useful when you have some FreeC
s of one effect (say ConsulOp
)
and some FreeC
s of another effect (say DnsOp
) and you want to combine
them into a FreeC
of one effect type or the other.