Variable isTheseOf

Type Declaration

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

  • Type Parameters

    • Tag extends "Left" | "Right" | "Both"

    Parameters

    • tag: Tag

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