arrow-recursion-data / arrow.recursion / hyloMC

hyloMC

fun <F, W, M, A, B> A.hyloMC(alg: (Kind<F, Kind<W, B>>) -> Kind<M, B>, coalg: (A) -> Kind<M, Kind<F, Kind<W, A>>>, TF: Traverse<F>, TW: Traverse<W>, MM: Monad<M>): Kind<M, B>

Monadic hylomorphism over composed traversables

Do you like Arrow?

Arrow Org
<