2010-04-01 3 views
7

scalaz 라이브러리에는 Kleisli이라고하는 trait이 있습니다. 코드를 보면 :Scalaz Kleisli 질문

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

2의 값으로 기능 k를 호출하면 제공 :

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

내 질문은 : 나는 함수 m을 얻기 위해 F와 G를 결합 Scalaz을 사용하는 방법 이러한 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입니다. Scalaz는 이것을 제공하지 않지만 쉽게 작성해야합니다. 원하는 기능 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

+0

네 말이 맞아. 스트림 (또는 ZipStream)에 대한 "지저분한"Applicative 인스턴스를 사용하면 완전히 할 수 있습니다. – Apocalisp

+0

죄송합니다. 올바른 행동이 없습니다. – Apocalisp