scala - 将 Cats.sequence 应用于任一列表时出错

Question

我想转换一个列表 List[Either[String, Int]] zh Either[String, List[Int]] .为此，我想使用 Cats.sequence :

/* for ammonite users
interp.load.ivy("org.typelevel" %% "cats-core" % "1.0.1")

@
*/

import cats.instances.list._
import cats.instances.either._
import cats.syntax.traverse._

val seqCorrect: List[Either[String, Int]] = List(Right(1), Right(2), Right(3))

val result1 = seqCorrect.sequence

但我有以下错误:

Cannot prove that Either[String,Int] <:< G[A].
val result1 = seqCorrect.sequence
                         ^

我发现错误消息非常无用。我该如何解决这个问题？

Answer 1

我想你可能没有启用 partial-unification .最简单的方法是添加 sbt-partial-unification plugin .

如果您使用的是 Scala 2.11.9 或更新版本，您还可以简单地添加编译器标志:

scalacOptions += "-Ypartial-unification"