scala - 用于单子(monad)的 K/Kestrel 组合器？

Question

implicit class KComb[A](a: A) {
  def K(f: A => Any): A = { f(a); a }
}

考虑到 K 组合器的这种实现，我们可以在应用副作用时链接对值的方法调用，而不需要临时变量。例如:

case class Document()
case class Result()

def getDocument: Document = ???
def print(d: Document): Unit = ???
def process(d: Document): Result = ???

val result = process(getDocument.K(print))
// Or, using the thrush combinator
// val result = getDocument |> (_.K(print)) |> process

现在，我需要做类似的事情，但使用 IO monad。

def getDocument: IO[Document] = ???
def print(d: Document): IO[Unit] = ???
def process(d: Document): IO[Result] = ???

我的问题是:此操作的组合器是否已经存在？ Scalaz 或其他库中是否有任何东西可以做到这一点？

我找不到任何东西，所以我自己推出了用于 monad 的 K 组合器的变体。我将其称为 tapM 因为 1) K 组合器在 Ruby 中称为 tap，在 Scalaz 中称为 unsafeTap，2) Scalaz 似乎遵循以下模式将 M 附加到众所周知方法的单子(monad)变体(例如 foldLeftM、foldMapM、ifM、untilM, whileM)。

但我仍然想知道是否已经存在类似的东西，而我只是在重新发明轮子。

implicit class KMonad[M[_]: Monad, A](ma: M[A]) {

  def tapM[B](f: A => M[B]): M[A] =
    for {
      a <- ma
      _ <- f(a)
    } yield a
}

// usage
getDocument tapM print flatMap process

Answer 1

编辑:我最初的回答被误导了。这是正确的。

有一个flatTap方法FlatMap在猫和 >>!上BindOps在斯卡拉兹中。

getDocument flatTap print >>= process

getDocument >>! print >>= process

编辑^2:已更改flatMap至>>=更容易地显示点击和绑定(bind)之间的关系。