Question

我有一些使用applicative和monad语法的代码。代码如下所示：

  import scalaz._
  import scalaz.syntax.applicative._
  import scalaz.syntax.std.boolean._
  import scalaz.syntax.traverse._
  //import scalaz.syntax.monad._

  def getPackage[P](implicit pkg: NpmPackage[P]): ValidationNel[String, P] = {
    val installPackage = (pkg: String) => install(pkg).??!!

    lazy val getPackage = pkg.commands.traverseU {
      (c: String) => (binDir |@| binaryForPackage[P](c)) {
        (a: File,b:File) => c -> a / pkg.packageName / b.toString
      }
    } map (_.toMap) map (pkg.newPackage)

    hasPackage(pkg.packageName) ?
      getPackage |
      (installPackage(pkg.packageName) flatMap (_ => getPackage))
  }

该代码编译没有问题，只是当我想用flatMap方法替换>>=方法导入scalaz.syntax.monad._时，我收到以下错误：

 [error] value |@| is not a member of scalaz.ValidationNel[String,sbt.File]
 [error]      (c: String) => (binDir |@| binaryForPackage[P](c)) {

我想我在导入时做错了什么，但是我不明白为什么导入monad语法会破坏|@|运算符以及如何让两种语法一起工作，任何解决方案？

我正在使用scalaz 7.1.0-M2。

Answer 1

通过扩展ToApplicativeOps，

monad syntax includes适用语法，以便您可以删除applicative._导入，然后保留monad._导入。另一方面，如果您只需要应用apply功能和bind，则可以只导入它们：

import scalaz.syntax.apply._
import scalaz.syntax.bind._

scalaz.syntax.monad._ brokes applicative语法

1 个答案: