Bir Seçeneği Dönüştür [Doğrulama [E, A]] Doğrulama [E, Seçenek [A]]

Question

ScalaZ'de, Option[Validation[E, A]]'u Validation[E, Option[A]]'a dönüştürmenin deyimsel yolu nedir? Aşağıdaki varsayımsal kodda Örneğin

:

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 uygulanması deyimsel ScalaZ ne gibi görünürdü?

Answer 1

İki olası çözümü burada görebiliyorum. Muhtemelen argüman, örneğin üzerine desen eşleştirme kullanarak en kolayı:

Scalaz tabanlı bir çözüm için

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(_)) 
    } 
} 

, ben yaklaşık sequence olası sorunları yapabilirsiniz toplamak yerine Doğrulama ValidationNel, kullanmak gerekir bu şekilde düşünüyordum Traversable ile convert uygulamak: Doğrulama iki tip parametresi vardır çünkü

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

i yerine sequence ait sequenceU kullanıyorum aslında unutmayınız, bu doğru tür kesmesi için iç Scalaz büyü başka bir şey değildir. Umarım