Function tap

packages/typeclass/src/Chainable.ts:42–57

(F: Chainable<F>)

 * @since 0.24.0
 */
export const tap = <F extends TypeLambda>(F: Chainable<F>): {
  <A, R2, O2, E2, _>(
    f: (a: A) => Kind<F, R2, O2, E2, _>
  ): <R1, O1, E1>(self: Kind<F, R1, O1, E1, A>) => Kind<F, R1 & R2, O2 | O1, E2 | E1, A>
  <R1, O1, E1, A, R2, O2, E2, _>(
    self: Kind<F, R1, O1, E1, A>,
    f: (a: A) => Kind<F, R2, O2, E2, _>
  ): Kind<F, R1 & R2, O1 | O2, E1 | E2, A>
} =>
  dual(
    2,
    <R1, O1, E1, A, R2, O2, E2, _>(
      self: Kind<F, R1, O1, E1, A>,
      f: (a: A) => Kind<F, R2, O2, E2, _>
    ): Kind<F, R1 & R2, O1 | O2, E1 | E2, A> => F.flatMap(self, (a) => F.map(f(a), () => a))
  )

/**
 * @category do notation