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 and G