Witness for: Kleisli[M, E, A] <-> (E, R) => A if M is Representable
Witness for: Kleisli[M, E, A] <-> (E, R) => A if M is Representable
Same as liftF, but expressed as a FunctionK for use with mapK
Same as liftF, but expressed as a FunctionK for use with mapK
scala> import cats._, data._, implicits._ scala> val a: OptionT[Eval, Int] = 1.pure[OptionT[Eval, ?]] scala> val b: OptionT[Kleisli[Eval, String, ?], Int] = a.mapK(Kleisli.liftK) scala> b.value.run("").value res0: Option[Int] = Some(1)
(Since version 1.0.0-RC2) Use liftF instead