Làm cách nào để sử dụng thành phần Kleisli với các hàm trả về Xác thực?

Question

Làm cách nào để soạn hai hàm trả về Xác thực? Sau đây là những nỗ lực của tôi đã không hoạt động:

scala> def f: Int => Validation[String, Int] = i => if(i % 2 == 0) Success(i * 2) else Failure("Odd!") 
f: Int => scalaz.Validation[String,Int] 

scala> def g: Int => Validation[String, Int] = i => if(i > 0) Success(i + 1) else Failure("Not positive!") 
g: Int => scalaz.Validation[String,Int] 

scala> kleisli(f) >=> kleisli(g) 
<console>:16: error: no type parameters for method kleisli: (f: A => M[B])scalaz.Kleisli[M,A,B] exist so that it can be applied to arguments (Int => scalaz.Validation[String,Int]) 
--- because --- 
argument expression's type is not compatible with formal parameter type; 
found : Int => scalaz.Validation[String,Int] 
required: ?A => ?M[?B] 

       kleisli(f) >=> kleisli(g) 
      ^

scala> type Va[+A] = Validation[String, A] 
defined type alias Va 

scala> kleisli[Va, Int, Int](f) >=> kleisli[Va, Int, Int](g) 
<console>:17: error: could not find implicit value for parameter b: scalaz.Bind[Va] 
       kleisli[Va, Int, Int](f) >=> kleisli[Va, Int, Int](g) 
            ^

Điều này làm việc trong Haskell, vì vậy tôi hy vọng sẽ có cách để làm điều này với Scalaz.

λ> let f i = if i `mod` 2 == 0 then Right $ i * 2 else Left "Odd!" 
λ> let g i = if i > 0 then Right $ i + 1 else Left "Not positive!" 
λ> let h = f >=> g 
λ> h 11 
Left "Odd!" 
λ> h (-4) 
Left "Not positive!" 
λ> h 4 
Right 9 

Answer 1

bạn cần phải nhập khẩu Validation.Monad._ từ> => đòi hỏi một Bind [M]

scala> import scalaz._, Scalaz._ 
import scalaz._ 
import Scalaz._ 

scala> def f: Int => Validation[String, Int] = i => if(i % 2 == 0) Success(i * 2) else Failure("Odd!") 
f: Int => scalaz.Validation[String,Int] 

scala> def g: Int => Validation[String, Int] = i => if(i > 0) Success(i + 1) else Failure("Not positive!") 
g: Int => scalaz.Validation[String,Int] 

scala> type Va[+A] = Validation[String, A] 
defined type alias Va 

scala> import Validation.Monad._ 
import Validation.Monad._ 

scala> kleisli[Va, Int, Int](f) >=> kleisli[Va, Int, Int](g) 
res0: scalaz.Kleisli[Va,Int,Int] = scalaz.Kleislis$$anon$1@4fae3fa6 

scala> res0(11) 
res1: Va[Int] = Failure(Odd!) 

scala> res0(-4) 
res2: Va[Int] = Failure(Not positive!) 

scala> res0(4) 
res3: Va[Int] = Success(9)