Hallux v0.1.0 Hallux View Source
Link to this section Summary
Link to this section Functions
Link to this function
append(tree1, tree2, zero \\ 0, measure \\ measure_fn(), reduce \\ reduce_fn())
View Source
Link to this function
cons(tree, elem, zero \\ 0, measure \\ measure_fn(), reduce \\ reduce_fn())
View Source
Link to this function
deep(pr, m, sf, z \\ 0, measure \\ measure_fn(), reduce \\ reduce_fn())
View Source
Link to this function
deepL(maybe_pr, m, sf, z \\ 0, measure \\ measure_fn(), reduce \\ reduce_fn())
View Source
Link to this function
deepR(pr, m, maybe_sf, z \\ 0, measure \\ measure_fn(), reduce \\ reduce_fn())
View Source
Link to this function
node2(l, r, z \\ 0, measure \\ measure_fn(), reduce \\ reduce_fn())
View Source
Link to this function
node3(l, m, r, z \\ 0, measure \\ measure_fn(), reduce \\ reduce_fn())
View Source
Link to this function
snoc(tree, elem, zero \\ 0, measure \\ measure_fn(), reduce \\ reduce_fn())
View Source
Link to this function
to_tree(xs, zero \\ 0, measure \\ measure_fn(), reduce \\ reduce_fn())
View Source