Variable DataFrameSemanticsMapperConst

Type declaration

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

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

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

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

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

• ReadonlyassignRows: {
      apply: (
          value: DataFrameDomain,
          __namedParameters: { rows: undefined | number[] },
      ) => 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: undefined | (undefined | string)[];
              rows: undefined | number | [number, number];
          },
      ) => DataFrameDomain;
      type: ResultPostcondition;
  }

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

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

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

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

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

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

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

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

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

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

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

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

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