arrow-core / arrow.core.extensions / arrow.Kind
Extensions for arrow.Kind
| sequence | fun <A, G> OptionOf<Kind<G, A>>.~~sequence~~(GA: Applicative<G>): Kind<G, Option<A>>fun <F, G, A> Tuple2Of<F, Kind<G, A>>.~~sequence~~(GA: Applicative<G>): Kind<G, Tuple2<F, A>> |
| traverse | fun <G, A, B, C> EitherOf<A, B>.~~traverse~~(GA: Applicative<G>, f: (B) -> Kind<G, C>): Kind<G, Either<A, C>>fun <A, G, B> OptionOf<A>.~~traverse~~(GA: Applicative<G>, f: (A) -> Kind<G, B>): Kind<G, Option<B>>fun <F, G, A, B> Tuple2Of<F, A>.~~traverse~~(GA: Applicative<G>, f: (A) -> Kind<G, B>): Kind<G, Tuple2<F, B>> |
| traverseFilter | fun <A, G, B> OptionOf<A>.~~traverseFilter~~(GA: Applicative<G>, f: (A) -> Kind<G, Option<B>>): Kind<G, Option<B>> |