2010-04-01 7 views
7

Es gibt eine trait namens Kleisli in der scalaz Bibliothek. Mit Blick auf den Code:Scalaz Kleisli Frage

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

Aufruf der Funktion k mit dem Wert von 2 ergibt:

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

Meine Frage ist: wie würde ich Scalaz verwenden f und g zu kombinieren, um eine Funktion m zu erhalten so dass die Ausgabe von m (2) wäre:

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

Ist das überhaupt möglich?

Antwort

3

Scheint so, als ob Sie wollen transpose. Scalaz liefert das nicht, aber es sollte einfach zu schreiben sein. Die Funktion m, die Sie wollen, ist val m = f andThen (_.map(g)) andThen transpose andThen (_.join)

+0

Ich bin nicht in der Lage, dies jetzt zu versuchen, aber können wir nicht MA # Sequenz zur Durchführung der Umsetzung? http://scalaz.googlecode.com/svn/continuous/latest/browse.sxr/scalaz/example/ExampleTraverse.scala.html – retronym

+0

Sie haben Recht. Sie können völlig, angesichts der "zippy" Applicative Instanz für Streams (oder ZipStream). – Apocalisp

+0

Ups, nein, es hat nicht das richtige Verhalten. – Apocalisp