猫は記号を解決できません| @ |

Question

私はここから得た以下のコードを持っています：http://underscore.io/blog/posts/2015/06/10/an-introduction-to-cats.html。

import cats.data.Xor 
import cats.data.{Validated, Xor} 
import cats.syntax.apply._ // For |@| syntax 
import cats.std.list._ 
val v1: ValidatedR = valid(1) 
val v2: ValidatedR = invalid(List("Accumulates this")) 
val v3: ValidatedR = invalid(List("And this")) 
(v1 |@| v2 |@| v3) map { _ + _ + _ } 

しかし、私は取得しています：

Cannot resolve symbol |@| 

マイbuild.sbt：

val snapshots = "Sonatype Snapshots" at "https://oss.sonatype.org/content/repositories/snapshots" 

val algebraVersion = "0.2.0-SNAPSHOT" 
val catsVersion = "0.1.0-SNAPSHOT" 

val algebra = "org.spire-math" %% "algebra" % algebraVersion 
val algebraStd = "org.spire-math" %% "algebra-std" % algebraVersion 

val cats  = "org.spire-math" %% "cats-core" % catsVersion 
val catsStd = "org.spire-math" %% "cats-std" % catsVersion 

scalaVersion := "2.11.6" 

libraryDependencies ++= 
    Seq(
    algebra, algebraStd, 
    cats, catsStd 
) 

resolvers += snapshots 

は何か他のものは、私はインポートまたは使用する必要があることはありますか？

Answer 1

例は少し古いです。いくつかのことは、それ以来変更されました：

• |@|は、今までにApply型クラスに比べCartesian型クラスによって提供されます。
• Scala標準ライブラリのOption,Listなどのタイプのインポートは、cats.std.xxxからcats.instances.xxxに変更されました。
• Catsの最新バージョンでは、Xorデータ型がなくなりましたが、代わりにscala.util.Eitherデータ型が使用されています。

私のコメントで述べたように、「uber」インポートcats.implicits._を使用する方が簡単です。

類似の（そして最新の）例については、ValidatedとEitherのCatsドキュメントをご覧ください。