value | @ |是不是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 

這工作得很好。但對於我的項目，我必須使用貓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._沒有被導入。