文档测试快速检查 – 我可以只在文档测试中导入 QC 实例吗?

Question

我正在使用doctest，并且喜欢我可以从定义它们的位置测试非导出函数的事实：

module Foo (frobnicate) where
-- |
-- >>> randomInt = 42
-- True
randomInt :: Int
randomInt = 42

到目前为止，我一直在test-suite中保留了 QuickCheck 实例，因此library不依赖于测试包，但这意味着我无法从文档测试运行快速检查。

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

有没有办法让文档测试使用 QC 实例，而无需让主要library依赖于 QC(并且无需在文档测试"repl "中重写实例"(？

Answer 1

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

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