Variable mapLeft

Type Declaration

• • <E, G>(
        f: (e: E) => G,
    ): <R, O, A>(
        self:
            | { _tag: "Left"; left: E }
            | { _tag: "Right"; right: A }
            | { _tag: "Both"; left: E; right: A },
    ) =>
        | { _tag: "Left"; left: G }
        | { _tag: "Right"; right: A }
        | { _tag: "Both"; left: G; right: A }

  • Type Parameters

    • E
    • G

    Parameters

    • f: (e: E) => G

    Returns <R, O, A>(
        self:
            | { _tag: "Left"; left: E }
            | { _tag: "Right"; right: A }
            | { _tag: "Both"; left: E; right: A },
    ) =>
        | { _tag: "Left"; left: G }
        | { _tag: "Right"; right: A }
        | { _tag: "Both"; left: G; right: A }

  • <R, O_1, E, A_1, G_1>(
        self:
            | { _tag: "Left"; left: E }
            | { _tag: "Right"; right: A_1 }
            | { _tag: "Both"; left: E; right: A_1 },
        f: (e: E) => G_1,
    ):
        | { _tag: "Left"; left: G_1 }
        | { _tag: "Right"; right: A_1 }
        | { _tag: "Both"; left: G_1; right: A_1 }

  • Type Parameters

    • R
    • O_1
    • E
    • A_1
    • G_1

    Parameters

    • self:
          | { _tag: "Left"; left: E }
          | { _tag: "Right"; right: A_1 }
          | { _tag: "Both"; left: E; right: A_1 }
    • f: (e: E) => G_1

    Returns
        | { _tag: "Left"; left: G_1 }
        | { _tag: "Right"; right: A_1 }
        | { _tag: "Both"; left: G_1; right: A_1 }