scalaz 7 эквивалента `<|*|>` от scalaz 6

Question

В Nick Partridge's presentation on deriving scalaz, на базе старой версии scalaz, он вводит валидации с использованием функции:

def even(x: Int): Validation[NonEmptyList[String], Int] = 
    if (x % 2 == 0) x.success else { s"not even: $x".wrapNel.failure } 

Затем он сочетает в себе это, используя

even(1) <|*|> even(2) 

который применяет тест и возвращает подтверждение с сообщением об ошибке. Использование scalaz 7 Я получаю

scala> even(1) <|*|> even(2) 
<console>:18: error: value <|*|> is not a member of scalaz.Validation[scalaz.NonEmptyList[String],Int] 
     even(1) <|*|> even(2) 
      ^

Каков 7 эквивалент этого комбинатора?

Answer 1

Это теперь называется tuple, так что вы можете написать, например:

import scalaz._, Scalaz._ 

def even(x: Int): Validation[NonEmptyList[String], Int] = 
    if (x % 2 == 0) x.success else s"not even: $x".failureNel 

val pair: ValidationNel[String, (Int, Int)] = even(1) tuple even(2) 

К сожалению, я не уверен, что есть лучший способ, чтобы выяснить, такого рода вещи, чем проверить последнюю 6.0 ТЕГА источник, поиск, а затем сравнение подписей.

Answer 2

Вы хотите использовать оператор |@|.

scala> (even(1) |@| even(2) |@| even(3)) { (_,_,_) } 
<console> Failure(NonEmptyList(not even: 1, not even: 3)) 

scala> (even(2) |@| even(4) |@| even(6)) { (_,_,_) } 
<console> Success((2,4,6)) 

сравните, что tuple оператора:

scala> even(1) tuple even(2) tuple even(3) 
<console> Failure(NonEmptyList(not even: 1, not even: 3)) 

scala> even(2) tuple even(4) tuple even(6) 
<console> Success(((2,4),6))