Variable DataFrameSemanticsMapper`Const`

DataFrameSemanticsMapper: {
    accessCols: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { columns: string[] | number[] | undefined },
        ) => DataFrameDomain;
        type: OperandPrecondition;
    };
    accessRows: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { rows: number[] | undefined },
        ) => DataFrameDomain;
        type: OperandPrecondition;
    };
    addCols: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { colnames: (string | undefined)[] | undefined },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    addRows: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { rows: number | undefined },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    assignCols: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { columns: string[] | number[] | undefined },
        ) => DataFrameDomain;
        type: OperandModification;
    };
    assignRows: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { rows: number[] | undefined },
        ) => DataFrameDomain;
        type: OperandModification;
    };
    concatCols: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { other: DataFrameDomain },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    concatRows: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { other: DataFrameDomain },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    create: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: {
                colnames: (string | undefined)[] | undefined;
                rows: number | [number, number] | undefined;
            },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    filterRows: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { condition: boolean | undefined },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    groupBy: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { by: (string | undefined)[] },
            options?: { mutatedCols?: boolean },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    identity: {
        apply: (value: DataFrameDomain, _args: {}) => DataFrameDomain;
        type: ResultPostcondition;
    };
    join: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: {
                by: (string | undefined)[] | undefined;
                other: DataFrameDomain;
            },
            options?: {
                join?: "full" | "left" | "right" | "inner";
                natural?: boolean;
            },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    mutateCols: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { colnames: (string | undefined)[] | undefined },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    read: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: {
                colnames: (string | undefined)[] | undefined;
                rows: number | [number, number] | undefined;
                source: string | undefined;
            },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    removeCols: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { colnames: (string | undefined)[] | undefined },
            options?: { maybe?: boolean },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    removeRows: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { rows: number | undefined },
            options?: { maybe?: boolean },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    setColNames: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { colnames: (string | undefined)[] | undefined },
            options?: { partial?: boolean },
        ) => DataFrameDomain;
        type: OperandModification;
    };
    subsetCols: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { colnames: (string | undefined)[] | undefined },
            options?: { duplicateCols?: boolean; renamedCols?: boolean },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    subsetRows: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { rows: number | undefined },
            options?: { duplicateRows?: boolean },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    summarize: {
        apply: (
            value: DataFrameDomain,
            __namedParameters: { colnames: (string | undefined)[] | undefined },
        ) => DataFrameDomain;
        type: ResultPostcondition;
    };
    unknown: {
        apply: (value: DataFrameDomain, _args: {}) => DataFrameDomain;
        type: ResultPostcondition;
    };
} = ...

Mapper for defining the abstract data frame operations and mapping them to semantics applier functions, including information about the type of the resulting constraints that are inferred by the operation.

Type Declaration

ReadonlyaccessCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { columns: string[] | number[] | undefined },
    ) => DataFrameDomain;
    type: OperandPrecondition;
}
ReadonlyaccessRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { rows: number[] | undefined },
    ) => DataFrameDomain;
    type: OperandPrecondition;
}
ReadonlyaddCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
ReadonlyaddRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { rows: number | undefined },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
ReadonlyassignCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { columns: string[] | number[] | undefined },
    ) => DataFrameDomain;
    type: OperandModification;
}
ReadonlyassignRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { rows: number[] | undefined },
    ) => DataFrameDomain;
    type: OperandModification;
}
ReadonlyconcatCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { other: DataFrameDomain },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
ReadonlyconcatRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { other: DataFrameDomain },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
Readonlycreate: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: {
            colnames: (string | undefined)[] | undefined;
            rows: number | [number, number] | undefined;
        },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
ReadonlyfilterRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { condition: boolean | undefined },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
ReadonlygroupBy: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { by: (string | undefined)[] },
        options?: { mutatedCols?: boolean },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
Readonlyidentity: {
apply: (value: DataFrameDomain, _args: {}) => DataFrameDomain;
type: ResultPostcondition;
}
Readonlyjoin: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: {
            by: (string | undefined)[] | undefined;
            other: DataFrameDomain;
        },
        options?: {
            join?: "full" | "left" | "right" | "inner";
            natural?: boolean;
        },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
ReadonlymutateCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
Readonlyread: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: {
            colnames: (string | undefined)[] | undefined;
            rows: number | [number, number] | undefined;
            source: string | undefined;
        },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
ReadonlyremoveCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
        options?: { maybe?: boolean },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
ReadonlyremoveRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { rows: number | undefined },
        options?: { maybe?: boolean },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
ReadonlysetColNames: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
        options?: { partial?: boolean },
    ) => DataFrameDomain;
    type: OperandModification;
}
ReadonlysubsetCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
        options?: { duplicateCols?: boolean; renamedCols?: boolean },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
ReadonlysubsetRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { rows: number | undefined },
        options?: { duplicateRows?: boolean },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
Readonlysummarize: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}
Readonlyunknown: {
apply: (value: DataFrameDomain, _args: {}) => DataFrameDomain;
type: ResultPostcondition;
}

Variable DataFrameSemanticsMapper`Const`

Type Declaration

`Readonly`accessCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { columns: string[] | number[] | undefined },
    ) => DataFrameDomain;
    type: OperandPrecondition;
}

`Readonly`accessRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { rows: number[] | undefined },
    ) => DataFrameDomain;
    type: OperandPrecondition;
}

`Readonly`addCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`addRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { rows: number | undefined },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`assignCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { columns: string[] | number[] | undefined },
    ) => DataFrameDomain;
    type: OperandModification;
}

`Readonly`assignRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { rows: number[] | undefined },
    ) => DataFrameDomain;
    type: OperandModification;
}

`Readonly`concatCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { other: DataFrameDomain },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`concatRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { other: DataFrameDomain },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`create: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: {
            colnames: (string | undefined)[] | undefined;
            rows: number | [number, number] | undefined;
        },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`filterRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { condition: boolean | undefined },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`groupBy: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { by: (string | undefined)[] },
        options?: { mutatedCols?: boolean },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`identity: {
apply: (value: DataFrameDomain, _args: {}) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`mutateCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`removeCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
        options?: { maybe?: boolean },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`removeRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { rows: number | undefined },
        options?: { maybe?: boolean },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`setColNames: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
        options?: { partial?: boolean },
    ) => DataFrameDomain;
    type: OperandModification;
}

`Readonly`subsetCols: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
        options?: { duplicateCols?: boolean; renamedCols?: boolean },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`subsetRows: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { rows: number | undefined },
        options?: { duplicateRows?: boolean },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`summarize: {
    apply: (
        value: DataFrameDomain,
        __namedParameters: { colnames: (string | undefined)[] | undefined },
    ) => DataFrameDomain;
    type: ResultPostcondition;
}

`Readonly`unknown: {
apply: (value: DataFrameDomain, _args: {}) => DataFrameDomain;
type: ResultPostcondition;
}

Settings

Variable DataFrameSemanticsMapperConst

Type Declaration

ReadonlyaccessCols: { apply: ( value: DataFrameDomain, __namedParameters: { columns: string[] | number[] | undefined }, ) => DataFrameDomain; type: OperandPrecondition;}

ReadonlyaccessRows: { apply: ( value: DataFrameDomain, __namedParameters: { rows: number[] | undefined }, ) => DataFrameDomain; type: OperandPrecondition;}

ReadonlyaddCols: { apply: ( value: DataFrameDomain, __namedParameters: { colnames: (string | undefined)[] | undefined }, ) => DataFrameDomain; type: ResultPostcondition;}

ReadonlyaddRows: { apply: ( value: DataFrameDomain, __namedParameters: { rows: number | undefined }, ) => DataFrameDomain; type: ResultPostcondition;}

ReadonlyassignCols: { apply: ( value: DataFrameDomain, __namedParameters: { columns: string[] | number[] | undefined }, ) => DataFrameDomain; type: OperandModification;}

ReadonlyassignRows: { apply: ( value: DataFrameDomain, __namedParameters: { rows: number[] | undefined }, ) => DataFrameDomain; type: OperandModification;}

ReadonlyconcatCols: { apply: ( value: DataFrameDomain, __namedParameters: { other: DataFrameDomain }, ) => DataFrameDomain; type: ResultPostcondition;}

ReadonlyconcatRows: { apply: ( value: DataFrameDomain, __namedParameters: { other: DataFrameDomain }, ) => DataFrameDomain; type: ResultPostcondition;}

Readonlycreate: { apply: ( value: DataFrameDomain, __namedParameters: { colnames: (string | undefined)[] | undefined; rows: number | [number, number] | undefined; }, ) => DataFrameDomain; type: ResultPostcondition;}

ReadonlyfilterRows: { apply: ( value: DataFrameDomain, __namedParameters: { condition: boolean | undefined }, ) => DataFrameDomain; type: ResultPostcondition;}

ReadonlygroupBy: { apply: ( value: DataFrameDomain, __namedParameters: { by: (string | undefined)[] }, options?: { mutatedCols?: boolean }, ) => DataFrameDomain; type: ResultPostcondition;}

Readonlyidentity: { apply: (value: DataFrameDomain, _args: {}) => DataFrameDomain; type: ResultPostcondition;}

Readonlyjoin: { apply: ( value: DataFrameDomain, __namedParameters: { by: (string | undefined)[] | undefined; other: DataFrameDomain; }, options?: { join?: "full" | "left" | "right" | "inner"; natural?: boolean; }, ) => DataFrameDomain; type: ResultPostcondition;}

ReadonlymutateCols: { apply: ( value: DataFrameDomain, __namedParameters: { colnames: (string | undefined)[] | undefined }, ) => DataFrameDomain; type: ResultPostcondition;}

Readonlyread: { apply: ( value: DataFrameDomain, __namedParameters: { colnames: (string | undefined)[] | undefined; rows: number | [number, number] | undefined; source: string | undefined; }, ) => DataFrameDomain; type: ResultPostcondition;}

ReadonlyremoveCols: { apply: ( value: DataFrameDomain, __namedParameters: { colnames: (string | undefined)[] | undefined }, options?: { maybe?: boolean }, ) => DataFrameDomain; type: ResultPostcondition;}

ReadonlyremoveRows: { apply: ( value: DataFrameDomain, __namedParameters: { rows: number | undefined }, options?: { maybe?: boolean }, ) => DataFrameDomain; type: ResultPostcondition;}

ReadonlysetColNames: { apply: ( value: DataFrameDomain, __namedParameters: { colnames: (string | undefined)[] | undefined }, options?: { partial?: boolean }, ) => DataFrameDomain; type: OperandModification;}

ReadonlysubsetCols: { apply: ( value: DataFrameDomain, __namedParameters: { colnames: (string | undefined)[] | undefined }, options?: { duplicateCols?: boolean; renamedCols?: boolean }, ) => DataFrameDomain; type: ResultPostcondition;}

ReadonlysubsetRows: { apply: ( value: DataFrameDomain, __namedParameters: { rows: number | undefined }, options?: { duplicateRows?: boolean }, ) => DataFrameDomain; type: ResultPostcondition;}

Readonlysummarize: { apply: ( value: DataFrameDomain, __namedParameters: { colnames: (string | undefined)[] | undefined }, ) => DataFrameDomain; type: ResultPostcondition;}

Readonlyunknown: { apply: (value: DataFrameDomain, _args: {}) => DataFrameDomain; type: ResultPostcondition;}

Settings

Variable DataFrameSemanticsMapper`Const`

`Readonly`accessCols: {
apply: (
value: DataFrameDomain,
__namedParameters: { columns: string[] | number[] | undefined },
) => DataFrameDomain;
type: OperandPrecondition;
}

`Readonly`accessRows: {
apply: (
value: DataFrameDomain,
__namedParameters: { rows: number[] | undefined },
) => DataFrameDomain;
type: OperandPrecondition;
}

`Readonly`addCols: {
apply: (
value: DataFrameDomain,
__namedParameters: { colnames: (string | undefined)[] | undefined },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`addRows: {
apply: (
value: DataFrameDomain,
__namedParameters: { rows: number | undefined },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`assignCols: {
apply: (
value: DataFrameDomain,
__namedParameters: { columns: string[] | number[] | undefined },
) => DataFrameDomain;
type: OperandModification;
}

`Readonly`assignRows: {
apply: (
value: DataFrameDomain,
__namedParameters: { rows: number[] | undefined },
) => DataFrameDomain;
type: OperandModification;
}

`Readonly`concatCols: {
apply: (
value: DataFrameDomain,
__namedParameters: { other: DataFrameDomain },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`concatRows: {
apply: (
value: DataFrameDomain,
__namedParameters: { other: DataFrameDomain },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`create: {
apply: (
value: DataFrameDomain,
__namedParameters: {
colnames: (string | undefined)[] | undefined;
rows: number | [number, number] | undefined;
},
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`filterRows: {
apply: (
value: DataFrameDomain,
__namedParameters: { condition: boolean | undefined },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`groupBy: {
apply: (
value: DataFrameDomain,
__namedParameters: { by: (string | undefined)[] },
options?: { mutatedCols?: boolean },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`identity: {
apply: (value: DataFrameDomain, _args: {}) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`join: {
apply: (
value: DataFrameDomain,
__namedParameters: {
by: (string | undefined)[] | undefined;
other: DataFrameDomain;
},
options?: {
join?: "full" | "left" | "right" | "inner";
natural?: boolean;
},
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`mutateCols: {
apply: (
value: DataFrameDomain,
__namedParameters: { colnames: (string | undefined)[] | undefined },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`read: {
apply: (
value: DataFrameDomain,
__namedParameters: {
colnames: (string | undefined)[] | undefined;
rows: number | [number, number] | undefined;
source: string | undefined;
},
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`removeCols: {
apply: (
value: DataFrameDomain,
__namedParameters: { colnames: (string | undefined)[] | undefined },
options?: { maybe?: boolean },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`removeRows: {
apply: (
value: DataFrameDomain,
__namedParameters: { rows: number | undefined },
options?: { maybe?: boolean },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`setColNames: {
apply: (
value: DataFrameDomain,
__namedParameters: { colnames: (string | undefined)[] | undefined },
options?: { partial?: boolean },
) => DataFrameDomain;
type: OperandModification;
}

`Readonly`subsetCols: {
apply: (
value: DataFrameDomain,
__namedParameters: { colnames: (string | undefined)[] | undefined },
options?: { duplicateCols?: boolean; renamedCols?: boolean },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`subsetRows: {
apply: (
value: DataFrameDomain,
__namedParameters: { rows: number | undefined },
options?: { duplicateRows?: boolean },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`summarize: {
apply: (
value: DataFrameDomain,
__namedParameters: { colnames: (string | undefined)[] | undefined },
) => DataFrameDomain;
type: ResultPostcondition;
}

`Readonly`unknown: {
apply: (value: DataFrameDomain, _args: {}) => DataFrameDomain;
type: ResultPostcondition;
}