Haskell的地图M等同于Scala猫

Question

猫是否在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

它被称为traverse：

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))