type QueryPage<T> = {
  "#page": { current?: number; size?: number; };
  "#rule"?: R<T>[];
  "#order"?: QueryOrder<T>[];
  "#group"?: QueryGroup<T>[];
} & { [k in keyof T]?: T[k]; };
type Key<T> = (keyof T) & string;
type QueryOrder<T> = [Key<T>, "ASC" | "DESC"];
type QueryGroup<T> = (Key<T>);

type Alias<T> = { [alias: string]: keyof T; };


/** 查询规则 */
interface _RuleBase<T> {
  /** 连接关系 */
  or?: any;
  /** 字段(被比较值) */
  field: Key<T>;
}
interface _RuleBaseNS<T> extends _RuleBase<T> {
  /** 比较关系 */
  logic: "=" | "eq" | "<>" | "ne" | "<=>";
  /** 比较值 */
  value: ns;
}
interface _RuleBaseN<T> extends _RuleBase<T> {
  /** 比较关系 */
  logic: ">" | "gt" | ">=" | "ge" | "<" | "lt" | "<=" | "le";
  /** 比较值 */
  value: number;
}
interface _RuleBaseS<T> extends _RuleBase<T> {
  /** 比较关系 */
  logic: "like" | "notLike" | "regexp";
  /** 比较值 */
  value: string;
}
interface _RuleBaseBetween<T> extends _RuleBase<T> {
  /** 逻辑关系 */
  logic: "between" | "notBetween";
  /** 值范围 */
  value: [number, number];
}
interface _RuleBaseIn<T> extends _RuleBase<T> {
  /** 逻辑关系 */
  logic: "in" | "notIn";
  /** 值范围 */
  value: ns[];
}
interface _RuleBaseNull<T> extends _RuleBase<T> {
  /** 逻辑关系 */
  logic: "isNull" | "isNotNull";
}
type _RuleEl<T> = _RuleBaseNS<T> | _RuleBaseN<T> | _RuleBaseS<T> | _RuleBaseBetween<T> | _RuleBaseIn<T> | _RuleBaseNull<T>;
type _RuleChildren<T> = {
  childrenOr?: any;
  children: R<T>[];
};

type R<T> = _RuleEl<T>
  | (_RuleEl<T> & _RuleChildren<T>)
  | _RuleChildren<T>;

type Writable<T> = { -readonly [P in keyof T]: T[P]; };
type Rp<T> = { "#rule"?: R<T>[]; "#order"?: QueryOrder<T>[]; "#group"?: QueryGroup<T>[]; "#field"?: Alias<T>; };
type QueryParam<T> = Rp<T> | { id: string | string[]; } | Partial<T> | string | string[];
type FQ<T> = QueryParam<T>;
type UpdateParam<T> = ({ id: any; } & Partial<T>) | ({ "#entity": Partial<T>; } & FQ<T>) | Update<T>;