Изменение типа эффекта fs2.Stream

Question

Я использую doob ie, который может создать fs2.Stream[ConnectionIO, Int] строк базы данных (Int в моем случае). ConnectionIO[A] - это внутренний тип doob ie.

Учитывая HKT F[_] и val nt: ConnectionIO ~> F, есть ли способ получить fs2.Stream[F, Int] из fs2.Stream[ConnectionIO, Int]?

Я не нашел какой-то mapK, определенный для fs2.Stream.

Answer 1

Метод, который вы ищете, называется translate или translateInterruptible в некоторых случаях.