Function traverseTap

packages/typeclass/src/Traversable.ts:61–74

(T: Traversable<T>)

 * @since 0.24.0
 */
export const traverseTap = <T extends TypeLambda>(T: Traversable<T>) =>
<F extends TypeLambda>(F: Applicative<F>): {
  <A, R, O, E, B>(
    f: (a: A) => Kind<F, R, O, E, B>
  ): <TR, TO, TE>(self: Kind<T, TR, TO, TE, A>) => Kind<F, R, O, E, Kind<T, TR, TO, TE, A>>
  <TR, TO, TE, A, R, O, E, B>(
    self: Kind<T, TR, TO, TE, A>,
    f: (a: A) => Kind<F, R, O, E, B>
  ): Kind<F, R, O, E, Kind<T, TR, TO, TE, A>>
} =>
  dual(2, <TR, TO, TE, A, R, O, E, B>(
    self: Kind<T, TR, TO, TE, A>,
    f: (a: A) => Kind<F, R, O, E, B>
  ): Kind<F, R, O, E, Kind<T, TR, TO, TE, A>> => T.traverse(F)(self, (a) => F.map(f(a), () => a)))