每当无法识别值时，scalacheck

我有一个关于scalacheck的where子句的基本问题。由于某些原因，我的编译器无法识别where，也无法识别

（条件子集）==>

部分

（我在Coursera上跟随Odersky的第二个scala课程，我写了一个scalacheck属性，如下所示：

property("deleteMin ...") = forAll{
h:H => whenever (isEmpty(h)) {...

编译器无法识别任何时间。是否有其他需要导入的内容

import org.scalacheck._
import Arbitrary._
import Gen._
import Prop._

---

？

我不是scalacheck方面的专家，但我已经完成了Coursera作业

无论何时只要，它都可以在没有

的情况下完成

我找不到中提到的任何时候的

---

我不是scalacheck方面的专家，但我已经完成了Coursera作业

无论何时只要，它都可以在没有

的情况下完成

我找不到中提到的任何时候的

---

Scalacheck没有“where”函数，但您可以使用==>方法（需要导入org.Scalacheck.Prop.booleanporters）

如果您想使用基于scalatest属性的测试而不是scalacheck

---

您可以混合使用Trait属性检查（import org.scalatest.prop.PropertyChecks）并可以使用“where”函数。

Scalacheck没有“where”函数，但您可以使用==>方法。（您需要导入org.Scalacheck.prop.boolean操作符）

如果您想使用基于scalatest属性的测试而不是scalacheck

---

您可以混合使用特征属性检查（import org.scalatest.prop.PropertyChecks），并且可以使用“where”功能。

不知道

何时
，但是
=>
可以通过在当前范围内提供。不知道
何时
，但是
=>
可以通过在当前范围内提供。