改变 fs2.Stream 的效果类型

Question

我正在使用可以生成fs2.Stream[ConnectionIO, Int] 的数据库行（在我的情况下为Int）的doobie。 ConnectionIO[A] 是 doobie 的内部类型。

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

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

Answer 1

您要查找的方法称为translate，在某些情况下称为translateInterruptible。