해당 옵션의 시퀀스 및 트래버스 방법은 무엇입니까? scalaz 7.2.6에

Question

이 작동 :

// import scalaz.syntax.traverse._ 

List(1.some, 2.some, 3.some).sequence 
res12: Option[List[Int]] = Some(List(1, 2, 3)) 

List(1.some, none, 3.some).sequence 
res13: Option[List[Int]] = None 

def doubleSmall(x: Int) = if (x < 30) (x * 2).some else none 
List(1,2,3).traverse(doubleSmall) 
res15: Option[List[Int]] = Some(List(2, 4, 6)) 

다음 코드는 컴파일되지 않습니다. \/에 Option의 sequence 및 traverse 개의 메소드가 있습니까?

List(1.right, 2.right, 3.right).sequence 
expecting something like: List(1, 2, 3).right 

List(1.right, "error2".left, "error3".left).sequence 
expecting something like: Seq("error2", "error3").left 


val doubleSmall(x: Int) = if (x < 30) (x * 2).right else "error".left 
List(1,2,3).traverse(doubleSmall) 

Answer 1

당신은 sequenceU 및 traverseU 찾고 : 그것은 적절한 암시 Unapply[Applicative, \/[String, Int]]을 선택할 수 있도록 첫 번째 예는 타입 힌트를 필요로

scala> List[\/[String, Int]](1.right, 2.right, 3.right).sequenceU 
res3: scalaz.\/[String,List[Int]] = \/-(List(1, 2, 3)) 

scala> List(1.right, 2.right, 3.right, "a".left).sequenceU 
res4: scalaz.\/[String,List[Int]] = -\/(a) 

참고.

scala> List(1,2,3).traverseU(doubleSmall) 
res9: scalaz.\/[String,List[Int]] = \/-(List(2, 4, 6))