doctest QuickCheck –是否可以仅在doctests中导入QC实例？

Question

我正在使用doctest，就像我可以从定义它们的地方测试未导出的函数一样。

module Foo (frobnicate) where

-- |
-- >>> randomInt = 42
-- True
randomInt :: Int
randomInt = 42

到目前为止，我已经将QuickCheck实例保存在test-suite中，因此library并不依赖于测试包，但这意味着我无法从doctests运行QuickCheck。

我当然不能使用doctest并从test-suite运行QC，但是随后我必须导出要测试的每个函数。

是否有一种方法可以使使用QC实例的doctest不需要主要的library依赖于QC（并且无需在doctest“ repl”中重写实例）？

Answer 1

以下是您正在寻找的确切示例： https://github.com/sol/doctest#quickcheck-properties

只需在设置代码中添加所需的任何导入内容即可。