A strict Rose tree with nodes carrying a value of type A. See the TreeF type for the unfixed version, where Tree<A>.unfixed ≡ TreeF<A, Tree<A>>.
A
Tree<A>.unfixed ≡ TreeF<A, Tree<A>>
The fully expanded version of the type of a branch would look like:
Tree<A> = { unfixed: { node: A forest: NonEmptyArray<Tree<A>> }} Copy
Tree<A> = { unfixed: { node: A forest: NonEmptyArray<Tree<A>> }}
Underlying tree type.
A strict Rose tree with nodes carrying a value of type
A. See the TreeF type for the unfixed version, whereTree<A>.unfixed ≡ TreeF<A, Tree<A>>.The fully expanded version of the type of a branch would look like: