scala – 应用于列表中的Cats.sequence错误

发布时间：2020-12-16 09:56:07 所属栏目：安全来源：网络整理

导读：我想要转换List [Either [String,Int]] en [String,List [Int]]的列表.为此,我想使用Cats.sequence： /* for ammonite usersinterp.load.ivy("org.typelevel" %% "cats-core" % "1.0.1")@*/import cats.instances.list._import cats.instances.either._impor

我想要转换List [Either [String,Int]] en [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
                         ^

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

解决方法

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

如果你使用的是Scala 2.11.9或更高版本,你也可以简单地添加编译器标志：

scalacOptions += "-Ypartial-unification"

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!