Scala Cats中使用sequence转换List[EitherT]类型报错如何解决

报错根因 #

sequence是Cats中Traverse类型类提供的方法，用于将嵌套的效果结构翻转，要完成List[EitherT[IO, E, A]]到EitherT[IO, E, List[A]]的转换，需要同时满足三个隐式实例存在：

1. List的Traverse实例
2. IO的Applicative实例
3. EitherT的Applicative实例
   你收到的报错就是因为上述实例没有被正确导入到作用域中。

解决步骤 #

1. 导入必要依赖 #

优先导入Cats全量隐式实例，自动覆盖所有需要的类型类实例：

import cats.implicits._
import cats.effect.IO
import cats.data.EitherT

2. 正确调用sequence #

示例代码如下：

// 构造测试数据
val source: List[EitherT[IO, String, Int]] = List(
  EitherT.rightT[IO, String](10),
  EitherT.rightT[IO, String](20),
  EitherT.rightT[IO, String](30)
)

// 调用sequence完成类型转换
val target: EitherT[IO, String, List[Int]] = source.sequence

异常排查 #

如果导入后仍然报错，按以下顺序排查：

• 检查依赖版本匹配：Cats Effect 3.x需要搭配Cats 2.7.0及以上版本，版本不兼容会导致隐式实例丢失
• 检查是否存在自定义的IO/EitherT隐式实例，自定义实例会覆盖官方默认实例引发冲突
• 若不希望导入全量cats.implicits._，可单独导入所需实例：

  import cats.Traverse
  import cats.Applicative
  import cats.instances.list._
  import cats.effect.IOInstances._
  import cats.data.EitherTInstances._
  

内容的提问来源于stack exchange，提问作者Her sincerly