arrow-recursion-data / arrow.recursion / elgotM

elgotM

fun <F, M, A, B> B.elgotM(alg: AlgebraM<F, M, A>, f: (B) -> Kind<M, Either<A, Kind<F, B>>>, TF: Traverse<F>, MM: Monad<M>): Kind<M, A>

Monadic version of elgot

Do you like Arrow?

Arrow Org
<