Question

如果我有以下方法

 def getMyList :\/[Throwable,List[\/[Throwable,Int]]] ={
 ....
 }

如何将getMyList的类型展平为\/[Throwable,List[Int]]

Answer 1

只是flatMap和sequenceU，它们都在scalaz中：

  def flatten(e: \/[Throwable,List[\/[Throwable,Int]]]): \/[Throwable,List[Int]] = {
    e.flatMap(a => a.sequenceU)
  }

Answer 2

如果展平，则表示从List[\/[Throwable,Int]]中删除左侧类型，然后您可以map外部分离，collect正确类型：

list.map(_.collect{ case \/-(x) => x})

Answer 3

我不认为某些更高的订单会让事情变得平淡无奇。存在/。看起来像Validateion＆amp; ValidationNEL将是解决此问题的更好选择。然而，这里是＆＃34;脏＆＃34;对于/的解决方案，它将首先返回失败。如果你想积累失败验证是可行的方式

 val getMyList: \/[Throwable,List[\/[Throwable,Int]]] =
    //\/-(List(-\/(new RuntimeException("test")), \/-(1)))
    \/-(List(\/-(2), \/-(1)))


  val flatten = getMyList.fold(\/.left, _.foldLeft(\/.right[Throwable, List[Int]](List.empty[Int])) {
    case (\/-(list), \/-(i)) => \/-(list :+ i)
    case (\/-(list), -\/(err)) => -\/(err)
    case (-\/(err), _) => -\/(err)
  })

  println(flatten)

Answer 4

我们使用以下方法，其中.sSuccess创建一个\/[_, Seq[T]]，而.sFail创建一个\/[Throwable, _]，其中连接了所有throwable的错误消息：

implicit class CondenseEither[T](seq: Seq[\/[Throwable,T]]) = {
  def condenseSeq: \/[Throwable, Seq[T]] = {
    val errs = seq.filter(_.isLeft).map(_.toEither)
    if(errs.isEmpty) seq.map(_.toEither).map(_.right.get).sSuccess
    else errs.map(_.left.get.getMessage).mkString(", ")).sFail
  }
}

如果没有toEither s

，可能有办法实现这一目标

如何压扁析取类型

4 个答案: