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

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