Data.GenValidity.Tree
Contents
genTreeOf :: Gen a -> Gen (Tree a) Source #
Generate a tree of values that are generated as specified.
This takes the size parameter much better into account
shrinkTreeOf :: (a -> [a]) -> Tree a -> [Tree a] Source #
Methods
genValid :: Gen (Tree a) #
shrinkValid :: Tree a -> [Tree a] #