cata<B> method

B cata<B>(
  1. B z,
  2. B ifEmpty(
    1. B b
    ),
  3. B ifNonEmpty(
    1. B b,
    2. K k,
    3. V v,
    4. B cataLeft(
      1. B b
      ),
    5. B cataRight(
      1. B b
      ),
    )
)

Implementation

B cata<B>(B z, B ifEmpty(B b), B ifNonEmpty(B b, K k, V v, B cataLeft(B b), B cataRight(B b))) => _tree.cata(z, ifEmpty, ifNonEmpty);