scala - 如何从cats State创建cats IO monad

Question

我和猫一起工作，我想改造我的 val x: State[A, B]至 StateT[IO, A, B] .注意:IO 来自cats-effects。

如何优雅地做到这一点？

Answer 1

试试 mapK结合 cats.arrow.FunctionK.lift :

x.mapK(lift(IO.eval))

完整的可编译代码片段:

import cats.effect.IO
import cats.data.{State, StateT}
import cats.arrow.FunctionK.lift

object InjectIdIO {
  def i[S, V](x: State[S, V]): StateT[IO, S, V] = x.mapK(lift(IO.eval))
}

这是有效的，因为 State[S, A]实际上是 StateT[Eval, S, A] ，并且您想替换 Eval来自 IO - 这就是 mapK通常是为了。
kind-projector 的另一种选择:

x.mapK(Lambda[Eval ~> IO](IO.eval(_)))