qcheck/tree
This module provides a tree data structure used to represent a pseudo-randomly generated value an its shrunk values. This “integrated shrinking” is convenient as most generators get shrinking “for free” that that shrinking does not break invaraints.
Types
Functions
pub fn iterator_list(l: List(Tree(a))) -> Tree(List(a))
pub fn make_primitive(
root x: a,
shrink shrink: fn(a) -> Iterator(a),
) -> Tree(a)
pub fn to_string_(
tree: Tree(a),
a_to_string: fn(a) -> String,
max_depth max_depth: Int,
) -> String