@hackage htree0.1.1.0

a library to build and work with heterogeneous, type level indexed rose trees

This library implements a heterogeneous rose-tree (HTree) that is indexed by a type-level rosetree (TyTree).

It also offers some useful functions, highlights include:

searching in the tree and creating evidence on the term-level via typeclasses record-dot syntax for accessing elements in the tree. mapping and traversing trees