Variable isPartFOfConst

Type Declaration

• • <Tag extends "EmptyF" | "TextF" | "RowF" | "ColumnF">(
        tag: Tag,
    ): {
        <
            T extends
                | { _tag: "EmptyF" }
                | { _tag: "TextF"; show: string }
                | {
                    _tag: "RowF";
                    bottom: Draw.VStrut;
                    cells: any[];
                    hAlign: "left" | "right" | "center";
                    left: Draw.HStrut;
                    right: Draw.HStrut;
                    top: Draw.VStrut;
                    vAlign: "top" | "bottom" | "middle";
                }
                | {
                    _tag: "ColumnF";
                    cells: any[];
                    hAlign: "left"
                    | "right"
                    | "center";
                    left: Draw.HStrut;
                    right: Draw.HStrut;
                },
        >(
            u: T,
        ): u is T & { _tag: Tag };
        (
            u: unknown,
        ): u is
            | Extract<{ _tag: "EmptyF" }, { _tag: Tag }>
            | Extract<{ _tag: "TextF"; show: string }, { _tag: Tag }>
            | Extract<
                {
                    _tag: "RowF";
                    bottom: Draw.VStrut;
                    cells: unknown[];
                    hAlign: "left"
                    | "right"
                    | "center";
                    left: Draw.HStrut;
                    right: Draw.HStrut;
                    top: Draw.VStrut;
                    vAlign: "top" | "bottom" | "middle";
                },
                { _tag: Tag },
            >
            | Extract<
                {
                    _tag: "ColumnF";
                    cells: unknown[];
                    hAlign: "left"
                    | "right"
                    | "center";
                    left: Draw.HStrut;
                    right: Draw.HStrut;
                },
                { _tag: Tag },
            >;
    }

  • Type Parameters

    • Tag extends "EmptyF" | "TextF" | "RowF" | "ColumnF"

    Parameters

    • tag: Tag

    Returns {
        <
            T extends
                | { _tag: "EmptyF" }
                | { _tag: "TextF"; show: string }
                | {
                    _tag: "RowF";
                    bottom: Draw.VStrut;
                    cells: any[];
                    hAlign: "left" | "right" | "center";
                    left: Draw.HStrut;
                    right: Draw.HStrut;
                    top: Draw.VStrut;
                    vAlign: "top" | "bottom" | "middle";
                }
                | {
                    _tag: "ColumnF";
                    cells: any[];
                    hAlign: "left"
                    | "right"
                    | "center";
                    left: Draw.HStrut;
                    right: Draw.HStrut;
                },
        >(
            u: T,
        ): u is T & { _tag: Tag };
        (
            u: unknown,
        ): u is
            | Extract<{ _tag: "EmptyF" }, { _tag: Tag }>
            | Extract<{ _tag: "TextF"; show: string }, { _tag: Tag }>
            | Extract<
                {
                    _tag: "RowF";
                    bottom: Draw.VStrut;
                    cells: unknown[];
                    hAlign: "left"
                    | "right"
                    | "center";
                    left: Draw.HStrut;
                    right: Draw.HStrut;
                    top: Draw.VStrut;
                    vAlign: "top" | "bottom" | "middle";
                },
                { _tag: Tag },
            >
            | Extract<
                {
                    _tag: "ColumnF";
                    cells: unknown[];
                    hAlign: "left"
                    | "right"
                    | "center";
                    left: Draw.HStrut;
                    right: Draw.HStrut;
                },
                { _tag: Tag },
            >;
    }