如何從Cats State創建Cats IO monad

Question

我正在與貓一起工作，我想將val x: State[A, B]為StateT[IO, A, B] 。 注意：IO來自貓的效果。
如何優雅地做到這一點？

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(_)))

Answer 2

嘗試

def liftState[A, B](state: State[A, B]): StateT[IO, A, B] =
  StateT[IO, A, B] { s => IO.eval(state.run(s)) }

例如

val x: State[Int, String] = State(int => (int, "foo"))
liftState(x)