Seq[Either[String,A]]
のシーケンスが与えられます。Left
はエラーメッセージです。シーケンスのすべての要素がRight
の場合、Right
(Either[String,Seq[A]]
になります)を取得するSeq[A]
を取得したいと思います。少なくとも1つのLeft
(エラーメッセージ)がある場合、最初のエラーメッセージまたはすべてのエラーメッセージの連結を取得したいと思います。
もちろん、scalazコードを投稿することはできますが、それを使用しないコードにも興味があります。
メッセージの本文を反映するために元々Either[Seq[A],Seq[B]]
を要求していたタイトルを変更しました。
編集:あなたの質問のタイトルがEither[Seq[A],Seq[B]]
を求めているのを見逃しましたが、「最初のエラーメッセージまたはすべてのエラーメッセージの連結を取得したい」と読みました。これにより前者が得られます。
def sequence[A, B](s: Seq[Either[A, B]]): Either[A, Seq[B]] =
s.foldRight(Right(Nil): Either[A, List[B]]) {
(e, acc) => for (xs <- acc.right; x <- e.right) yield x :: xs
}
scala> sequence(List(Right(1), Right(2), Right(3)))
res2: Either[Nothing,Seq[Int]] = Right(List(1, 2, 3))
scala> sequence(List(Right(1), Left("error"), Right(3)))
res3: Either[Java.lang.String,Seq[Int]] = Left(error)
Scalazの使用:
val xs: List[Either[String, Int]] = List(Right(1), Right(2), Right(3))
scala> xs.sequenceU
res0: scala.util.Either[String,List[Int]] = Right(List(1, 2, 3))
開始シーケンスxs
が与えられた場合、これが私の見解です。
xs collectFirst { case x@Left(_) => x } getOrElse
Right(xs collect {case Right(x) => x})
これは質問の本文への回答であり、最初のエラーのみをEither[String,Seq[A]]
として取得します。これは明らかにタイトルの質問に対する有効な回答ではありません
すべてのエラーを返すには:
val lefts = xs collect {case Left(x) => x }
def rights = xs collect {case Right(x) => x}
if(lefts.isEmpty) Right(rights) else Left(lefts)
rights
はメソッドとして定義されているため、必要に応じてオンデマンドでのみ評価されることに注意してください
Scalazコードは次のとおりです。
_.sequence
それは動作するはずです:
def unfoldRes[A](x: Seq[Either[String, A]]) = x partition {_.isLeft} match {
case (Seq(), r) => Right(r map {_.right.get})
case (l, _) => Left(l map {_.left.get} mkString "\n")
}
結果を左と右に分割します。左が空の場合は右を作成し、そうでない場合は左を作成します。
開始Scala 2.13
、ほとんどのコレクションには、アイテムをpartitionMap
またはRight
のいずれかにマップする関数に基づいて要素を分割する Left
メソッドが用意されています。
この場合、すでにRight
sとLeft
sがあるため、入力をRight
またはLeft
に変換してパーティションを定義する関数も必要ありません。したがって、identity
の簡単な使用法!
次に、左が存在するかどうかに基づいて、結果として分割された左と右のタプルを照合するだけです。
eithers.partitionMap(identity) match {
case (Nil, rights) => Right(rights)
case (firstLeft :: _, _) => Left(firstLeft)
}
// * val eithers: List[Either[String, Int]] = List(Right(1), Right(2), Right(3))
// => Either[String,List[Int]] = Right(List(1, 2, 3))
// * val eithers: List[Either[String, Int]] = List(Right(1), Left("error1"), Right(3), Left("error2"))
// => Either[String,List[Int]] = Left("error1")
中間ステップの詳細(partitionMap
):
List(Right(1), Left("error1"), Right(3), Left("error2")).partitionMap(identity)
// => (List[String], List[Int]) = (List("error1", "error2"), List(1, 3))
Kevinのソリューションに基づいて構築し、HaskellのEitherタイプから少し盗むと、次のようにメソッドpartitionEithersを作成できます。
def partitionEithers[A, B](es: Seq[Either[A, B]]): (Seq[A], Seq[B]) =
es.foldRight (Seq.empty[A], Seq.empty[B]) { case (e, (as, bs)) =>
e.fold (a => (a +: as, bs), b => (as, b +: bs))
}
そしてそれを使用してソリューションを構築します
def unroll[A, B](es: Seq[Either[A, B]]): Either[Seq[A], Seq[B]] = {
val (as, bs) = partitionEithers(es)
if (!as.isEmpty) Left(as) else Right(bs)
}
私はどちらかを使用することに慣れていません-これが私のアプローチです。おそらくもっとエレガントな解決策があります:
_def condense [A] (sesa: Seq [Either [String, A]]): Either [String, Seq [A]] = {
val l = sesa.find (e => e.isLeft)
if (l == None) Right (sesa.map (e => e.right.get))
else Left (l.get.left.get)
}
condense (List (Right (3), Right (4), Left ("missing"), Right (2)))
// Either[String,Seq[Int]] = Left(missing)
condense (List (Right (3), Right (4), Right (1), Right (2)))
// Either[String,Seq[Int]] = Right(List(3, 4, 1, 2))
_
Left (l.get.left.get)
は少しおかしいように見えますが、l
自体はEither [A、Seq [B]]ではなく、Either [A、B]であり、再ラップする必要があります。
私の答えは@GarrettRoweの答えに似ています:しかし、foldLeftを使用し(参照: foldRightとreduceRightが末尾再帰ではない理由 )、Seqに追加するのではなくSeqに追加します(参照: リストへの追加が悪いのはなぜですか? )。
scala> :paste
// Entering paste mode (ctrl-D to finish)
def partitionEitherSeq[A,B](eitherSeq: Seq[Either[A,B]]): (Seq[A], Seq[B]) =
eitherSeq.foldLeft(Seq.empty[A], Seq.empty[B]) { (acc, next) =>
val (lefts, rights) = acc
next.fold(error => (lefts :+ error, rights), result => (lefts, rights :+ result))
}
// Exiting paste mode, now interpreting.
partitionEitherSeq: [A, B](eitherSeq: Seq[Either[A,B]])(Seq[A], Seq[B])
scala> partitionEitherSeq(Seq(Right("Result1"), Left("Error1"), Right("Result2"), Right("Result3"), Left("Error2")))
res0: (Seq[Java.lang.String], Seq[Java.lang.String]) = (List(Error1, Error2),List(Result1, Result2, Result3))