如何覆盖包代码提供的 Haskell 类型类实例？

Question

我有一些旧的 Haskell 代码，其中包括 QuickCheck 测试用例。较新版本的 QuickCheck（我刚刚升级到 2.4.0.1）包括 Arbitrary Word8 等的类型类实例。这些在旧版 2.0.x 版本的 Test.QuickCheck.Arbitrary 中不存在。

虽然在一般意义上很有用，但包提供的 Arbitrary Word8 生成器并不是我想要用于我的测试套件的生成器：

instance Arbitrary Word8 where
  arbitrary = frequency [(2, oneof [return ctrlFrameDelim, return ctrlEscape, return ctrlXon, return ctrlXoff]),
                         (8, choose (0, 255))]

上面的代码会在编译时导致重复的实例声明错误。我可以取出这段代码并使用默认生成器，但我想知道解决此问题的正确方法。

我考虑过（但未测试）的一种可能的解决方案是使用 newtype 为 Word8 提供别名。这会导致整个源代码发生许多变化，所以我希望有一种更干净的方法。

编辑：正如下面的评论中提到的，接受的答案非常干净且易于实现：

newtype EncodedByte = EncodedByte Word8

instance Arbitrary EncodedByte where
  arbitrary = liftM EncodedByte $ frequency [(2, elements [ctrlFrameDelim, ctrlEscape, ctrlXon, ctrlXoff]),
                                             (8, choose (0, 255))]

Answer 1

newtype 别名是这里的标准解决方案。在大多数情况下（可能不包括您的情况），这没什么大不了的，因为 newtype 包装器只需要出现在您使用 Arbitrary 类型类的地方。例如，您可能在某个顶层：

x <- arbitrary

相反，您

newtype SomeNewType = SNT Word8
instance Arbitrary SomeNewType where ...
....
    SNT x <- arbitrary

可能想要的东西并不作为 GHC 扩展存在 - 您需要显式导入和导出实例。如果您有显式实例导入，这将允许：

import Test.QuickCheck hiding (Arbitrary(Word8))

但是会破坏当前通过实例隐式导入运行的许多代码：

import Test.QuickCheck (quickCheck) -- note the implicit import of Arbitrary(..)