In every examples I read about Scalaz' traverse features, the following imports were done:
import scalaz._
import Scalaz._
It seems I can't use traverseU until I import Scalaz._.
How does Scalaz object inject traverseU to my collections? I'm completely lost in the reference doc.
What should I import if I just want the traverse and traverseU methods?
For collection traverseU func you'll have to import syntax for traverseU (implicit method for TraverseOps), implicit instance of Traverse[C] (for collection type C) and Applicative[R] (for func result type R[X]).
For instance:
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))
In case result type of func is not R[X] with Applicative[R], but some R with Monoid[R] you'll have to import Monoid[R] instance for implicit method Applicative.monoidApplicative:
import scalaz.std.anyVal.intInstance
List(1, 2, 3).traverseU{ identity }
// 6
Note that listInstance is also MonadPlus[List], Zip[List], Unzip[List], etc.
So if you want to get only Traverse[List] for some good reason, you'll have to us it this way:
implicit val traverseList: scalaz.Traverse[List] = scalaz.std.list.listInstance
implicit val applicativeOption: scalaz.Applicative[Option] = scalaz.std.option.optionInstance
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句