scalaz 7 tương đương của `<|*|> 'từ scalaz 6

Question

Trong Nick Partridge's presentation on deriving scalaz, dựa trên một phiên bản cũ của scalaz, ông giới thiệu kiểm chứng thực bằng cách sử dụng chức năng:

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

Sau đó, ông kết hợp này sử dụng

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

áp dụng thử nghiệm và trả về xác thực với thông báo lỗi. Sử dụng scalaz 7 Tôi nhận được

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

Tương đương scalaz 7 của tổ hợp này là gì?

Answer 1

này bây giờ được gọi là tuple, vì vậy bạn có thể viết ví dụ:

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) 

Đáng tiếc là tôi không chắc chắn có một cách tốt hơn để tìm ra loại điều hơn kiểm tra ra các 6,0 thẻ cuối cùng của nguồn, tìm kiếm, và sau đó so sánh chữ ký.

Answer 2

Bạn muốn sử dụng toán tử |@|.

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)) 

so sánh với tuple điều hành:

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))