arrow-core / arrow.core.extensions.ior.traverse / arrow.Kind
Extensions for arrow.Kind
| flatTraverse | fun <L, G, A, B> Kind<Kind<ForIor, L>, A>.~~flatTraverse~~(arg1: Monad<Kind<ForIor, L>>, arg2: Applicative<G>, arg3: (A) -> Kind<G, Kind<Kind<ForIor, L>, B>>): Kind<G, Kind<Kind<ForIor, L>, B>> |
| map | fun <L, A, B> Kind<Kind<ForIor, L>, A>.~~map~~(arg1: (A) -> B): Ior<L, B> |
| sequence | fun <L, G, A> Kind<Kind<ForIor, L>, Kind<G, A>>.~~sequence~~(arg1: Applicative<G>): Kind<G, Kind<Kind<ForIor, L>, A>> |
| traverse | fun <L, G, A, B> Kind<Kind<ForIor, L>, A>.~~traverse~~(arg1: Applicative<G>, arg2: (A) -> Kind<G, B>): Kind<G, Kind<Kind<ForIor, L>, B>> |