Test.QuickCheck.Instances.Containers

Orphan instances

Arbitrary1 Tree

Methods

liftArbitrary :: Gen a -> Gen (Tree a)

liftShrink :: (a -> [a]) -> Tree a -> [Tree a]

Function a => Function (Tree a)

Methods

function :: (Tree a -> b) -> Tree a :-> b

Arbitrary a => Arbitrary (Tree a)

Methods

arbitrary :: Gen (Tree a)

shrink :: Tree a -> [Tree a]

CoArbitrary a => CoArbitrary (Tree a)

Methods

coarbitrary :: Tree a -> Gen b -> Gen b