oak-domain 2.3.2 → 2.4.1

package/lib/types/Expression.d.ts

@@ -1,141 +1,163 @@
-import { RefAttr } from "./Demand";
-import { Geo } from "./Geo";
-export declare type RefOrExpression<A> = RefAttr<A> | Expression<A>;
-declare type MathType<A> = RefOrExpression<A> | number;
-declare type StringType<A> = RefOrExpression<A> | string;
-interface Add<A> {
-    $add: (MathType<A> | StringType<A>)[];
-}
-interface Subtract<A> {
-    $subtract: [MathType<A>, MathType<A>];
-}
-interface Multiply<A> {
-    $multiply: (MathType<A>)[];
-}
-interface Divide<A> {
-    $divide: [MathType<A>, MathType<A>];
-}
-interface Abs<A> {
-    $abs: MathType<A>;
-}
-interface Round<A> {
-    $round: [MathType<A>, MathType<A>];
-}
-interface Floor<A> {
-    $floor: MathType<A>;
-}
-interface Ceil<A> {
-    $ceil: MathType<A>;
-}
-interface Pow<A> {
-    $pow: [MathType<A>, MathType<A>];
-}
-declare type MathExpression<A> = Add<A> | Subtract<A> | Multiply<A> | Divide<A> | Abs<A> | Round<A> | Floor<A> | Ceil<A> | Pow<A>;
-declare type CmpType<A> = RefOrExpression<A> | string | number;
-interface Gt<A> {
-    $gt: [CmpType<A>, CmpType<A>];
-}
-interface Lt<A> {
-    $lt: [CmpType<A>, CmpType<A>];
-}
-interface Eq<A> {
-    $eq: [CmpType<A>, CmpType<A>];
-}
-interface Gte<A> {
-    $gte: [CmpType<A>, CmpType<A>];
-}
-interface Lte<A> {
-    $lte: [CmpType<A>, CmpType<A>];
-}
-interface Ne<A> {
-    $ne: [CmpType<A>, CmpType<A>];
-}
-interface StartsWith<A> {
-    $startsWith: [RefOrExpression<A> | string, RefOrExpression<A> | string];
-}
-interface EndsWith<A> {
-    $endsWith: [RefOrExpression<A> | string, RefOrExpression<A> | string];
-}
-interface Includes<A> {
-    $includes: [RefOrExpression<A> | string, RefOrExpression<A> | string];
-}
-declare type CompareExpression<A> = Lt<A> | Gt<A> | Lte<A> | Gte<A> | Eq<A> | Ne<A> | StartsWith<A> | EndsWith<A> | Includes<A>;
-interface BoolTrue<A> {
-    $true: Expression<A>;
-}
-interface BoolFalse<A> {
-    $false: Expression<A>;
-}
-declare type BoolExpression<A> = BoolTrue<A> | BoolFalse<A>;
-interface LogicAnd<A> {
-    $and: Expression<A>[];
-}
-interface LogicOr<A> {
-    $or: Expression<A>[];
-}
-interface LogicNot<A> {
-    $not: Expression<A>;
-}
-declare type LogicExpression<A> = LogicAnd<A> | LogicOr<A> | LogicNot<A>;
-interface DateYear<A> {
-    $year: RefOrExpression<A> | Date | number;
-}
-interface DateMonth<A> {
-    $month: RefOrExpression<A> | Date | number;
-}
-interface DateWeekday<A> {
-    $weekday: RefOrExpression<A> | Date | number;
-}
-interface DateWeekOfYear<A> {
-    $weekOfYear: RefOrExpression<A> | Date | number;
-}
-interface DateDay<A> {
-    $day: RefOrExpression<A> | Date | number;
-}
-interface DateDayOfMonth<A> {
-    $dayOfMonth: RefOrExpression<A> | Date | number;
-}
-interface DateDayOfWeek<A> {
-    $dayOfWeek: RefOrExpression<A> | Date | number;
-}
-interface DateDayOfYear<A> {
-    $dayOfYear: RefOrExpression<A> | Date | number;
-}
-interface DateDiff<A> {
-    $dateDiff: [RefOrExpression<A> | Date | number, RefOrExpression<A> | Date | number, 'y' | 'M' | 'd' | 'h' | 'm' | 's'];
-}
-interface DateCeiling<A> {
-    $dateCeil: [RefOrExpression<A> | Date | number, 'y' | 'M' | 'd' | 'h' | 'm' | 's'];
-}
-interface DateFloor<A> {
-    $dateFloor: [RefOrExpression<A> | Date | number, 'y' | 'M' | 'd' | 'h' | 'm' | 's'];
-}
-declare type DateExpression<A> = DateYear<A> | DateMonth<A> | DateWeekday<A> | DateWeekOfYear<A> | DateDay<A> | DateDayOfYear<A> | DateDayOfMonth<A> | DateDayOfWeek<A> | DateDiff<A> | DateCeiling<A> | DateFloor<A>;
-interface GeoContains<A> {
-    $contains: [RefOrExpression<A> | Geo, RefOrExpression<A> | Geo];
-}
-interface GeoDistance<A> {
-    $distance: [RefOrExpression<A> | Geo, RefOrExpression<A> | Geo];
-}
-declare type GeoExpression<A> = GeoContains<A> | GeoDistance<A>;
-export declare type Expression<A> = GeoExpression<A> | DateExpression<A> | LogicExpression<A> | BoolExpression<A> | CompareExpression<A> | MathExpression<A>;
-export declare type ExpressionConstant = Geo | number | Date | string | boolean;
-export declare function isGeoExpression<A>(expression: any): expression is GeoExpression<A>;
-export declare function isDateExpression<A>(expression: any): expression is DateExpression<A>;
-export declare function isLogicExpression<A>(expression: any): expression is LogicExpression<A>;
-export declare function isBoolExpression<A>(expression: any): expression is BoolExpression<A>;
-export declare function isCompareExpression<A>(expression: any): expression is CompareExpression<A>;
-export declare function isMathExpression<A>(expression: any): expression is MathExpression<A>;
-export declare function isExpression<A>(expression: any): expression is Expression<A>;
-export declare function opMultipleParams(op: string): boolean;
-export declare function execOp(op: string, params: any, obscure?: boolean): ExpressionConstant;
-/**
- * 检查一个表达式，并分析其涉及到的属性
- * @param expression
- * @returns {
- *      '#current': [当前结点涉及的属性]
- *      'node-1': [node-1结点上涉及的属性]
- * }
- */
-export declare function getAttrRefInExpression(expression: Expression<any>): Record<string, string[]>;
-export {};
+import { RefAttr } from "./Demand";
+import { Geo } from "./Geo";
+export type RefOrExpression<A> = RefAttr<A> | Expression<A>;
+type MathType<A> = RefOrExpression<A> | number;
+type StringType<A> = RefOrExpression<A> | string;
+interface Add<A> {
+    $add: (MathType<A>)[];
+}
+interface Subtract<A> {
+    $subtract: [MathType<A>, MathType<A>];
+}
+interface Multiply<A> {
+    $multiply: (MathType<A>)[];
+}
+interface Divide<A> {
+    $divide: [MathType<A>, MathType<A>];
+}
+interface Abs<A> {
+    $abs: MathType<A>;
+}
+interface Round<A> {
+    $round: [MathType<A>, MathType<A>];
+}
+interface Floor<A> {
+    $floor: MathType<A>;
+}
+interface Ceil<A> {
+    $ceil: MathType<A>;
+}
+interface Pow<A> {
+    $pow: [MathType<A>, MathType<A>];
+}
+type MathExpression<A> = Add<A> | Subtract<A> | Multiply<A> | Divide<A> | Abs<A> | Round<A> | Floor<A> | Ceil<A> | Pow<A>;
+type CmpType<A> = RefOrExpression<A> | string | number;
+interface Gt<A> {
+    $gt: [CmpType<A>, CmpType<A>];
+}
+interface Lt<A> {
+    $lt: [CmpType<A>, CmpType<A>];
+}
+interface Eq<A> {
+    $eq: [CmpType<A>, CmpType<A>];
+}
+interface Gte<A> {
+    $gte: [CmpType<A>, CmpType<A>];
+}
+interface Lte<A> {
+    $lte: [CmpType<A>, CmpType<A>];
+}
+interface Ne<A> {
+    $ne: [CmpType<A>, CmpType<A>];
+}
+interface StartsWith<A> {
+    $startsWith: [RefOrExpression<A> | string, RefOrExpression<A> | string];
+}
+interface EndsWith<A> {
+    $endsWith: [RefOrExpression<A> | string, RefOrExpression<A> | string];
+}
+interface Includes<A> {
+    $includes: [RefOrExpression<A> | string, RefOrExpression<A> | string];
+}
+type CompareExpression<A> = Lt<A> | Gt<A> | Lte<A> | Gte<A> | Eq<A> | Ne<A> | StartsWith<A> | EndsWith<A> | Includes<A>;
+interface BoolTrue<A> {
+    $true: Expression<A>;
+}
+interface BoolFalse<A> {
+    $false: Expression<A>;
+}
+type BoolExpression<A> = BoolTrue<A> | BoolFalse<A>;
+interface LogicAnd<A> {
+    $and: Expression<A>[];
+}
+interface LogicOr<A> {
+    $or: Expression<A>[];
+}
+interface LogicNot<A> {
+    $not: Expression<A>;
+}
+type LogicExpression<A> = LogicAnd<A> | LogicOr<A> | LogicNot<A>;
+interface DateYear<A> {
+    $year: RefOrExpression<A> | Date | number;
+}
+interface DateMonth<A> {
+    $month: RefOrExpression<A> | Date | number;
+}
+interface DateWeekday<A> {
+    $weekday: RefOrExpression<A> | Date | number;
+}
+interface DateWeekOfYear<A> {
+    $weekOfYear: RefOrExpression<A> | Date | number;
+}
+interface DateDay<A> {
+    $day: RefOrExpression<A> | Date | number;
+}
+interface DateDayOfMonth<A> {
+    $dayOfMonth: RefOrExpression<A> | Date | number;
+}
+interface DateDayOfWeek<A> {
+    $dayOfWeek: RefOrExpression<A> | Date | number;
+}
+interface DateDayOfYear<A> {
+    $dayOfYear: RefOrExpression<A> | Date | number;
+}
+interface DateDiff<A> {
+    $dateDiff: [RefOrExpression<A> | Date | number, RefOrExpression<A> | Date | number, 'y' | 'M' | 'd' | 'h' | 'm' | 's'];
+}
+interface DateCeiling<A> {
+    $dateCeil: [RefOrExpression<A> | Date | number, 'y' | 'M' | 'd' | 'h' | 'm' | 's'];
+}
+interface DateFloor<A> {
+    $dateFloor: [RefOrExpression<A> | Date | number, 'y' | 'M' | 'd' | 'h' | 'm' | 's'];
+}
+type DateExpression<A> = DateYear<A> | DateMonth<A> | DateWeekday<A> | DateWeekOfYear<A> | DateDay<A> | DateDayOfYear<A> | DateDayOfMonth<A> | DateDayOfWeek<A> | DateDiff<A> | DateCeiling<A> | DateFloor<A>;
+interface StringConcat<A> {
+    $concat: StringType<A>[];
+}
+type StringExpression<A> = StringConcat<A>;
+interface GeoContains<A> {
+    $contains: [RefOrExpression<A> | Geo, RefOrExpression<A> | Geo];
+}
+interface GeoDistance<A> {
+    $distance: [RefOrExpression<A> | Geo, RefOrExpression<A> | Geo];
+}
+type GeoExpression<A> = GeoContains<A> | GeoDistance<A>;
+interface AggrCountExpression<A> {
+    $$count: RefOrExpression<A>;
+}
+interface AggrSumExpression<A> {
+    $$sum: RefOrExpression<A>;
+}
+interface AggrMaxExpression<A> {
+    $$max: RefOrExpression<A>;
+}
+interface AggrMinExpression<A> {
+    $$min: RefOrExpression<A>;
+}
+interface AggrAvgExpression<A> {
+    $$avg: RefOrExpression<A>;
+}
+export type AggrExpression<A> = AggrAvgExpression<A> | AggrCountExpression<A> | AggrSumExpression<A> | AggrMaxExpression<A> | AggrMinExpression<A>;
+export type Expression<A> = GeoExpression<A> | DateExpression<A> | LogicExpression<A> | BoolExpression<A> | CompareExpression<A> | MathExpression<A> | StringExpression<A> | AggrExpression<A>;
+export type ExpressionConstant = Geo | number | Date | string | boolean;
+export declare function isGeoExpression<A>(expression: any): expression is GeoExpression<A>;
+export declare function isDateExpression<A>(expression: any): expression is DateExpression<A>;
+export declare function isLogicExpression<A>(expression: any): expression is LogicExpression<A>;
+export declare function isBoolExpression<A>(expression: any): expression is BoolExpression<A>;
+export declare function isCompareExpression<A>(expression: any): expression is CompareExpression<A>;
+export declare function isMathExpression<A>(expression: any): expression is MathExpression<A>;
+export declare function isStringExpression<A>(expression: any): expression is StringExpression<A>;
+export declare function isAggrExpression<A>(expression: any): expression is AggrExpression<A>;
+export declare function isExpression<A>(expression: any): expression is Expression<A>;
+export declare function opMultipleParams(op: string): boolean;
+export declare function execOp(op: string, params: any, obscure?: boolean): ExpressionConstant;
+/**
+ * 检查一个表达式，并分析其涉及到的属性
+ * @param expression
+ * @returns {
+ *      '#current': [当前结点涉及的属性]
+ *      'node-1': [node-1结点上涉及的属性]
+ * }
+ */
+export declare function getAttrRefInExpression(expression: Expression<any>): Record<string, string[]>;
+export {};