如何將Throwable \\ / List [Throwable \\ / A]序列化為scalaz中的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