scala - cats 是否具有来自 scalaz 的 traverseM 的等价物？

Question

是否有一个函数等同于来自 scalaz in cats 的 traverseM？我还没有找到任何与类型签名相匹配的东西。这是 scalaz scala 文档中的签名和描述:

final def traverseM[A, G[_], B](fa: F[A])(f: (A) ⇒ G[F[B]])(implicit G: Applicative[G], F: Bind[F]): G[F[B]]

A version of traverse where a subsequent monadic join is applied to the inner result.

根据 cats 中的其他函数自己定义 traverseM 相当简单，但如果可用，我更愿意使用库中的函数。

Answer 1

我想你要找的是flatTraverse

类型签名是

flatTraverse[G[_], A, B](fa: F[A])(f: A => G[F[B]])(implicit G: Applicative[G], F: FlatMap[F]): G[F[B]]

这与您提到的traverseM的签名大致相同。