scalaz.io: сгладить IO [Throwable, Seq [IO [Nothing, String]]]

Question

У меня есть IO[Throwable, Seq[IO[Nothing, String]]], и я хотел бы превратить его в IO[Throwable, Seq[String]].Есть идеи как?Я пробовал с flatten, но я получаю странные неявные пропущенные ошибки.

No implicits found for parameter asTraversable: IO[Nothing, Step] => GenTraversableOnce[B_]

Спасибо!

Answer 1

Я нашел решение:

val data1: IO[Throwable, Seq[IO[Nothing, String]]]
val data2: IO[Throwable, IO[Nothing, Seq[String]]] = data1.map(IO.sequence)
val data3: IO[Throwable, Seq[String]] = data2.flatten

Чтобы сделать это за один шаг:

data1.flatMap(IO.sequence)

Предоставлено @ andrey-tyukin