doctest QuickCheck -是否只能在doctest中导入QC实例？

Question

我使用的是doctest，并且我喜欢这样一个事实，即我可以在定义非导出函数的地方测试它们：

module Foo (frobnicate) where

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

到目前为止，我将QuickCheck实例保存在test-suite中，以便library不依赖于测试包，但这意味着我不能从doctests运行QuickCheck。

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

有没有一种方法可以让doctest使用QC实例，而不让主library依赖于QC (并且不需要重写doctest“repl”中的实例)？

Answer 1

下面是您正在寻找的一个示例：https://github.com/sol/doctest#quickcheck-properties

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