Variable treeHylo`Const`

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 Declaration

- <A, B, E = unknown, R = unknown, I = never>(
  ψ: Coalgebra<TreeFTypeLambda, A, E, R, I>,
  φ: Algebra<TreeFTypeLambda, B, E, R, I>,
  ): (a: A) => B
- 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