Function traverse

packages/typeclass/src/data/Array.ts:55–67

(F: applicative.Applicative<F>)

const productMany = semiProduct.productMany<ArrayInstances.ReadonlyArrayTypeLambda>(map, product)

const traverse = <F extends TypeLambda>(F: applicative.Applicative<F>): {
  <A, R, O, E, B>(
    f: (a: A, i: number) => Kind<F, R, O, E, B>
  ): (self: Iterable<A>) => Kind<F, R, O, E, Array<B>>
  <A, R, O, E, B>(
    self: Iterable<A>,
    f: (a: A, i: number) => Kind<F, R, O, E, B>
  ): Kind<F, R, O, E, Array<B>>
} =>
  dual(2, <A, R, O, E, B>(
    self: Iterable<A>,
    f: (a: A, i: number) => Kind<F, R, O, E, B>
  ): Kind<F, R, O, E, Array<B>> => F.productAll(ArrayInstances.fromIterable(self).map(f)))

const traversePartitionMap = <F extends TypeLambda>(
  F: applicative.Applicative<F>