MapEffect
object MapEffect
class Object
trait Matchable
class Any
Value members
Concrete methods
def apply[F[_], G[_], U[_], T, R0](r: RequestT[U, T, R0 & Effect[F]], fk: FunctionK[F, G], gk: FunctionK[G, F], fm: MonadError[F], gm: MonadError[G]): RequestT[U, T, R0 & Effect[G]]
Change the effect type that's used by the response specification of this request, if the response specification
requires the Effect[F]
capability.
Change the effect type that's used by the response specification of this request, if the response specification
requires the Effect[F]
capability.
- Type Params
- F
The source effect type.
- G
The target effect type.
- R0
The requirements of this request, without the
Effect[F]
capability.
- Value Params
- fk
A transformation between effects
F
andG