Konwersja opcji [Weryfikacja [E, A]] na Walidację [E, Opcja [A]]

Question

W ScalaZ, jaki jest idiomatyczny sposób konwersji Option[Validation[E, A]] na Validation[E, Option[A]]?

Na przykład w poniższym kodzie hipotetycznej:

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 
} 

co by realizacja convert wyglądać w idiomatycznym ScalaZ?

Answer 1

Widzę tutaj dwa możliwe rozwiązania. Prawdopodobnie najprostszym użyciu dopasowania wzoru na argumencie, przykład:

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

Dla rozwiązania opartego Scalaz, myślałem o sequence, w ten sposób trzeba użyć ValidationNel zamiast walidacji agregować możliwych problemów, znajdują się poniżej wdrożenie convert z Traversable:

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

Należy pamiętać, że w rzeczywistości używam sequenceU zamiast tylko sequence, to nic więcej niż wewnętrznej magii Scalaz do prawidłowego typu wnioskowania, bo Walidacja ma dwa parametry typu. Mam nadzieję, że pomoże