Function imap

packages/typeclass/src/Covariant.ts:38–40

(
  map: <R, O, E, A, B>(self: Kind<F, R, O, E, A>, f: (a: A) => B) => Kind<F, R, O, E, B>
)

 * @since 0.24.0
 */
export const imap = <F extends TypeLambda>(
  map: <R, O, E, A, B>(self: Kind<F, R, O, E, A>, f: (a: A) => B) => Kind<F, R, O, E, B>
): Invariant<F>["imap"] => dual(3, (self, to, _) => map(self, to))

/**
 * @category mapping