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

Question

当我使用cats 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。

当我在 cats 0.7.2 上尝试相同的代码时，相同的代码不起作用，并且收到错误消息 value |@|不是 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._没有被导入。