適用於Scala貓的Haskell's mapM等效項

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