arrow-core-data / arrow.typeclasses / Foldable / traverse_


open fun <G, A, B> Kind<F, A>.traverse_(GA: Applicative<G>, f: (A) -> Kind<G, B>): Kind<G, Unit>

Traverse F using Applicative.

A typed values will be mapped into G by function f and combined using Applicative#map2.

This method is primarily useful when G<_> represents an action or effect, and the specific A aspect of G is not otherwise needed.

Do you like Arrow?

Arrow Org