Test.QuickCheck.RandomTree

data Tree a

type Rec a

data RecT m a

class MonadGen m

elements

recForM

recListFrom

recListFromTo

try

consume

choice

runRec

data MyTree

putInBins

prop_bin_length

prop_bin_sum

prop_rand_tree_size

prop_subtree_size

gen

size

subtree_size

make_node

make_struct

tree_of

prop_tree_shape

subtrees

degree

root

type NodeGen a b

data RecStruct

recursive_struct'

recursive_struct

tree_from'

tree_from

tree_from_aux

run_tests