arrow-recursion-data / arrow.recursion / coelgotM

coelgotM

fun <F, M, A, B> A.coelgotM(f: (Tuple2<A, Eval<Kind<M, Kind<F, B>>>>) -> Kind<M, B>, coalg: CoalgebraM<F, M, A>, TF: Traverse<F>, MM: Monad<M>): Kind<M, B>

Monadic version of coelgot

Do you like Arrow?

Arrow Org
<