arrow-recursion-data / arrow.recursion / hyloM

hyloM

fun <F, M, A, B> A.hyloM(alg: AlgebraM<F, M, B>, coalg: CoalgebraM<F, M, A>, TF: Traverse<F>, MM: Monad<M>): Kind<M, B>

Monadic hylomorphism, can be used to gain stacksafety when using a stack safe monad, but it requires a traverse instance and not just a functor.

Do you like Arrow?

Arrow Org
<