将一个选项的元组转换为Scalaz或Shapeless的元组选项

scala> import scalaz._,std.option._,std.tuple._,syntax.bitraverse._
import scalaz._
import std.option._
import std.tuple._
import syntax.bitraverse._

scala> val p: (Option[Int],Option[String]) = (Some(1),Some("a"))
p: (Option[Int],Some(a))

scala> p.bisequence[Option,Int,String]
res0: Option[(Int,String)] = Some((1,a))

不幸的是,Scalaz 7目前需要类型注释.

在评论中,Yo Eight指出,类型注释在这里仍然是强制性的.我不知道他或她的推理是什么,但实际上很容易编写自己的包装器,它将提供任何适当类型的元组与一个比较方法,并且不需要类型注释：

import scalaz._,std.tuple._    

class BisequenceWrapper[F[_,_]: Bitraverse,G[_]: Applicative,A,B](
  v: F[G[A],G[B]]
) {
  def bisequence = implicitly[Bitraverse[F]].bisequence(v)
}

implicit def bisequenceWrap[F[_,G[B]]
) = new BisequenceWrapper(v)

现在(一些(1),一些(“a”)).

我不能想到一个很好的理由斯卡拉兹不会包括这样的东西.无论您是否要在此期间添加它是一个品味问题,但绝对没有任何理论上的障碍让编译器在这里进行打字.