arrow-recursion-data / arrow.recursion / dynaM

dynaM

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

Monadic version of dyna

Do you like Arrow?

Arrow Org
<