デカルト積はどのように使うことができますか？ Catsの最新バージョンは？

Question

私は猫0.6に猫0.2を使用していくつかのコードを移行してきた、と私のコードはもうwrokingされていません。

import cats.data.Validated 
import cats.std.all._ 

val valid1: Validated[List[String], Int] = valid(1) 
val valid2: Validated[List[String], Int] = valid(2) 
(valid1 |@| valid2).map{_+_} 

コンパイラは言う：私はこれについてのドキュメントに何かを見つけることができませんでした

Error:(48, 6) value |@| is not a member of 

cats.data.Validated[List[String],Int] 
(valid1 |@| valid2).map{_+_} 
    ^

私は輸入品を持っているか、暗黙のものか何かを宣言しなければなりませんか？

私は|@|の代わりにproductを使用しましたが、ネストされたタプルを生成するほど便利ではありません。のは、私が結合する4を検証してきたとしましょう：@mepsはコメントで言ったように

(valid1 product valid2 product valid3 product valid4) 
    .map{case (((v1, v2), v3), v4) => v1 + v2 + v3 + v4} 

おかげ

Answer 1

、不足しているインポートはあなたがApplicativeのビルダーのための構文をインポートする必要がありますcats.syntax.all._