scala - 如何在 scalaz 中将 Throwable\/List[Throwable\/A] 排序为 Throwable\/List[A]？

Question

我正在尝试弄清楚如何将 Throwable\/List[Throwable\/A] 干净利落地排列成 Throwable\/List[A] ，可能使用 List 的 Traverse 实例，但我似乎无法弄清楚如何为 的 right 获取应用程序>\/。现在，这是我拥有的非类型类解决方案:

import scalaz._
def readlines: Throwable \/ List[String] = ???
def parseLine[A]: Throwable \/ A = ???
def parseLines[A](line: String): Throwable \/ List[A] = {
  val lines = readlines
  lines.flatMap {
    xs => xs.reverse.foldLeft(right[Throwable, List[A]](Nil)) {
      (result, line) => result.flatMap(ys => parseA(line).map(a => a :: ys))
    }
  }
}

我确信必须有更好的方法来实现 parseLines。

Answer 1

您可以使用 sequenceU 将 List[Throwable\/String] 转换为 Throwable\/List[String](它只会保留首先 Throwable) 然后你应该像这样使用 flatMap:

def source: Throwable \/ List[Throwable \/ String] = ???
def result: Throwable \/ List[String] = source.flatMap{_.sequenceU}

您还可以使用 traverseU 代替 map + sequenceU:

def readlines: Throwable \/ List[String] = ???
def parseLine[A](s: String): Throwable \/ A = ???

def parseLines[A](): Throwable \/ List[A] =
  readlines flatMap { _ traverseU parseLine[A] }

使用理解:

def parseLines[A](): Throwable \/ List[A] =
  for {
    l <- readlines
    r <- l traverseU parseLine[A]
  } yield r