Data.GenValidity.Tree

Documentation

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

Generate a tree of values that are generated as specified.

This takes the size parameter much better into account

Orphan instances

GenUnchecked a => GenUnchecked (Tree a)

Methods

genUnchecked :: Gen (Tree a)

shrinkUnchecked :: Tree a -> [Tree a]

GenValid a => GenValid (Tree a)

Methods

genValid :: Gen (Tree a)

shrinkValid :: Tree a -> [Tree a]

(GenUnchecked a, GenInvalid a) => GenInvalid (Tree a)

There should be at least one invalid element, either it's here or it's further down the tree.

Methods

genInvalid :: Gen (Tree a)

shrinkInvalid :: Tree a -> [Tree a]