Test.QuickCheck.Instances.Containers
Contents
Methods
liftArbitrary :: Gen a -> Gen (Tree a)
liftShrink :: (a -> [a]) -> Tree a -> [Tree a]
arbitrary :: Gen (Tree a)
shrink :: Tree a -> [Tree a]
coarbitrary :: Tree a -> Gen b -> Gen b