Tree -is:module

Non-empty, possibly infinite, multi-way trees; also known as rose trees.
A rose tree.
Pattern to ease construction / deconstruction of pure trees.
Internal tree data structure
The interface for trees
Memory-managed wrapper type.
Tree datatype.
Main type for the scene description, reorient to specific type describing each tag.
Perfectly balanced binary tree of depth n, with 2 ^ n elements.
Non-empty, possibly infinite, multi-way trees; also known as rose trees.
Type of the search tree. Inlining the choice nodes for now. Weights on package, flag, and stanza choices control the traversal order. The tree can hold additional data on Done nodes (type d) and choice nodes (type c). For example, during the final traversal, choice nodes contain the variables that introduced the choices, and Done nodes contain the assignments for all variables. TODO: The weight type should be changed from [Double] to Double to avoid giving too much weight to preferences that are applied later.
Rooted rose trees with branch labels. Unary instances such as Functor act on node labels, and not on branch labels. Binary instances such as Bifunctor act on both labels (first acts on branches, second on node labels).
The shape of a foldMap