Variable treeCata`Const`

treeCata: <A, B>(φ: TreeFolder<A, B>) => TreeFold<A, B> = ...

Run a TreeFolder<A, B> on a Tree to fold into a value of type B.

Type Declaration

- <A, B>(φ: TreeFolder<A, B>): TreeFold<A, B>
- Type Parameters
  - A
  - B
  Parameters
  - φ: TreeFolder<A, B>
  Returns TreeFold<A, B>