Variable isBoth

Type Declaration

• • <
        T extends
            | { _tag: "Left"; left: any }
            | { _tag: "Right"; right: any }
            | { _tag: "Both"; left: any; right: any },
    >(
        u: T,
    ): u is T & { _tag: "Both" }

  • Type Parameters

    • T extends
          | { _tag: "Left"; left: any }
          | { _tag: "Right"; right: any }
          | { _tag: "Both"; left: any; right: any }

    Parameters

    • u: T

    Returns u is T & { _tag: "Both" }

  • (u: unknown): u is { _tag: "Both"; left: unknown; right: unknown }

  • Parameters

    • u: unknown

    Returns u is { _tag: "Both"; left: unknown; right: unknown }