Function treeHylo

treeHylo<A, B, E = unknown, R = unknown, I = never>(
ψ: Coalgebra<TreeFTypeLambda, A, E, R, I>,
φ: Algebra<TreeFTypeLambda, B, E, R, I>,
): (a: A) => B
Fuse a fold and unfold into a single scheme to avoid traversing the tree more than once.
Type Parameters
- A
- B
- E = unknown
- R = unknown
- I = never
Parameters
- ψ: Coalgebra<TreeFTypeLambda, A, E, R, I>
- φ: Algebra<TreeFTypeLambda, B, E, R, I>
Returns (a: A) => B
- Defined in src/schemes/refold.ts:10