从haskell中的用户定义数据类型创建生成器

我需要一些关于如何为Foo数据类型创建一个随机生成器的建议，以便Boo列表永远不会为空

data Boo = Boo Float Float Float
data Foo = Foo Float Float Float [Boo]

---

您可以使用

listOf1

函数获取生成非空列表的生成器，并使用该生成器定义适当的

任意

实例，如：

import Test.QuickCheck
import Control.Applicative

instance Arbitrary Boo

instance Arbitrary Foo where
  arbitrary = Foo <$> arbitrary <*> arbitrary <*> arbitrary <*> listOf1 arbitrary

import Test.QuickCheck
导入控制
实例任意Boo
实例任意Foo where
任意=Foo任意列表1任意