Tree data structure for nondeterministic computations.

This package provides monad instances for a rose tree-like data structure that can be used for nondeterministic computations. This is similar to the list monad but allows for computations to remain agnostic about the specific search procedure used.

monad-tree

This package provides monad instances for a rose-tree-like data structure Tree, allowing for the definition of non-deterministic computations that do not depend on a specific search procedure.

When not used as a monad for nondeterministic computation, Tree can also be used as a general purpose rose tree data structure.

For more information, see the documentation for the main Control.Monad.Tree module.