如何将Throwable \/ List[Throwable \/ A]排序为List[A]中的Throwable \/ List[A]？

Question

我正在努力弄清楚如何在一个干净的环境中将一个Throwable \/ List[Throwable \/ A]排序为一个Throwable \/ List[A]，可能会使用Traverse实例来实现List，但我似乎想不出如何获得right of \/的应用程序。现在，我有一个非典型的解决方案：

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