Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
prop_bin_length :: NonNegative Int -> Positive Int -> Property Source #
prop_bin_sum :: NonNegative Int -> Positive Int -> Property Source #
prop_subtree_size :: NonNegative Int -> Positive Int -> Property Source #
recursive_struct' :: NodeGen a b -> (a -> [c] -> c) -> b -> Gen c Source #