学习scala，一段代码看不懂

Question

我知道这段是生产一个生成器，但里面的各种语法我都没有见过，求大神解释。

lazy val genMap: Gen[Map[Int,Int]] = oneOf(
  const(Map.empty[Int,Int]),
  for {
    k <- arbitrary[Int]
    v <- arbitrary[Int]
    m <- oneOf(const(Map.empty[Int,Int]), genMap)
  } yield m.updated(k, v)
)

谢谢大神。

Answer 1

这是scalaCheck库里面的生成器语法。