值序列不是cats.Applicative[F]的成员

Question

我正在把一些基于黄沙的代码迁移到分类猫上。

项目/plugins.sbt

addCompilerPlugin("org.typelevel" % "kind-projector" % "0.11.3" cross CrossVersion.full)

build.sbt

scalacOptions ++= Seq("-feature", "-deprecation", "-Xlint", "-Xfatal-warnings", "-Ypartial-unification")
scalaVersion := "2.12.10"

旧的基于scalaz的代码中的依赖项是

libraryDependencies += "com.github.julien-truffaut" %%% "monocle-macro" % "1.4.8"

这是一个老的基于scalaz代码的实现，我想要迁移到猫上。

import scalaz.Applicative
import scalaz.std.list._
import scalaz.syntax.applicative._
import scala.language.higherKinds
import monocle.PTraversal

def letterTraversal(predicate: Char ⇒ Boolean): PTraversal[String, String, Char, Char] = new PTraversal[String, String, Char, Char] {
         override def modifyF[F[_]: Applicative](f: Char ⇒ F[Char])(s: String): F[String] = {
           Applicative[F].sequence(s.toList map {
             case x if predicate(x) ⇒ f(x)
             case x ⇒ Applicative[F].point(x)
           }).map(_.mkString)
         }
     }

基于新代码猫的代码中的依赖项是

libraryDependencies += "com.github.julien-truffaut" %%% "monocle-macro" % "2.0.0"

这是我的新密码

import scala.language.higherKinds
import monocle.PTraversal
import cats.Applicative
import cats.implicits._

    def letterTraversal(predicate: Char ⇒ Boolean): PTraversal[String, String, Char, Char] = new PTraversal[String, String, Char, Char] {
            override def modifyF[F[_]: Applicative](f: Char ⇒ F[Char])(s: String): F[String] = {
              Applicative[F].sequence(s.toList map {
                case x if predicate(x) ⇒ f(x)
                case x ⇒ Applicative[F].point(x)
              }).map(_.mkString)
            }
        }

When I do `sbt clean compile` I get the below error -

/Users/rajkumar.natarajan/Documents/Coding/OS/reftree/demo/jvm/src/main/scala/reftree/demo/Data.scala:07:22:值序列

错误不是cats.ApplicativeF ApplicativeF.sequence(s.toList map {)的成员

错误^错误发现了一个错误

error编译失败

错误总时间: 32秒，2021年5月27日完成，下午4:36:58

为什么即使我在作用域中添加了ApplicativeF，也不能获得import cats.implicits._的序列函数？

Answer 1

习惯的写作方式应该是这样的：

import cats.syntax.all._
…
          s.toList.traverse {
            case x if predicate(x) ⇒ f(x)
            case x ⇒ x.pure[F]
          }.map(_.mkString)