在元組中使用FirstOption monoid實例

Question

是否有可能將(Option[Int], Option[String])轉換爲(FirstOption[Int], FirstOption[String])？比x=> (x._1.first, x._2.first)短？

在我看來，應該有辦法做到這一點，但我無法找到它。

Answer 1

一種方式是使用Bifunctor實例：

scala> val t = (Option(1), Option("str")) 
t: (Option[Int], Option[java.lang.String]) = (Some(1),Some(str)) 

scala> import scalaz._, Scalaz._, Tags._ 
import scalaz._ 
import Scalaz._ 
import Tags._ 

scala> t.bimap(First, First) 
res0: (scalaz.package.@@[Option[Int],scalaz.Tags.First], scalaz.package.@@[Option[java.lang.String],scalaz.Tags.First]) = (Some(1),Some(str)) 

更習慣的方法（好吧，一個更通用的方法：將任何元組，特里普爾等工作）可能會被使用到shapeless將你的元組變成HList，然後應用自然轉換Option[A] ~> Option[A] @@ First。這裏有一個粗略的實現這一點：

scala> import scalaz._, Scalaz._, Tags._ 
import scalaz._ 
import Scalaz._ 
import Tags._ 

scala> import shapeless._, Tuples._, Nat._ 
import shapeless._ 
import Tuples._ 
import Nat._ 

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

scala> object optionToFirstoption extends (Option ~> FirstOption) { 
    | def apply[A](fa: Option[A]): Option[A] @@ First = First(fa) 
    | } 
defined module optionToFirstoption 

scala> t.hlisted.map(optionToFirstoption).tupled 
res1: (Option[Int] with scalaz.Tagged[scalaz.Tags.First], Option[String] with scalaz.Tagged[scalaz.Tags.First]) = (Some(1),Some(str))