arrow-core-data / arrow.typeclasses / Traverse / traverse


abstract fun <G, A, B> Kind<F, A>.traverse(AP: Applicative<G>, f: (A) -> Kind<G, B>): Kind<G, Kind<F, B>>

Given a function which returns a G effect, thread this effect through the running of this function on all the values in F, returning an F in a G context.

Do you like Arrow?

Arrow Org