任意实例化

Question

我在为我的数据类型编写任意实例时遇到问题。如下：

    data FavoriteList a = FL [(a, Bool)] deriving Eq

这就是我所拥有的：

    instance Arbitrary a => Arbitrary(FavoriteList a) where
       arbitrary = oneof [liftM FavoriteList arbitrary]

但我收到以下错误：

    Not in scope: data constructor 'FavoriteList'

我认为我可能不了解类型和构造函数...有人可以帮助我吗？

Answer 1

您正在尝试在值级别使用类型级别术语FavoriteList。 FL 是一个值级别的术语，它为您选择的任何a 构造一个FavoriteList a 类型的值。 FL <$> arbitrary 应该足够了，或者等价于 fmap FL arbitrary 或 liftM FL arbitrary。有关 Haskell 类型和值级别语言的更详尽解释，请参阅 this excellent answer by Conor McBride。