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 does not break invaraints.
Many of these functions will likely become internal at some point.
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