更改 fs2.Stream 的效果类型

Question

我正在使用 doobie，它可以生成 fs2.Stream[ConnectionIO, Int] 的数据库行（在我的例子中是 Int）。 ConnectionIO[A] 是 doobie 的内部类型。

给定 HKT F[_] 和 val nt: ConnectionIO ~> F 有没有办法从 fs2.Stream[ConnectionIO, Int] 得到 fs2.Stream[F, Int]？

我没有找到为 fs2.Stream 定义的某种 mapK。

Answer 1

您正在寻找的方法称为 translate，在某些情况下或 translateInterruptible。