arrow-recursion-data / arrow.recursion / hyloC

hyloC

fun <F, W, A, B> A.hyloC(alg: (Kind<F, Kind<W, B>>) -> B, coalg: (A) -> Kind<F, Kind<W, A>>, FF: Functor<F>, WF: Functor<W>): B

Hylomorphism over a composed functor

Do you like Arrow?

Arrow Org
<