oak-domain 2.4.1 → 2.4.3

package/lib/types/Entity.d.ts

@@ -1,11 +1,12 @@
+import { ReadOnlyAction } from '../actions/action';
 import { PrimaryKey, Sequence } from './DataType';
-type TriggerDataAttributeType = '$$triggerData$$';
-type TriggerTimestampAttributeType = '$$triggerTimestamp$$';
-type PrimaryKeyAttributeType = 'id';
-type CreateAtAttributeType = '$$createAt$$';
-type UpdateAtAttributeType = '$$updateAt$$';
-type DeleteAtAttributeType = '$$deleteAt$$';
-type SeqAttributeType = '$$seq$$';
+declare type TriggerDataAttributeType = '$$triggerData$$';
+declare type TriggerTimestampAttributeType = '$$triggerTimestamp$$';
+declare type PrimaryKeyAttributeType = 'id';
+declare type CreateAtAttributeType = '$$createAt$$';
+declare type UpdateAtAttributeType = '$$updateAt$$';
+declare type DeleteAtAttributeType = '$$deleteAt$$';
+declare type SeqAttributeType = '$$seq$$';
 export declare const TriggerDataAttribute = "$$triggerData$$";
 export declare const TriggerTimestampAttribute = "$$triggerTimestamp$$";
 export declare const PrimaryKeyAttribute = "id";
@@ -13,14 +14,14 @@ export declare const CreateAtAttribute = "$$createAt$$";
 export declare const UpdateAtAttribute = "$$updateAt$$";
 export declare const DeleteAtAttribute = "$$deleteAt$$";
 export declare const SeqAttribute = "$$seq$$";
-export type InstinctiveAttributes = PrimaryKeyAttributeType | CreateAtAttributeType | UpdateAtAttributeType | DeleteAtAttributeType | TriggerDataAttributeType | TriggerTimestampAttributeType | SeqAttributeType;
+export declare type InstinctiveAttributes = PrimaryKeyAttributeType | CreateAtAttributeType | UpdateAtAttributeType | DeleteAtAttributeType | TriggerDataAttributeType | TriggerTimestampAttributeType | SeqAttributeType;
 export declare const initinctiveAttributes: string[];
-type FilterPart<A extends string, F extends Object | undefined> = {
+declare type FilterPart<A extends string, F extends Object | undefined> = {
     filter?: A extends 'create' ? undefined : F;
     indexFrom?: A extends 'create' ? undefined : number;
     count?: A extends 'create' ? undefined : number;
 };
-export type SelectOption = {
+export declare type SelectOption = {
     dontCollect?: boolean;
     blockTrigger?: true;
     obscure?: boolean;
@@ -28,7 +29,7 @@ export type SelectOption = {
     includedDeleted?: true;
     dummy?: 1;
 };
-export type OperateOption = {
+export declare type OperateOption = {
     blockTrigger?: true;
     dontCollect?: boolean;
     dontCreateOper?: boolean;
@@ -38,13 +39,19 @@ export type OperateOption = {
     modiParentEntity?: string;
     dummy?: 1;
 };
-export type FormUpdateData<SH extends GeneralEntityShape> = Partial<{
+export declare type FormUpdateData<SH extends GeneralEntityShape> = Partial<{
     [K in keyof Omit<SH, InstinctiveAttributes>]: SH[K] | null;
 }>;
-export type FormCreateData<SH extends GeneralEntityShape> = Partial<Omit<SH, InstinctiveAttributes>> & {
+export declare type FormCreateData<SH extends GeneralEntityShape> = Partial<Omit<SH, InstinctiveAttributes>> & {
     id: string;
 };
-export type Operation<A extends string, D extends Projection, F extends Filter | undefined = undefined, S extends Sorter | undefined = undefined> = {
+export declare type Operation<A extends string, D extends Projection, F extends Filter | undefined = undefined, S extends Sorter | undefined = undefined> = {
+    id: string;
+    action: A;
+    data: D;
+    sorter?: S;
+} & FilterPart<A, F>;
+export declare type Selection<A extends ReadOnlyAction, D extends Projection, F extends Filter | undefined = undefined, S extends Sorter | undefined = undefined> = {
     id?: string;
     action: A;
     data: D;
@@ -60,14 +67,14 @@ export interface EntityShape {
 interface GeneralEntityShape extends EntityShape {
     [K: string]: any;
 }
-export type MakeAction<A extends string> = A;
+export declare type MakeAction<A extends string> = A;
 export interface EntityDef {
     Schema: GeneralEntityShape;
     OpSchema: GeneralEntityShape;
     Action: string;
     ParticularAction?: string;
-    Selection: Omit<Operation<'select', Projection, Filter, Sorter>, 'action'>;
-    Aggregation: Omit<DeduceAggregation<Projection, Filter, Sorter>, 'action'>;
+    Selection: Omit<Selection<'select', Projection, Filter, Sorter>, 'action'>;
+    Aggregation: DeduceAggregation<Projection, Filter, Sorter>;
     Operation: CUDOperation;
     Create: CreateOperation;
     CreateSingle: CreateSingleOperation;
@@ -82,79 +89,79 @@ export interface EntityDict {
 export interface OtmSubProjection extends Omit<Operation<'select', any, any, any>, 'action'> {
     $entity: string;
 }
-export type AggregationOp = `#max-${number}` | `#min-${number}` | `#avg-${number}` | `#count-${number}` | `#sum-${number}`;
-export type DeduceAggregationData<P extends Projection> = {
+export declare type AggregationOp = `#max-${number}` | `#min-${number}` | `#avg-${number}` | `#count-${number}` | `#sum-${number}`;
+export declare type DeduceAggregationData<P extends Projection> = {
     [A in AggregationOp]?: P;
 } & {
     '#aggr'?: P;
 };
-export type AggregationResult<SH extends GeneralEntityShape> = Array<{
+export declare type AggregationResult<SH extends GeneralEntityShape> = Array<{
     [A in AggregationOp]?: number | string;
 } & {
     '#data'?: Partial<SH>;
 }>;
-export type AttrFilter<SH extends GeneralEntityShape> = {
+export declare type AttrFilter<SH extends GeneralEntityShape> = {
     [K in keyof SH]?: any;
 };
-type SortAttr = {
+declare type SortAttr = {
     [K: string]: any;
 };
-type SorterItem = {
+declare type SorterItem = {
     $attr: SortAttr;
     $direction?: "asc" | "desc";
 };
-type Sorter = Array<SorterItem>;
-type Filter = {
+declare type Sorter = Array<SorterItem>;
+declare type Filter = {
     [K: string]: any;
 };
-type Projection = {
+declare type Projection = {
     [K: string]: any;
 };
-export type DeduceAggregation<P extends Projection, F extends Filter, S extends Sorter> = Omit<Operation<'aggregate', DeduceAggregationData<P>, F, S>, 'action'>;
-type CreateOperationData = {
+export declare type DeduceAggregation<P extends Projection, F extends Filter, S extends Sorter> = Omit<Selection<'aggregate', DeduceAggregationData<P>, F, S>, 'action'>;
+declare type CreateOperationData = {
     id: string;
     [K: string]: any;
 };
-type CreateSingleOperation = Operation<'create', CreateOperationData, undefined, undefined>;
-type CreateMultipleOperation = Operation<'create', Array<CreateOperationData>, undefined, undefined>;
-type CreateOperation = CreateSingleOperation | CreateMultipleOperation;
-type UpdateOperationData = {
+declare type CreateSingleOperation = Operation<'create', CreateOperationData, undefined, undefined>;
+declare type CreateMultipleOperation = Operation<'create', Array<CreateOperationData>, undefined, undefined>;
+declare type CreateOperation = CreateSingleOperation | CreateMultipleOperation;
+declare type UpdateOperationData = {
     id?: never;
     [k: string]: any;
 };
-export type UpdateOperation = Operation<string, UpdateOperationData, Filter, Sorter>;
-type RemoveOperationData = {
+export declare type UpdateOperation = Operation<string, UpdateOperationData, Filter, Sorter>;
+declare type RemoveOperationData = {
     [k: string]: any;
 };
-export type RemoveOperation = Operation<'remove', RemoveOperationData, Filter, Sorter>;
-export type CUDOperation = CreateOperation | UpdateOperation | RemoveOperation;
-export type CreateOpResult<ED extends EntityDict, T extends keyof ED> = {
+export declare type RemoveOperation = Operation<'remove', RemoveOperationData, Filter, Sorter>;
+export declare type CUDOperation = CreateOperation | UpdateOperation | RemoveOperation;
+export declare type CreateOpResult<ED extends EntityDict, T extends keyof ED> = {
     a: 'c';
     e: T;
     d: ED[T]['OpSchema'] | ED[T]['OpSchema'][];
 };
-export type UpdateOpResult<ED extends EntityDict, T extends keyof ED> = {
+export declare type UpdateOpResult<ED extends EntityDict, T extends keyof ED> = {
     a: 'u';
     e: T;
     d: UpdateOperationData;
     f?: Filter;
 };
-export type RemoveOpResult<ED extends EntityDict, T extends keyof ED> = {
+export declare type RemoveOpResult<ED extends EntityDict, T extends keyof ED> = {
     a: 'r';
     e: T;
     f?: Filter;
 };
-export type RelationHierarchy<R extends string> = {
+export declare type RelationHierarchy<R extends string> = {
     [K in R]?: R[];
 };
-export type CascadeRelationItem = {
+export declare type CascadeRelationItem = {
     cascadePath: string;
     relations?: string[];
 };
-export type CascadeRelationAuth<R extends string> = {
+export declare type CascadeRelationAuth<R extends string> = {
     [K in R]?: CascadeRelationItem | (CascadeRelationItem | CascadeRelationItem[])[];
 };
-export type SelectOpResult<ED extends EntityDict> = {
+export declare type SelectOpResult<ED extends EntityDict> = {
     a: 's';
     d: {
         [T in keyof ED]?: {
@@ -162,14 +169,14 @@ export type SelectOpResult<ED extends EntityDict> = {
         };
     };
 };
-export type OpRecord<ED extends EntityDict> = CreateOpResult<ED, keyof ED> | UpdateOpResult<ED, keyof ED> | RemoveOpResult<ED, keyof ED> | SelectOpResult<ED>;
-export type OperationResult<ED extends EntityDict> = {
+export declare type OpRecord<ED extends EntityDict> = CreateOpResult<ED, keyof ED> | UpdateOpResult<ED, keyof ED> | RemoveOpResult<ED, keyof ED> | SelectOpResult<ED>;
+export declare type OperationResult<ED extends EntityDict> = {
     [K in keyof ED]?: {
         [A in ED[K]['Action']]?: number;
     };
 };
-export type ActionType = 'readOnly' | 'appendOnly' | 'excludeUpdate' | 'excludeRemove' | 'crud';
-export type Configuration = {
+export declare type ActionType = 'readOnly' | 'appendOnly' | 'excludeUpdate' | 'excludeRemove' | 'crud';
+export declare type Configuration = {
     actionType?: ActionType;
     static?: boolean;
 };

package/lib/types/Exception.d.ts

@@ -5,6 +5,16 @@ export declare class OakException extends Error {
 }
 export declare class OakDataException extends OakException {
 }
+export declare class OakUniqueViolationException extends OakException {
+    rows: Array<{
+        id?: string;
+        attrs: string[];
+    }>;
+    constructor(rows: Array<{
+        id?: string;
+        attrs: string[];
+    }>, message?: string);
+}
 export declare class OakImportDataParseException extends OakException {
     line: number;
     header?: string;

package/lib/types/Exception.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.makeException = exports.OakDeadlock = exports.OakCongruentRowExists = exports.OakRowLockedException = exports.OakUnloggedInException = exports.OakUserUnpermittedException = exports.OakInputIllegalException = exports.OakRowInconsistencyException = exports.OakUserException = exports.OakExternalException = exports.OakRowUnexistedException = exports.OakOperExistedException = exports.OakImportDataParseException = exports.OakDataException = exports.OakException = void 0;
+exports.makeException = exports.OakDeadlock = exports.OakCongruentRowExists = exports.OakRowLockedException = exports.OakUnloggedInException = exports.OakUserUnpermittedException = exports.OakInputIllegalException = exports.OakRowInconsistencyException = exports.OakUserException = exports.OakExternalException = exports.OakRowUnexistedException = exports.OakOperExistedException = exports.OakImportDataParseException = exports.OakUniqueViolationException = exports.OakDataException = exports.OakException = void 0;
 var tslib_1 = require("tslib");
 var OakException = /** @class */ (function (_super) {
     tslib_1.__extends(OakException, _super);
@@ -36,6 +36,16 @@ var OakDataException = /** @class */ (function (_super) {
     return OakDataException;
 }(OakException));
 exports.OakDataException = OakDataException;
+var OakUniqueViolationException = /** @class */ (function (_super) {
+    tslib_1.__extends(OakUniqueViolationException, _super);
+    function OakUniqueViolationException(rows, message) {
+        var _this = _super.call(this, message || '您更新的数据违反了唯一性约束') || this;
+        _this.rows = rows;
+        return _this;
+    }
+    return OakUniqueViolationException;
+}(OakException));
+exports.OakUniqueViolationException = OakUniqueViolationException;
 var OakImportDataParseException = /** @class */ (function (_super) {
     tslib_1.__extends(OakImportDataParseException, _super);
     // message必传，描述具体错误的数据内容
@@ -257,6 +267,12 @@ function makeException(data) {
         case 'OakDeadlock': {
             return new OakDeadlock(data.message);
         }
+        case 'OakDataException': {
+            return new OakDataException(data.message);
+        }
+        case 'OakUniqueViolationException': {
+            return new OakUniqueViolationException(data.rows, data.message);
+        }
         case 'OakImportDataParseException': {
             return new OakImportDataParseException(data.message, data.line, data.header);
         }

package/lib/types/Expression.d.ts

@@ -1,8 +1,8 @@
 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;
+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>)[];
 }
@@ -30,8 +30,8 @@ interface Ceil<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;
+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>];
 }
@@ -59,14 +59,14 @@ interface EndsWith<A> {
 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>;
+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>;
 }
-type BoolExpression<A> = BoolTrue<A> | BoolFalse<A>;
+declare type BoolExpression<A> = BoolTrue<A> | BoolFalse<A>;
 interface LogicAnd<A> {
     $and: Expression<A>[];
 }
@@ -76,7 +76,7 @@ interface LogicOr<A> {
 interface LogicNot<A> {
     $not: Expression<A>;
 }
-type LogicExpression<A> = LogicAnd<A> | LogicOr<A> | LogicNot<A>;
+declare type LogicExpression<A> = LogicAnd<A> | LogicOr<A> | LogicNot<A>;
 interface DateYear<A> {
     $year: RefOrExpression<A> | Date | number;
 }
@@ -110,18 +110,18 @@ interface DateCeiling<A> {
 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>;
+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 StringConcat<A> {
     $concat: StringType<A>[];
 }
-type StringExpression<A> = StringConcat<A>;
+declare 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>;
+declare type GeoExpression<A> = GeoContains<A> | GeoDistance<A>;
 interface AggrCountExpression<A> {
     $$count: RefOrExpression<A>;
 }
@@ -137,9 +137,9 @@ interface AggrMinExpression<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 type AggrExpression<A> = AggrAvgExpression<A> | AggrCountExpression<A> | AggrSumExpression<A> | AggrMaxExpression<A> | AggrMinExpression<A>;
+export declare type Expression<A> = GeoExpression<A> | DateExpression<A> | LogicExpression<A> | BoolExpression<A> | CompareExpression<A> | MathExpression<A> | StringExpression<A> | AggrExpression<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>;

package/lib/types/Geo.d.ts

@@ -1,8 +1,8 @@
-export type Point = [number, number];
-export type Path = Array<Point>;
-export type Polygon = Array<Path>;
-export type Circle = [Point, number];
-export type SingleGeo = {
+export declare type Point = [number, number];
+export declare type Path = Array<Point>;
+export declare type Polygon = Array<Path>;
+export declare type Circle = [Point, number];
+export declare type SingleGeo = {
     type: 'point';
     coordinate: Point;
 } | {
@@ -15,4 +15,4 @@ export type SingleGeo = {
     type: 'circle';
     coordinate: Circle;
 };
-export type Geo = SingleGeo | SingleGeo[];
+export declare type Geo = SingleGeo | SingleGeo[];

package/lib/types/Locale.d.ts

@@ -1,17 +1,17 @@
 import { EntityShape } from "./Entity";
-type Language = 'zh_CN' | 'en_US';
-type LocaleOfSchema<S extends Record<string, any>> = {
+declare type Language = 'zh_CN' | 'en_US';
+declare type LocaleOfSchema<S extends Record<string, any>> = {
     [A in keyof Required<Omit<S, keyof EntityShape>>]: string;
 };
-type LocaleOfStringEnum<A extends string> = {
+declare type LocaleOfStringEnum<A extends string> = {
     [K in A]: string;
 };
-type LocaleOfValue<V extends Record<string, string>> = {
+declare type LocaleOfValue<V extends Record<string, string>> = {
     [K in keyof V]: {
         [K2 in V[K]]: string;
     };
 };
-export type LocaleDef<Sc extends Record<string, any>, Ac extends string, R extends string, V extends Record<string, string>> = {
+export declare type LocaleDef<Sc extends Record<string, any>, Ac extends string, R extends string, V extends Record<string, string>> = {
     [L in Language]?: {
         attr: LocaleOfSchema<Sc> & {
             [A in keyof V]: string;

package/lib/types/Polyfill.d.ts

@@ -1,23 +1,23 @@
-export type OmitInferKey<T, R> = {
+export declare type OmitInferKey<T, R> = {
     [K in keyof T as T extends R ? never : K]: T[K];
 };
-export type OmitInferValue<T, R> = {
+export declare type OmitInferValue<T, R> = {
     [K in keyof T as T extends R ? never : K]: T[K];
 };
-export type ValueOf<Obj> = Obj[keyof Obj];
-export type OneOnly<Obj, Key extends keyof Obj> = {
+export declare type ValueOf<Obj> = Obj[keyof Obj];
+export declare type OneOnly<Obj, Key extends keyof Obj> = {
     [key in Exclude<keyof Obj, Key>]?: undefined;
 } & Pick<Obj, Key>;
-export type OneOfByKey<Obj> = {
+export declare type OneOfByKey<Obj> = {
     [key in keyof Obj]: OneOnly<Obj, key>;
 };
-export type OneOf<Obj> = ValueOf<OneOfByKey<Obj>>;
-type IsOptional<T, K extends keyof T> = {
+export declare type OneOf<Obj> = ValueOf<OneOfByKey<Obj>>;
+declare type IsOptional<T, K extends keyof T> = {
     [K1 in Exclude<keyof T, K>]: T[K1];
 } & {
     K?: T[K];
 } extends T ? K : never;
-export type OptionalKeys<T> = {
+export declare type OptionalKeys<T> = {
     [K in keyof T]: IsOptional<T, K>;
 }[keyof T];
 export {};

package/lib/types/Port.d.ts

@@ -1,6 +1,6 @@
 import { AsyncContext } from "../store/AsyncRowStore";
 import { EntityDict } from "./Entity";
-export type Exportation<ED extends EntityDict, T extends keyof ED, K extends string> = {
+export declare type Exportation<ED extends EntityDict, T extends keyof ED, K extends string> = {
     name: string;
     id: string;
     entity: T;
@@ -8,7 +8,7 @@ export type Exportation<ED extends EntityDict, T extends keyof ED, K extends str
     headers: K[];
     fn: (data: ED[T]['Schema']) => Partial<Record<K, string | number | boolean | null>>;
 };
-export type Importation<ED extends EntityDict, T extends keyof ED, K extends string> = {
+export declare type Importation<ED extends EntityDict, T extends keyof ED, K extends string> = {
     name: string;
     id: string;
     entity: T;

package/lib/types/RowStore.d.ts

@@ -1,6 +1,6 @@
 import { OperationResult, EntityDict } from './Entity';
 import { StorageSchema } from './Storage';
-export type TxnOption = {
+export declare type TxnOption = {
     isolationLevel: 'repeatable read' | 'serializable';
 };
 export declare abstract class RowStore<ED extends EntityDict> {

package/lib/types/Storage.d.ts

@@ -1,7 +1,7 @@
 import { ActionType } from '.';
 import { EntityDict, EntityShape, InstinctiveAttributes } from './Entity';
 import { DataType, DataTypeParams } from './schema/DataTypes';
-export type Ref = 'ref';
+export declare type Ref = 'ref';
 export interface Column<SH extends EntityShape> {
     name: keyof SH | `${string}State`;
     size?: number;
@@ -27,12 +27,12 @@ export interface Attribute {
     unique?: boolean;
     sequenceStart?: number;
 }
-export type Attributes<SH extends EntityShape> = Omit<{
+export declare type Attributes<SH extends EntityShape> = Omit<{
     [attrName in keyof SH]: Attribute;
 }, InstinctiveAttributes>;
 export interface EntityConfig {
 }
-export type UniqConstraint<SH extends EntityShape> = {
+export declare type UniqConstraint<SH extends EntityShape> = {
     attributes: Array<keyof SH>;
     type?: string;
 };
@@ -51,6 +51,6 @@ export interface StorageDesc<SH extends EntityShape> {
     relation?: string[];
     view?: true;
 }
-export type StorageSchema<ED extends EntityDict> = {
+export declare type StorageSchema<ED extends EntityDict> = {
     [K in keyof ED]: StorageDesc<ED[K]['OpSchema']>;
 };

package/lib/types/Timer.d.ts

@@ -1,11 +1,11 @@
 import { EntityDict } from './Entity';
 import { AsyncContext } from "../store/AsyncRowStore";
-type RoutineFn<ED extends EntityDict, Cxt extends AsyncContext<ED>> = (context: Cxt) => Promise<string>;
-export type Routine<ED extends EntityDict, Cxt extends AsyncContext<ED>> = {
+declare type RoutineFn<ED extends EntityDict, Cxt extends AsyncContext<ED>> = (context: Cxt) => Promise<string>;
+export declare type Routine<ED extends EntityDict, Cxt extends AsyncContext<ED>> = {
     name: string;
     fn: RoutineFn<ED, Cxt>;
 };
-export type Timer<ED extends EntityDict, Cxt extends AsyncContext<ED>> = {
+export declare type Timer<ED extends EntityDict, Cxt extends AsyncContext<ED>> = {
     name: string;
     cron: string;
     fn: RoutineFn<ED, Cxt>;

package/lib/types/Trigger.d.ts

@@ -24,7 +24,7 @@ export interface CreateTriggerCrossTxn<ED extends EntityDict, T extends keyof ED
     when: 'commit';
     strict?: 'takeEasy' | 'makeSure';
 }
-export type CreateTrigger<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED> | SyncContext<ED>> = CreateTriggerInTxn<ED, T, Cxt> | CreateTriggerCrossTxn<ED, T, Cxt>;
+export declare type CreateTrigger<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED> | SyncContext<ED>> = CreateTriggerInTxn<ED, T, Cxt> | CreateTriggerCrossTxn<ED, T, Cxt>;
 /**
  * update trigger如果带有filter，说明只对存在限定条件的行起作用。此时系统在进行相应动作时，
  * 会判定当前动作的filter条件和trigger所定义的filter是否有交集（即有同时满足两个条件的行）
@@ -46,7 +46,7 @@ export interface UpdateTriggerCrossTxn<ED extends EntityDict, T extends keyof ED
     when: 'commit';
     strict?: 'takeEasy' | 'makeSure';
 }
-export type UpdateTrigger<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED> | SyncContext<ED>> = UpdateTriggerInTxn<ED, T, Cxt> | UpdateTriggerCrossTxn<ED, T, Cxt>;
+export declare type UpdateTrigger<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED> | SyncContext<ED>> = UpdateTriggerInTxn<ED, T, Cxt> | UpdateTriggerCrossTxn<ED, T, Cxt>;
 /**
  * 同update trigger一样，remove trigger如果带有filter，说明只对存在限定条件的行起作用。此时系统在进行相应动作时，
  * 会判定当前动作的filter条件和trigger所定义的filter是否有交集（即有同时满足两个条件的行）
@@ -67,7 +67,7 @@ export interface RemoveTriggerCrossTxn<ED extends EntityDict, T extends keyof ED
     when: 'commit';
     strict?: 'takeEasy' | 'makeSure';
 }
-export type RemoveTrigger<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED> | SyncContext<ED>> = RemoveTriggerInTxn<ED, T, Cxt> | RemoveTriggerCrossTxn<ED, T, Cxt>;
+export declare type RemoveTrigger<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED> | SyncContext<ED>> = RemoveTriggerInTxn<ED, T, Cxt> | RemoveTriggerCrossTxn<ED, T, Cxt>;
 export interface SelectTriggerBase<ED extends EntityDict, T extends keyof ED> extends TriggerBase<ED, T> {
     action: 'select';
 }
@@ -88,8 +88,8 @@ export interface SelectTriggerAfter<ED extends EntityDict, T extends keyof ED, C
         result: Partial<ED[T]['Schema']>[];
     }, context: Cxt, params?: SelectOption) => Promise<number> | number;
 }
-export type SelectTrigger<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED> | SyncContext<ED>> = SelectTriggerBefore<ED, T, Cxt> | SelectTriggerAfter<ED, T, Cxt>;
-export type Trigger<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED> | SyncContext<ED>> = CreateTrigger<ED, T, Cxt> | UpdateTrigger<ED, T, Cxt> | RemoveTrigger<ED, T, Cxt> | SelectTrigger<ED, T, Cxt>;
+export declare type SelectTrigger<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED> | SyncContext<ED>> = SelectTriggerBefore<ED, T, Cxt> | SelectTriggerAfter<ED, T, Cxt>;
+export declare type Trigger<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED> | SyncContext<ED>> = CreateTrigger<ED, T, Cxt> | UpdateTrigger<ED, T, Cxt> | RemoveTrigger<ED, T, Cxt> | SelectTrigger<ED, T, Cxt>;
 export interface TriggerEntityShape extends EntityShape {
     $$triggerData$$?: {
         name: string;

package/lib/types/Watcher.d.ts

@@ -1,6 +1,6 @@
 import { AsyncContext } from "../store/AsyncRowStore";
 import { EntityDict, OperationResult } from "./Entity";
-type ActionData<ED extends EntityDict, T extends keyof ED> = ED[T]['Update']['data'] | ED[T]['Remove']['data'];
+declare type ActionData<ED extends EntityDict, T extends keyof ED> = ED[T]['Update']['data'] | ED[T]['Remove']['data'];
 export interface BBWatcher<ED extends EntityDict, T extends keyof ED> {
     name: string;
     entity: T;
@@ -15,5 +15,5 @@ export interface WBWatcher<ED extends EntityDict, T extends keyof ED, Cxt extend
     projection: ED[T]['Selection']['data'] | (() => Promise<ED[T]['Selection']['data']>);
     fn: (context: Cxt, data: Partial<ED[T]['Schema']>[]) => Promise<OperationResult<ED>>;
 }
-export type Watcher<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED>> = BBWatcher<ED, T> | WBWatcher<ED, T, Cxt>;
+export declare type Watcher<ED extends EntityDict, T extends keyof ED, Cxt extends AsyncContext<ED>> = BBWatcher<ED, T> | WBWatcher<ED, T, Cxt>;
 export {};

package/lib/types/schema/DataTypes.d.ts

@@ -1,28 +1,28 @@
 /**
  * Column types used for @PrimaryGeneratedColumn() decorator.
  */
-export type PrimaryGeneratedColumnType = "int" | "int2" | "int4" | "int8" | "integer" | "tinyint" | "smallint" | "mediumint" | "bigint" | "dec" | "decimal" | "smalldecimal" | "fixed" | "numeric" | "number";
+export declare type PrimaryGeneratedColumnType = "int" | "int2" | "int4" | "int8" | "integer" | "tinyint" | "smallint" | "mediumint" | "bigint" | "dec" | "decimal" | "smalldecimal" | "fixed" | "numeric" | "number";
 /**
  * Column types where spatial properties are used.
  */
-export type SpatialColumnType = "geometry" | "geography" | "st_geometry" | "st_point";
+export declare type SpatialColumnType = "geometry" | "geography" | "st_geometry" | "st_point";
 /**
  * Column types where precision and scale properties are used.
  */
-export type WithPrecisionColumnType = "float" | "double" | "dec" | "decimal" | "smalldecimal" | "fixed" | "numeric" | "real" | "double precision" | "number" | "datetime" | "datetime2" | "datetimeoffset" | "time" | "time with time zone" | "time without time zone" | "timestamp" | "timestamp without time zone" | "timestamp with time zone" | "timestamp with local time zone";
+export declare type WithPrecisionColumnType = "float" | "double" | "dec" | "decimal" | "smalldecimal" | "fixed" | "numeric" | "real" | "double precision" | "number" | "datetime" | "datetime2" | "datetimeoffset" | "time" | "time with time zone" | "time without time zone" | "timestamp" | "timestamp without time zone" | "timestamp with time zone" | "timestamp with local time zone";
 /**
  * Column types where column length is used.
  */
-export type WithLengthColumnType = "character varying" | "varying character" | "char varying" | "nvarchar" | "national varchar" | "character" | "native character" | "varchar" | "char" | "nchar" | "national char" | "varchar2" | "nvarchar2" | "alphanum" | "shorttext" | "raw" | "binary" | "varbinary" | "string";
-export type WithWidthColumnType = "tinyint" | "smallint" | "mediumint" | "int" | "bigint";
+export declare type WithLengthColumnType = "character varying" | "varying character" | "char varying" | "nvarchar" | "national varchar" | "character" | "native character" | "varchar" | "char" | "nchar" | "national char" | "varchar2" | "nvarchar2" | "alphanum" | "shorttext" | "raw" | "binary" | "varbinary" | "string";
+export declare type WithWidthColumnType = "tinyint" | "smallint" | "mediumint" | "int" | "bigint";
 /**
  * All other regular column types.
  */
-export type SimpleColumnType = "simple-array" | "simple-json" | "simple-enum" | "int2" | "integer" | "int4" | "int8" | "int64" | "unsigned big int" | "float" | "float4" | "float8" | "smallmoney" | "money" | "boolean" | "bool" | "tinyblob" | "tinytext" | "mediumblob" | "mediumtext" | "blob" | "text" | "ntext" | "citext" | "hstore" | "longblob" | "longtext" | "alphanum" | "shorttext" | "bytes" | "bytea" | "long" | "raw" | "long raw" | "bfile" | "clob" | "nclob" | "image" | "timetz" | "timestamptz" | "timestamp with local time zone" | "smalldatetime" | "date" | "interval year to month" | "interval day to second" | "interval" | "year" | "seconddate" | "point" | "line" | "lseg" | "box" | "circle" | "path" | "polygon" | "geography" | "geometry" | "linestring" | "multipoint" | "multilinestring" | "multipolygon" | "geometrycollection" | "st_geometry" | "st_point" | "int4range" | "int8range" | "numrange" | "tsrange" | "tstzrange" | "daterange" | "enum" | "set" | "cidr" | "inet" | "macaddr" | "bit" | "bit varying" | "varbit" | "tsvector" | "tsquery" | "uuid" | "xml" | "json" | "jsonb" | "varbinary" | "hierarchyid" | "sql_variant" | "rowid" | "urowid" | "uniqueidentifier" | "rowversion" | "array" | "cube" | "ltree" | "object" | "array" | "function" | "sequence";
+export declare type SimpleColumnType = "simple-array" | "simple-json" | "simple-enum" | "int2" | "integer" | "int4" | "int8" | "int64" | "unsigned big int" | "float" | "float4" | "float8" | "smallmoney" | "money" | "boolean" | "bool" | "tinyblob" | "tinytext" | "mediumblob" | "mediumtext" | "blob" | "text" | "ntext" | "citext" | "hstore" | "longblob" | "longtext" | "alphanum" | "shorttext" | "bytes" | "bytea" | "long" | "raw" | "long raw" | "bfile" | "clob" | "nclob" | "image" | "timetz" | "timestamptz" | "timestamp with local time zone" | "smalldatetime" | "date" | "interval year to month" | "interval day to second" | "interval" | "year" | "seconddate" | "point" | "line" | "lseg" | "box" | "circle" | "path" | "polygon" | "geography" | "geometry" | "linestring" | "multipoint" | "multilinestring" | "multipolygon" | "geometrycollection" | "st_geometry" | "st_point" | "int4range" | "int8range" | "numrange" | "tsrange" | "tstzrange" | "daterange" | "enum" | "set" | "cidr" | "inet" | "macaddr" | "bit" | "bit varying" | "varbit" | "tsvector" | "tsquery" | "uuid" | "xml" | "json" | "jsonb" | "varbinary" | "hierarchyid" | "sql_variant" | "rowid" | "urowid" | "uniqueidentifier" | "rowversion" | "array" | "cube" | "ltree" | "object" | "array" | "function" | "sequence";
 /**
  * Any column type column can be.
  */
-export type DataType = WithPrecisionColumnType | WithLengthColumnType | WithWidthColumnType | SpatialColumnType | SimpleColumnType;
+export declare type DataType = WithPrecisionColumnType | WithLengthColumnType | WithWidthColumnType | SpatialColumnType | SimpleColumnType;
 export interface DataTypeParams {
     length?: number;
     width?: number;

package/lib/utils/concurrent.d.ts

@@ -1,4 +1,4 @@
-type Mode = 'S' | 'X';
+declare type Mode = 'S' | 'X';
 /**
  * 模拟一个读写锁，用于同步。
  * 注意，千万不要发生自己等自己

package/lib/utils/uuid.d.ts

@@ -3,7 +3,7 @@ export declare function sequentialUuid({ random }: {
 }): string;
 export declare function shrinkUuidTo32Bytes(uuid: string): string;
 export declare function expandUuidTo36Bytes(uuidShrinked: string): string;
-export type GenerateIdOption = {
+export declare type GenerateIdOption = {
     shuffle?: boolean;
 };
 export declare function generateNewIdAsync(option?: GenerateIdOption): Promise<string>;

package/lib/utils/uuid.js

@@ -105,7 +105,7 @@ function sequentialUuid(_a) {
 }
 exports.sequentialUuid = sequentialUuid;
 function shrinkUuidTo32Bytes(uuid) {
-    return uuid.replaceAll('-', '');
+    return uuid.replace(/\-/g, '');
 }
 exports.shrinkUuidTo32Bytes = shrinkUuidTo32Bytes;
 function expandUuidTo36Bytes(uuidShrinked) {