The catamorphism (generalized tree fold) for a generic F-algebra.
The catamorphism (generalized tree fold) for a generic F-algebra.
carrier object of f
and result type of the catamorphism
generic F-algebra to apply to this tree
the result of applying the catamorphism to this tree
The paramorphism (generalized catamorphism) for a generic morphism.
The paramorphism (generalized catamorphism) for a generic morphism.
carrier object of p
and result type of the paramorphism
morphism to apply to the partial results available for the children of this instance
the result of applying the paramorphism to this tree
Wraps a value
self
and provides catamorphism and related recursion patterns for injection intoTree
.generic item type of this tree