scalaz scalaz 6

Question

Nick Partridge's presentation on deriving scalaz में से `<|*|>` के 7 बराबर, 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))