scala - 我应该为 Scalaz 的遍历功能导入什么

Question

在我读到的有关 Scalaz 遍历功能的每个示例中，都完成了以下导入:

import scalaz._
import Scalaz._

好像不能用 traverseU直到我 import Scalaz._ .

Scalaz对象如何注入(inject) traverseU我的收藏？我完全迷失在引用文档中。

如果我只想要 traverse，我应该导入什么和 traverseU方法？

Answer 1

对于 collection traverseU func您必须导入 traverseU 的语法(TraverseOps 的隐式方法)，Traverse[C] 的隐式实例(对于 collection 类型 C )和 Applicative[R] (对于 func 结果类型 R[X] )。

例如:

import scalaz.syntax.traverse.ToTraverseOps // F[A] => TraverseOps[F, A]
import scalaz.std.list.listInstance // Traverse[List]
import scalaz.std.option.optionInstance // Applicative[Option]

List(1, 2, 3).traverseU{ Option(_) }
// Some(List(1, 2, 3))

如果结果类型为 func不是 R[X]与 Applicative[R] , 但有些 R与 Monoid[R]你必须导入 Monoid[R]隐式方法的实例 Applicative.monoidApplicative :

import scalaz.std.anyVal.intInstance

List(1, 2, 3).traverseU{ identity }
// 6

请注意 listInstance也是 MonadPlus[List] , Zip[List] , Unzip[List] ， ETC。

因此，如果您只想获得 Traverse[List]出于某种充分的理由，您必须这样对待我们:

implicit val traverseList: scalaz.Traverse[List] = scalaz.std.list.listInstance
implicit val applicativeOption: scalaz.Applicative[Option] = scalaz.std.option.optionInstance