Haskell quickcheck - 如何只生成可打印的字符串

Question

我有一组对字符串进行编码/解码的简单演示程序，并希望为它们生成一些 quickCheck 测试，但将测试限制为仅可打印的字符串。由于生成和拒绝的测试用例太多，使用 guard 太慢并且失败，所以我想为这个域创建一个安全的生成器。

我看到的对此的引用说(1)为 Char 定义一个自己的 Arbitrary 实例并使用它只为字符串生成可打印的字符，或者(2)必须将函数本身包装在一个新类型中并编写一个 Arbitrary例如。

但是尝试做(1)它失败了，因为现在在 Test.QuickCheck 中有一个定义，那么如何做到这一点 - 为新类型创建一个 safeChar 生成器，然后再次必须为测试的函数生成一个适配器? (关于此的 RWH 书籍部分指出，推荐此 DIY Char 定义已过时。)

尝试做(2)似乎我可以只为测试命题添加一个本地化且简单(但失败)的保护，或者编写一个新的包装器和相关的生成器，这看起来更困惑。

显然这很简单(!)并且提供了所有工具，但是有人可以建议这是否是正确的分析，并举例说明如何最好地做到这一点？

Answer 1

起点绝对是genSafeChar生成器，可以有类型 Gen Char .例如:

genSafeChar :: Gen Char
genSafeChar = elements ['a'..'z']

然后您可以将其构建为 genSafeString发电机，例如与 listOf :

genSafeString :: Gen String
genSafeString = listOf genSafeChar

在这一点上，你有几个合理的选择。要么制作 newtype String 的包装:

newtype SafeString = SafeString { unwrapSafeString :: String }
    deriving Show

instance Arbitrary SafeString where
    arbitrary = SafeString <$> genSafeString

(在这种情况下，您可能只是内联 genSafeString 的定义)

然后你可以像这样使用它:

testWibble (SafeString str) = str == str

或者，您可以使用 forAll 在每一点你都需要一个安全的字符串:

testWibble = forAll genSafeString $ \str -> str == str