は、私は、単一の<code>ValidatedNel</code>値に<code>cats.data.ValidatedNel[E, T]</code>値のシーケンスを平らにする必要が

Question

値

import cats.std.list._, cats.syntax.cartesian._ 

results.reduce(_ |@| _ map { case _ => validatedValue }) 

が、あらかじめ定義されたライブラリメソッドが存在するかどうか疑問に思う。

Answer 1

それはあなたがそれらを結合する方法に依存し

import cats.data.{Validated, ValidatedNel} 
import cats.implicits._ 

val validations1 = List(1.validNel[String], 2.valid, 3.valid) 
val validations2 = List(1.validNel[String], "kaboom".invalidNel, "boom".invalidNel) 

あなたがTを組み合わせるためにしたい場合は、あなたが使用するFoldable.combineAllを使用することができますMonoid[T]（あなたの質問にあるものvalidatedValueを？）：

val valSum1 = validations1.combineAll 
// Valid(6) 
val valSum2 = validations2.combineAll 
// Invalid(OneAnd(kaboom,List(boom))) 

あなたがValidationNel[String, List[T]]を取得したい場合は、あなたがTraverse.sequenceUを使用することができます。

val valList1: ValidatedNel[String, List[Int]] = validations1.sequenceU 
// Valid(List(1, 2, 3)) 
val valList2: ValidatedNel[String, List[Int]] = validations2.sequenceU 
// Invalid(OneAnd(kaboom,List(boom))) 

結果が気にならない場合は、Foldable.sequenceU_を使用できます。

val result1: ValidatedNel[String, Unit] = validations1.sequenceU_ 
// Valid(()) 
val result2: ValidatedNel[String, Unit] = validations2.sequenceU_ 
// Invalid(OneAnd(kaboom,List(boom))) 

validations1.sequenceU_.as(validatedValue) // as(x) is equal to map(_ => x)