Fatal编程技术网
  • scala/
  • scalaz.syntax.std.OptionOps.cata在scalaz中做什么？

scalaz.syntax.std.OptionOps.cata在scalaz中做什么？

scala

scalaz.syntax.std.OptionOps.cata在scalaz中做什么？,scala,scalaz,Scala,Scalaz,下面是来自scalaz的关于cata函数的介绍。但使用此函数的目的是什么？顺便说一句，scalaz有一个scaladoc，它不仅包含代码，还包含描述。它与scala上的fold相同。选项：它允许您将has-a-value分支和空分支映射到单个结果值中。你可能看到的任何地方 Option(x) match { case Some(y) => f(y) case None => y0 } 您可以在选项上使用fold，或者在scalaz'变体上使用cata （注意：对于这种特殊情

下面是来自scalaz的关于cata函数的介绍。但使用此函数的目的是什么？顺便说一句，scalaz有一个scaladoc，它不仅包含代码，还包含描述。

它与scala上的
fold
相同。选项：它允许您将has-a-value分支和空分支映射到单个结果值中。你可能看到的任何地方

Option(x) match {
  case Some(y) => f(y)
  case None => y0
}
您可以在
选项上使用
fold
，或者在scalaz'变体上使用
cata


（注意：对于这种特殊情况，模式匹配通常更有效，但并不总是更方便。）
据我所知，调用cata时也应该有隐式幺半群对象，是吗？