Scala 元组添加保持序列相同的顺序

Question

我想按各自的顺序添加 scala 元组，它应该按其顺序添加到列表中

val d = (List.empty[String],List.empty[String],List.empty[String])
("1","2","3") :: d 
("4","5","6") :: d 

d 应该给出类似(List("1","4"), List("2","5"),List("3","6"))的输出

我有以下类型的标头数据，从实体中，我想提取几个属性的数据并累积为元组，我尝试了以下方法， 从实体中提取数据，但与缺少的数据类型不匹配

标头类型Task[Map[String,List[Entity]]]

val missing:(Set[String],Set[String],Set[String]) = headers.map(_.foldLeft((Set.empty[String],Set.empty[String],Set.empty[String))((a,v)=> {
v._2.map {
entity =>{
val x = entity.field1++a._1
val y = entity.field2++a._2
val z = entity.field3++a._3
(x,y,z)
}
}
}
))

上述数据类型不匹配并得到编译错误。

Answer 1

您可以使用 shapeless，这使您可以创建在具有各种 arity 的元组上工作的泛型函数。首先，您需要创建函数：

import shapeless.syntax.std.tuple._
import cats.implicits._
object lifter extends (Id ~> List) { //shapeless polymorphic function lifting value into List
override def apply[T](f: Id[T]): List[T] = List(f)
}
object folder extends Poly1 { //function which folds two lists using monoid
implicit def caseTupleOfLists[A](implicit monoid: Monoid[A]) = at[(List[A], List[A])]{case (a, b) => a |+| b}
}

然后你可以像这样使用它：

val a = ("1", "2", "3").map(lifter) //(List(1),List(2),List(3))
val b = ("4", "5", "6").map(lifter) //(List(4),List(5),List(6))
val result = a.zip(b).map(folder) //(List(1, 4),List(2, 5),List(3, 6))

与 jwvh 的解决方案相比，一个好处是，它也适用于具有不同 arity 的元组：

val a2 = ("1", "2", "3", "foo").map(lifter)
val b2 = ("4", "5", "6", "bar").map(lifter)
val result2 = a2.zip(b2).map(folder) //(List(1, 4),List(2, 5),List(3, 6),List(foo, bar))

更新

如果你映射Task(无论是来自ZIO，Monix还是其他库(，你不能只得到像(Set[String],Set[String],Set[String])这样的结果。你只能得到Task[(Set[String], Set[String], Set[String])].我修改了您的代码以使用模式匹配(通常这样更易读(，现在它可以编译：

case class Entity(field1: String, field2: String, field3: String)
val headers: Task[Map[String, List[Entity]]] = ???
val missing: Task[(Set[String], Set[String], Set[String])] =
headers.map(_.foldLeft((Set.empty[String], Set.empty[String], Set.empty[String])) {
case ((fields1, fields2, fields3), _ -> Entity(field1, field2, field3)) => {
val x = fields1 + field1
val y = fields2 + field2
val z = fields3 + field3
(x, y, z)
}
})

Answer 2

像这样的东西？

implicit class TriplePrepend[A](t :(List[A],List[A],List[A])) {
def :: (x :(A,A,A)) = (x._1 :: t._1, x._2 :: t._2, x._3 :: t._3)
}
val d = (List.empty[String],List.empty[String],List.empty[String])
("1","2","3") :: ("4","5","6") :: d 
//res0: (List(1, 4),List(2, 5),List(3, 6))