scala - Haskell 的 mapM 相当于 Scala 猫

Question

cats 是否提供了与 Haskell 中的 mapM 等效的功能？它应该看起来像:

  def mapM[A, B, F[_], Col[_]]
  (col: Col[A])(f: A => F[B])(implicit F: Applicative[F], T: Traverse[Col]): F[Col[B]] = 
    T.sequence[F, B](F.map(col)(f))

不幸的是我还没有找到像这样的函数=(

Answer 1

这叫做遍历:

scala> import cats.implicits._
import cats.implicits._

scala> List(1, 2, 3).traverse(n => Option((n * 2).toString))
res1: Option[List[String]] = Some(List(2, 4, 6))