值| @ |不是cats.data.Validated的成员

Question

当我使用猫0.9.0时我很容易做到

import cats.data.Validated
import cats.data.Validated._
import cats.syntax.all._
import cats.implicits._
val x = Validated.valid[List[String], Int](10)
val y = Validated.valid[List[String], Int](20)
x |@| y 

这很好用。但对于我的项目，我必须使用Cats 0.7.2。

当我尝试使用与猫0.7.2相同的代码时，相同的代码不起作用，我收到错误消息value |@| is not a member of cats.data.Validated

Answer 1

这似乎是编译：

import cats.data.Validated
import cats.data.Validated._
import cats.syntax.cartesian._
import cats.instances.list._ // <- this was the missing bit

val x  = Validated.valid[List[String], Int](5)
val y  = Validated.valid[List[String], Int](6)
x |@| y

我不确定cats.implicits._实际上是如何运作的，但似乎import cats.instances.list._没有被导入。