haskell - QuickCheck:为什么没有通过测试的功能以及改用什么功能？

Question

为什么没有QuickCheck功能类似于 hedgehog的 success ?特别是我想知道如何翻译如下属性:

prop_specialPair :: Property
prop_specialPair = property $ do
  (_, xs) <- forAll specialPair
  case xs of
    x:_ -> x /== 3
    _   -> success

在 QuickCheck如果我使用 =/= 然后我被迫返回 Property 类型的东西，并且似乎没有返回传递属性的常量函数。

所以我要么不得不求助于 Bool类型:

prop_specialPair :: SpecialPair -> Bool
prop_specialPair SpecialPair { xs } =
  case xs of
    x:_ -> x == 3
    _   -> True

或者对 success 使用非常尴尬的编码，例如:

prop_specialPair :: SpecialPair -> Property
prop_specialPair SpecialPair { xs } =
  case xs of
    x:_ -> x =/= 3
    _   -> True === True

QuickCheck中是否有更好的方式来表达上面的属性？ ?

Answer 1

您可以使用 property来自 Testable 的函数类和各种Testable创建 Property 的实例具有您需要的任何特征。

例如，property ()总是成功。再举一个例子，property (b :: Bool)如果 b == True 成功.

例如，您可以这样做:

prop_specialPair :: SpecialPair -> Property
prop_specialPair SpecialPair { xs } =
  case xs of
    x:_ -> x =/= 3
    _   -> property ()

或者您可以使用 Testable Result 使其更明确。实例和值 succeeded :: Result :

prop_specialPair :: SpecialPair -> Property
prop_specialPair SpecialPair { xs } =
  case xs of
    x:_ -> x =/= 3
    _   -> property succeeded