具有内同态的组合符和scala中的谓词

Question

是否有一个库定义了这样一个有用的组合器？

  def f[A](g: A => A, pred: A => Boolean) : A => A = {
    a =>
      val newA = g(a)
      if (pred(newA)) newA else a
  }