Tree package:hedgehog

A rose tree.

Pattern to ease construction / deconstruction of pure trees.

An effectful tree, each node in the tree can have an effect before it is produced.

The children of the Tree.

The value at the root of the Tree.

Run a generator with a random seed and print the resulting shrink tree.

Gen.printTree (Gen.enum 'a' 'f')

'd'
├╼'a'
├╼'b'
│  └╼'a'
└╼'c'
├╼'a'
└╼'b'
└╼'a'

This may not terminate when the tree is very large.

Print the shrink tree produced by a generator, for the given size and seed. Use printTree to generate a value from a random seed.

Lift a predefined shrink tree in to a generator, ignoring the seed and the size.

Lift a predefined shrink tree in to a generator, ignoring the seed and the size.

Lift a predefined shrink tree in to a generator, ignoring the seed and the size.

Render the shrink tree produced by a generator, for the given size and seed.

Observe a generator's shrink tree.

Lift a predefined shrink tree in to a generator, ignoring the seed and the size.

Map between TreeT computations.

Extracts the Node from a Tree.