实例化任意

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。