オプション[検証[E、A]]を検証[E、オプション[A]]に変換する

Question

ScalaZではOption[Validation[E, A]]をValidation[E, Option[A]]に変換する慣用方法は何ですか？例えば

、以下の仮定のコードで：

def convert(x: Option[Validation[E, A]]): Validation[E, Option[A]] =  
    /* ??? */ 

def validateThing(thing: A): Validation[E, A] = 
    /* whatever */ 

def exampleUseCase(maybeThing: Option[Thing]): Validation[E, Option[Thing]] = { 
    val validated: Option[Validation[E, Thing]] = a.map(validateThing(_)) 

    // ... 

    val result: Validation[E, Option[Thing]] = convert(validated) 
    result 
} 

convertの実装は、慣用的なScalaZのように何を見ますか？

Answer 1

私はここで2つの解決策を見ることができます。おそらく引数、たとえば上のパターンマッチングを使用して最も簡単な1：

Scalazベースのソリューションについては

def convert[A](v: Option[Validation[Throwable, A]]): Validation[Throwable, Option[A]] = { 
    v match { 
    case None => Validation.success(None) 
    case Some(valid) => valid.map(Some(_)) 
    } 
} 

、私は、およそsequenceあなたが潜在的な問題を、あなたがすることができます集約する代わりに、検証のValidationNelを、使用する必要があり、このように考えていましたTraversableでconvertを実装：検証は、2種類のパラメータを持っている原因

def convert[A](v: Option[ValidationNel[Throwable, A]]): ValidationNel[Throwable, Option[A]] = 
    Traverse[Option].sequenceU(v) 

私だけではなくsequenceのsequenceUを使用しています実際にそれを注意してください、それは、適切な型推論のための内部Scalazの魔法よりも何もありません。希望すると助けてくれる