我有一个List[(A, List[B])]
类型的列表。我想弄平这个结构并得到:
NonEmptyList[A]
由与非空A
对应的所有List[B]
组成。
所有这些B
的总和:NonEmptyList[B]
即,我想得到Option[(NonEmptyList[A], NonEmptyList[B])]
。最简洁的方法是什么。
答案 0 :(得分:2)
未经测试,但是使用注释中的定义,这应该可以工作:
for {
a <- NonEmptyList.fromList(list.collect{ case (a, _::_) => a })
b <- NonEmptyList.fromList(list.flatMap(_._2))
} yield (a, b)
如果第一个返回None
,它还具有避免第二个计算的优点。
以前的版本:
val listA = list.collect{ case (a, _::_) => a }
val listB = list.flatMap(_._2)
listA.headOption.flatMap(listB.headOption.map(_ => (NonEmptyList(listA), NonEmptyList(listB))))
另一个版本可能是
(listA, listB) match {
case (_::_, _::_) =>
Some(NonEmptyList(listA), NonEmptyList(listB))
case _ =>
None
}
答案 1 :(得分:1)
您可以使用尾递归函数在列表上进行迭代,但这可能不是很简洁,但是它可能比第二种解决方案要快,因为它只对列表进行了一次迭代。
def flat[A,B](list: List[(A, List[B])]): Option[(NonEmptyList[A], NonEmptyList[B])] = {
@tailrec
def collapse(list: List[(A, List[B])], as: List[A], bs: List[B]): (List[A], List[B]) = {
list match {
case (a,b) :: xs => collapse(xs, a :: as, b ++ bs)
case Nil => (as, bs)
}
}
collapse(list, Nil, Nil) match {
case (a :: ax, b :: bx) => Some((NonEmptyList(a, ax), NonEmptyList(b, bx)))
case _ => None
}
}
另一种选择是使用unzip
:
def flat2[A,B](list: List[(A, List[B])]) = list.unzip match {
case (as,bs) => (as, bs.flatten) match {
case (a :: ax, b :: bx) => Some((NonEmptyList(a, ax), NonEmptyList(b, bx)))
case _ => None
}
}
结果:
flat(List((1, List("a", "b")), (2, List("a", "c")), (3, List("d", "e")), (4, List("x", "y"))))
//Some((NonEmptyList(4, 3, 2, 1),NonEmptyList(x, y, d, e, a, c, a, b)))
flat(List((1, List()), (2, List("a"))))
//Some((NonEmptyList(2, 1),NonEmptyList(a)))
flat(List((1, List()), (2, List())))
//None
flat(List())
//None