2010-04-01 45 views
7

有一個trait叫做Kleisliscalaz庫。看代碼:Scalaz Kleisli question

import scalaz._ 
import Scalaz._ 
type StringPair = (String, String) 

val f: Int => List[String]  = (i: Int) => List((i |+| 1).toString, (i |+| 2).toString) 
val g: String => List[StringPair] = (s: String) => List("X" -> s, s -> "Y") 

val k = kleisli(f) >=> kleisli(g) //this gives me a function: Int => List[(String, String)] 

調用函數k與2的值給出:

println(k(2)) //Prints: List((X,3), (3,Y), (X,4), (4,Y)) 

我的問題是:我會怎麼用Scalaz結合f和g得到函數m這樣m(2)的輸出將是:

val m = //??? some combination of f and g 
println(m(2)) //Prints: List((X,3), (X,4), (3,Y), (4,Y)) 

這甚至可能?

回答

3

似乎你想要transpose。斯卡拉斯不提供這個,但它應該很容易寫。您需要的功能mval m = f andThen (_.map(g)) andThen transpose andThen (_.join)

+0

我現在無法嘗試此操作,但是我們不能使用MA#序列執行換位嗎? http://scalaz.googlecode.com/svn/continuous/latest/browse.sxr/scalaz/example/ExampleTraverse.scala.html – retronym 2010-04-02 08:19:38

+0

你是對的。你完全可以,給予流的「zippy」Applicative實例(或ZipStream)。 – Apocalisp 2010-04-02 17:40:30

+0

糟糕,不,它沒有正確的行爲。 – Apocalisp 2010-04-02 18:00:39