@ddd-ts/shape 0.0.7 → 0.0.9
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/_.d.ts +5 -4
- package/dist/_.d.ts.map +1 -1
- package/dist/_.js +6 -2
- package/dist/_.js.map +1 -1
- package/dist/class.d.ts +1 -0
- package/dist/class.d.ts.map +1 -1
- package/dist/class.js +1 -0
- package/dist/class.js.map +1 -1
- package/dist/dict.d.ts +11 -10
- package/dist/dict.d.ts.map +1 -1
- package/dist/dict.js +4 -3
- package/dist/dict.js.map +1 -1
- package/dist/dict.spec.js +5 -5
- package/dist/dict.spec.js.map +1 -1
- package/dist/discriminated-union.d.ts +61 -0
- package/dist/discriminated-union.d.ts.map +1 -0
- package/dist/discriminated-union.js +97 -0
- package/dist/discriminated-union.js.map +1 -0
- package/dist/discriminated-union.spec.d.ts +2 -0
- package/dist/discriminated-union.spec.d.ts.map +1 -0
- package/dist/discriminated-union.spec.js +249 -0
- package/dist/discriminated-union.spec.js.map +1 -0
- package/dist/either.d.ts +2 -2
- package/dist/either.d.ts.map +1 -1
- package/dist/index.d.ts +2 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -0
- package/dist/index.js.map +1 -1
- package/dist/literal.d.ts +12 -35
- package/dist/literal.d.ts.map +1 -1
- package/dist/literal.js +6 -9
- package/dist/literal.js.map +1 -1
- package/dist/literal.spec.js +10 -10
- package/dist/literal.spec.js.map +1 -1
- package/dist/mapping.d.ts.map +1 -1
- package/dist/mapping.js +2 -2
- package/dist/mapping.js.map +1 -1
- package/dist/mapping.spec.js +4 -4
- package/dist/mapping.spec.js.map +1 -1
- package/dist/multiple.d.ts +1 -1
- package/dist/multiple.d.ts.map +1 -1
- package/dist/multiple.js.map +1 -1
- package/dist/primitive.d.ts +40 -0
- package/dist/primitive.d.ts.map +1 -0
- package/dist/primitive.js +30 -0
- package/dist/primitive.js.map +1 -0
- package/dist/primitive.spec.d.ts +2 -0
- package/dist/primitive.spec.d.ts.map +1 -0
- package/dist/primitive.spec.js +162 -0
- package/dist/primitive.spec.js.map +1 -0
- package/package.json +4 -4
package/dist/_.d.ts
CHANGED
|
@@ -1,8 +1,9 @@
|
|
|
1
1
|
import { Class, ClassShorthand } from "./class";
|
|
2
2
|
import { Dict, DictShorthand } from "./dict";
|
|
3
|
-
import {
|
|
3
|
+
import { Primitive, PrimitiveShorthand } from "./primitive";
|
|
4
4
|
import { Multiple, MultipleShorthand } from "./multiple";
|
|
5
5
|
import { Nothing, NothingShorthand } from "./nothing";
|
|
6
|
+
import { Literal, LiteralShorthand } from "./literal";
|
|
6
7
|
export declare abstract class Empty {
|
|
7
8
|
}
|
|
8
9
|
export interface Constructor<T = any, P extends any[] = any[]> {
|
|
@@ -19,9 +20,9 @@ export type MakeAbstract<T> = T extends new (...params: infer P) => infer R ? Om
|
|
|
19
20
|
export type Concrete<T extends AbstractConstructor<any>> = T extends abstract new (...params: infer P) => infer R ? Omit<T, ""> & {
|
|
20
21
|
new (...params: P): R;
|
|
21
22
|
} : never;
|
|
22
|
-
export type Shorthand = Definition | DictShorthand |
|
|
23
|
-
export type DefinitionOf<T extends Shorthand | Definition, B extends AbstractConstructor<{}> = typeof Empty> = T extends LiteralShorthand ? ReturnType<typeof Literal<T, B>> : T extends undefined ? ReturnType<typeof Nothing<B>> : T extends
|
|
24
|
-
export declare function Shape<S extends Definition | Shorthand, B extends AbstractConstructor<{}> = typeof Empty>(shorthand: S, base?: B): DefinitionOf<S, B>;
|
|
23
|
+
export type Shorthand = Definition | DictShorthand | PrimitiveShorthand | MultipleShorthand | NothingShorthand | ClassShorthand | LiteralShorthand;
|
|
24
|
+
export type DefinitionOf<T extends Shorthand | Definition, B extends AbstractConstructor<{}> = typeof Empty> = T extends LiteralShorthand ? ReturnType<typeof Literal<T, B>> : T extends undefined ? ReturnType<typeof Nothing<B>> : T extends PrimitiveShorthand ? ReturnType<typeof Primitive<T, B>> : T extends MultipleShorthand ? ReturnType<typeof Multiple<T[0], B>> : T extends ClassShorthand ? ReturnType<typeof Class<T, B>> : T extends Definition ? T : T extends DictShorthand ? ReturnType<typeof Dict<T, B>> : never;
|
|
25
|
+
export declare function Shape<const S extends Definition | Shorthand, B extends AbstractConstructor<{}> = typeof Empty>(shorthand: S, base?: B): DefinitionOf<S, B>;
|
|
25
26
|
export type Expand<T> = T extends {
|
|
26
27
|
serialize(): any;
|
|
27
28
|
} ? T : T extends Date ? T : T extends Record<string, any> ? {
|
package/dist/_.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"_.d.ts","sourceRoot":"","sources":["../src/_.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"_.d.ts","sourceRoot":"","sources":["../src/_.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AACtD,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAEtD,8BAAsB,KAAK;CAAG;AAE9B,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE;IAC3D,KAAK,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;CACrB;AACD,MAAM,MAAM,mBAAmB,CAC7B,CAAC,GAAG,GAAG,EACP,CAAC,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,IACrB,QAAQ,MAAM,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC;AAEnC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,GAAG,CAAC;IACb,UAAU,CAAC,KAAK,EAAE,GAAG,GAAG,GAAG,CAAC;IAC5B,YAAY,CAAC,KAAK,EAAE,GAAG,GAAG,GAAG,CAAC;CAC/B;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,KACtC,GAAG,MAAM,EAAE,MAAM,CAAC,KACf,MAAM,CAAC,GACR,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,MAAM,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,GAChD,KAAK,CAAC;AAEV,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,mBAAmB,CAAC,GAAG,CAAC,IACrD,CAAC,SAAS,QAAQ,MAChB,GAAG,MAAM,EAAE,MAAM,CAAC,KACf,MAAM,CAAC,GACR,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;IACZ,KAAK,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC;CACvB,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,SAAS,GACjB,UAAU,GACV,aAAa,GACb,kBAAkB,GAClB,iBAAiB,GACjB,gBAAgB,GAChB,cAAc,GACd,gBAAgB,CAAC;AAErB,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,SAAS,GAAG,UAAU,EAChC,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,GAAG,OAAO,KAAK,IAC9C,CAAC,SAAS,gBAAgB,GAC1B,UAAU,CAAC,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,SAAS,GACjB,UAAU,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,kBAAkB,GAC1B,UAAU,CAAC,OAAO,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAClC,CAAC,SAAS,iBAAiB,GACzB,UAAU,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACpC,CAAC,SAAS,cAAc,GACtB,UAAU,CAAC,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC9B,CAAC,SAAS,UAAU,GAClB,CAAC,GACD,CAAC,SAAS,aAAa,GACrB,UAAU,CAAC,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC7B,KAAK,CAAC;AAEtB,wBAAgB,KAAK,CACnB,KAAK,CAAC,CAAC,SAAS,UAAU,GAAG,SAAS,EACtC,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,GAAG,OAAO,KAAK,EAChD,SAAS,EAAE,CAAC,EAAE,IAAI,GAAE,CAAgB,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAqC1D;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,SAAS,IAAI,GAAG,CAAA;CAAE,GAClD,CAAC,GACD,CAAC,SAAS,IAAI,GACZ,CAAC,GACD,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAC3B;KAAG,GAAG,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;CAAE,GACpC,CAAC,CAAC;AAEV,wBAAgB,OAAO,CACrB,CAAC,SAAS,mBAAmB,CAAC;IAAE,KAAK,EAAE,GAAG,CAAA;CAAE,CAAC,EAC7C,KAAK,CAAC,OAAO,SAAS,CAAC,SAAS,mBAAmB,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,CAAC,GACnE,CAAC,MAAM,CAAC,CAAC,EAAE,GACX,KAAK,EAET,IAAI,EAAE,CAAC,EACP,OAAO,EAAE,OAAO,GACf,YAAY,CACb,CAAC,GACC,CAAC,KACC,GAAG,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAC9B,YAAY,CAAC,CAAC,CAAC,GAAG;KACpB,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC,CACL,CASA;AAED,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,mBAAmB,EAC7B,OAAO,SAAS,mBAAmB,IACjC,QAAQ,MACV,GAAG,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAC,KACpC,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC"}
|
package/dist/_.js
CHANGED
|
@@ -3,13 +3,17 @@ Object.defineProperty(exports, "__esModule", { value: true });
|
|
|
3
3
|
exports.forward = exports.Shape = exports.Empty = void 0;
|
|
4
4
|
const class_1 = require("./class");
|
|
5
5
|
const dict_1 = require("./dict");
|
|
6
|
-
const
|
|
6
|
+
const primitive_1 = require("./primitive");
|
|
7
7
|
const multiple_1 = require("./multiple");
|
|
8
8
|
const nothing_1 = require("./nothing");
|
|
9
|
+
const literal_1 = require("./literal");
|
|
9
10
|
class Empty {
|
|
10
11
|
}
|
|
11
12
|
exports.Empty = Empty;
|
|
12
13
|
function Shape(shorthand, base = Empty) {
|
|
14
|
+
if (typeof shorthand === "string" || typeof shorthand === "number") {
|
|
15
|
+
return (0, literal_1.Literal)(shorthand, base);
|
|
16
|
+
}
|
|
13
17
|
if (shorthand &&
|
|
14
18
|
"$name" in shorthand &&
|
|
15
19
|
"name" in shorthand &&
|
|
@@ -23,7 +27,7 @@ function Shape(shorthand, base = Empty) {
|
|
|
23
27
|
return (0, nothing_1.Nothing)(undefined, base);
|
|
24
28
|
}
|
|
25
29
|
if ([String, Number, Date, Boolean].includes(shorthand)) {
|
|
26
|
-
return (0,
|
|
30
|
+
return (0, primitive_1.Primitive)(shorthand, base);
|
|
27
31
|
}
|
|
28
32
|
if (shorthand && "prototype" in shorthand) {
|
|
29
33
|
return (0, class_1.Class)(shorthand, base);
|
package/dist/_.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"_.js","sourceRoot":"","sources":["../src/_.ts"],"names":[],"mappings":";;;AAAA,mCAAgD;AAChD,iCAA6C;AAC7C,
|
|
1
|
+
{"version":3,"file":"_.js","sourceRoot":"","sources":["../src/_.ts"],"names":[],"mappings":";;;AAAA,mCAAgD;AAChD,iCAA6C;AAC7C,2CAA4D;AAC5D,yCAAyD;AACzD,uCAAsD;AACtD,uCAAsD;AAEtD,MAAsB,KAAK;CAAG;AAA9B,sBAA8B;AA4D9B,SAAgB,KAAK,CAGnB,SAAY,EAAE,OAAU,KAAY;IACpC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QACnE,OAAO,IAAA,iBAAO,EAAC,SAAS,EAAE,IAAI,CAAQ,CAAC;IACzC,CAAC;IAED,IACE,SAAS;QACT,OAAO,IAAI,SAAS;QACpB,MAAM,IAAI,SAAS;QACnB,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;QACD,IAAK,SAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,OAAO,SAAgB,CAAC;QAC1B,CAAC;QACD,OAAO,IAAA,aAAK,EAAC,SAAgB,EAAE,IAAI,CAAQ,CAAC;IAC9C,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAA,iBAAO,EAAC,SAAS,EAAE,IAAI,CAAQ,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,SAAgB,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAA,qBAAS,EAAC,SAAgB,EAAE,IAAI,CAAQ,CAAC;IAClD,CAAC;IACD,IAAI,SAAS,IAAI,WAAW,IAAI,SAAS,EAAE,CAAC;QAC1C,OAAO,IAAA,aAAK,EAAC,SAAgB,EAAE,IAAI,CAAQ,CAAC;IAC9C,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,OAAQ,mBAAgB,CAAC,SAAS,CAAC,CAAC,CAAQ,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,IAAA,WAAI,EAAC,SAAgB,EAAE,IAAI,CAAQ,CAAC;IAC7C,CAAC;IAED,MAAM,IAAI,KAAK,CACb,+CAA+C,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAC3E,CAAC;AACJ,CAAC;AAxCD,sBAwCC;AAUD,SAAgB,OAAO,CAMrB,IAAO,EACP,OAAgB;IAShB,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE;YACzC,GAAG;gBACD,OAAQ,IAAI,CAAC,KAAa,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnD,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAW,CAAC;AACrB,CAAC;AAxBD,0BAwBC"}
|
package/dist/class.d.ts
CHANGED
|
@@ -13,6 +13,7 @@ export declare const Class: <S extends Constructor<{
|
|
|
13
13
|
serialize<T extends any>(this: T): Expand<ReturnType<InstanceType<S>["serialize"]>>;
|
|
14
14
|
}) & {
|
|
15
15
|
$name: "class";
|
|
16
|
+
$of: S;
|
|
16
17
|
deserialize<T_1 extends Constructor<any, any[]>>(this: T_1, value: Expand<ReturnType<InstanceType<S>["serialize"]>>): InstanceType<T_1>;
|
|
17
18
|
$deserialize(value: ReturnType<InstanceType<S>["serialize"]>): InstanceType<S>;
|
|
18
19
|
$serialize<T_2 extends any>(this: T_2, value: InstanceType<S>): ReturnType<InstanceType<S>["serialize"]>;
|
package/dist/class.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"class.d.ts","sourceRoot":"","sources":["../src/class.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,KAAK,CAAC;AAEtE,MAAM,MAAM,cAAc,GAAG,WAAW,CAAC;IAAE,SAAS,IAAI,GAAG,CAAA;CAAE,CAAC,GAAG;IAC/D,WAAW,CAAC,KAAK,EAAE,GAAG,GAAG,GAAG,CAAC;CAC9B,CAAC;AAEF,eAAO,MAAM,KAAK;iBACqB,GAAG;;uBACnB,GAAG,GAAG,GAAG;0DAI1B,CAAC,
|
|
1
|
+
{"version":3,"file":"class.d.ts","sourceRoot":"","sources":["../src/class.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,KAAK,CAAC;AAEtE,MAAM,MAAM,cAAc,GAAG,WAAW,CAAC;IAAE,SAAS,IAAI,GAAG,CAAA;CAAE,CAAC,GAAG;IAC/D,WAAW,CAAC,KAAK,EAAE,GAAG,GAAG,GAAG,CAAC;CAC9B,CAAC;AAEF,eAAO,MAAM,KAAK;iBACqB,GAAG;;uBACnB,GAAG,GAAG,GAAG;0DAI1B,CAAC,gDAWuB,aAAa,CAAC,CAAC;WAAf,aAAa,CAAC,CAAC;mCAWP,CAAC;;;;;;;;CAqBtC,CAAC"}
|
package/dist/class.js
CHANGED
package/dist/class.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"class.js","sourceRoot":"","sources":["../src/class.ts"],"names":[],"mappings":";;;AAAA,0BAAsE;AAM/D,MAAM,KAAK,GAAG,CAMnB,EAAK,EACL,IAAI,GAAG,QAAK,EACZ,EAAE;IAIF,MAAe,MAAO,SAAQ,IAAI;
|
|
1
|
+
{"version":3,"file":"class.js","sourceRoot":"","sources":["../src/class.ts"],"names":[],"mappings":";;;AAAA,0BAAsE;AAM/D,MAAM,KAAK,GAAG,CAMnB,EAAK,EACL,IAAI,GAAG,QAAK,EACZ,EAAE;IAIF,MAAe,MAAO,SAAQ,IAAI;QAKb;QAJnB,MAAM,CAAC,KAAK,GAAG,OAAgB,CAAC;QAEhC,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAEhB,YAAmB,KAAsB;YACvC,KAAK,EAAE,CAAC;YADS,UAAK,GAAL,KAAK,CAAiB;QAEzC,CAAC;QAED,MAAM,CAAC,WAAW,CAEhB,KAAyB;YAEzB,OAAO,IAAI,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAoB,CAAC;QAC5D,CAAC;QAED,SAAS;YACP,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,CAAC;QAED,MAAM,CAAC,YAAY,CAAC,KAAiB;YACnC,OAAO,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,MAAM,CAAC,UAAU,CAEf,KAAa;YAEb,OAAO,KAAK,CAAC,SAAS,EAAE,CAAC;QAC3B,CAAC;QAED,MAAM,CAAC,OAAO,CAAS;;IAKzB,OAAO,MAAe,CAAC;AACzB,CAAC,CAAC;AAjDW,QAAA,KAAK,SAiDhB"}
|
package/dist/dict.d.ts
CHANGED
|
@@ -2,17 +2,18 @@ import { DefinitionOf, Shorthand, Expand, AbstractConstructor, Constructor, Empt
|
|
|
2
2
|
export type DictShorthand = {
|
|
3
3
|
[key: string]: Shorthand;
|
|
4
4
|
};
|
|
5
|
-
export declare const Dict: <S extends {
|
|
5
|
+
export declare const Dict: <const S extends {
|
|
6
6
|
[key: string]: any;
|
|
7
|
-
}, B extends AbstractConstructor<{}> = typeof Empty>(
|
|
8
|
-
serialize(): Expand<{ [K in keyof S]: ReturnType<{ [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; }>;
|
|
7
|
+
}, B extends AbstractConstructor<{}> = typeof Empty>(of: S, base?: B) => Omit<B, ""> & Omit<(abstract new (...args: any[]) => {
|
|
8
|
+
serialize(): Expand<{ -readonly [K in keyof S]: ReturnType<{ -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; }>;
|
|
9
9
|
}) & {
|
|
10
10
|
$name: "dict";
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
$
|
|
14
|
-
$
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
11
|
+
$of: S;
|
|
12
|
+
deserialize<T extends Constructor<any, any[]>>(this: T, value: Expand<{ -readonly [K in keyof S]: ReturnType<{ -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; }>): InstanceType<T>;
|
|
13
|
+
$deserialize<T_1 extends any>(this: T_1, value: { -readonly [K in keyof S]: ReturnType<{ -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; }): { -readonly [K_2 in keyof { -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }]: { -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K_2]["$inline"]; };
|
|
14
|
+
$serialize<T_2 extends any>(this: T_2, value: InstanceType<T_2>): { -readonly [K in keyof S]: ReturnType<{ -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; };
|
|
15
|
+
$inline: { -readonly [K_2 in keyof { -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }]: { -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K_2]["$inline"]; };
|
|
16
|
+
}, ""> & (abstract new (value: Expand<{ -readonly [K_2 in keyof { -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }]: { -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K_2]["$inline"]; }>) => InstanceType<B> & {
|
|
17
|
+
serialize(): Expand<{ -readonly [K in keyof S]: ReturnType<{ -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; }>;
|
|
18
|
+
} & { -readonly [K_2 in keyof { -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }]: { -readonly [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K_2]["$inline"]; });
|
|
18
19
|
//# sourceMappingURL=dict.d.ts.map
|
package/dist/dict.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dict.d.ts","sourceRoot":"","sources":["../src/dict.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,SAAS,
|
|
1
|
+
{"version":3,"file":"dict.d.ts","sourceRoot":"","sources":["../src/dict.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,SAAS,EAET,MAAM,EACN,mBAAmB,EACnB,WAAW,EACX,KAAK,EACN,MAAM,KAAK,CAAC;AAEb,MAAM,MAAM,aAAa,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEzD,eAAO,MAAM,IAAI;;yDAIX,CAAC,SACC,CAAC,gDAegB,GAAG,EAAE;;;;;yDAUlB,CAAC,wIAEN,aAAa,CAAC,CAAC;;;;;;qKAyCrB,CAAC"}
|
package/dist/dict.js
CHANGED
|
@@ -2,9 +2,10 @@
|
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
3
|
exports.Dict = void 0;
|
|
4
4
|
const _1 = require("./_");
|
|
5
|
-
const Dict = (
|
|
5
|
+
const Dict = (of, base = _1.Empty) => {
|
|
6
6
|
class $Dict extends base {
|
|
7
7
|
static $name = "dict";
|
|
8
|
+
static $of = of;
|
|
8
9
|
constructor(...args) {
|
|
9
10
|
super();
|
|
10
11
|
Object.assign(this, args[0]);
|
|
@@ -17,7 +18,7 @@ const Dict = (definition, base = _1.Empty) => {
|
|
|
17
18
|
return new this(runtime);
|
|
18
19
|
}
|
|
19
20
|
static $deserialize(value) {
|
|
20
|
-
const split = Object.entries(
|
|
21
|
+
const split = Object.entries(of);
|
|
21
22
|
const transform = split.map(([key, child]) => {
|
|
22
23
|
const longhand = (0, _1.Shape)(child);
|
|
23
24
|
const deserialized = longhand.$deserialize(value[key]);
|
|
@@ -27,7 +28,7 @@ const Dict = (definition, base = _1.Empty) => {
|
|
|
27
28
|
return merge;
|
|
28
29
|
}
|
|
29
30
|
static $serialize(value) {
|
|
30
|
-
const split = Object.entries(
|
|
31
|
+
const split = Object.entries(of);
|
|
31
32
|
const transform = split.map(([key, child]) => {
|
|
32
33
|
const longhand = (0, _1.Shape)(child);
|
|
33
34
|
const serialized = longhand.$serialize(value[key]);
|
package/dist/dict.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dict.js","sourceRoot":"","sources":["../src/dict.ts"],"names":[],"mappings":";;;AAAA,
|
|
1
|
+
{"version":3,"file":"dict.js","sourceRoot":"","sources":["../src/dict.ts"],"names":[],"mappings":";;;AAAA,0BAQa;AAIN,MAAM,IAAI,GAAG,CAIlB,EAAK,EACL,OAAU,QAAY,EACtB,EAAE;IAUF,MAAe,KAAM,SAAS,IAAuC;QACnE,MAAM,CAAC,KAAK,GAAG,MAAe,CAAC;QAC/B,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAEhB,YAAY,GAAG,IAAW;YACxB,KAAK,EAAE,CAAC;YACR,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,CAAC;QAED,SAAS;YACP,OAAO,KAAK,CAAC,UAAU,CAAC,IAAW,CAAQ,CAAC;QAC9C,CAAC;QAED,MAAM,CAAC,WAAW,CAEhB,KAAyB;YAEzB,MAAM,OAAO,GAAI,IAAY,CAAC,YAAY,CAAC,KAAY,CAAC,CAAC;YACzD,OAAO,IAAI,IAAI,CAAC,OAAc,CAAQ,CAAC;QACzC,CAAC;QAED,MAAM,CAAC,YAAY,CAEjB,KAAiB;YAEjB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACjC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;gBAC3C,MAAM,QAAQ,GAAG,IAAA,QAAK,EAAC,KAAK,CAAQ,CAAC;gBACrC,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAE,KAAa,CAAC,GAAG,CAAC,CAAC,CAAC;gBAChE,OAAO,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;YAC7B,CAAC,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAC5C,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,CAAC,UAAU,CAEf,KAAsB;YAEtB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACjC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;gBAC3C,MAAM,QAAQ,GAAG,IAAA,QAAK,EAAC,KAAY,CAAQ,CAAC;gBAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAE,KAAa,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC5D,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAC3B,CAAC,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAC5C,OAAO,KAAY,CAAC;QACtB,CAAC;QAED,MAAM,CAAC,OAAO,CAAS;;IAOzB,OAAO,KAA+B,CAAC;AACzC,CAAC,CAAC;AAzEW,QAAA,IAAI,QAyEf"}
|
package/dist/dict.spec.js
CHANGED
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
3
|
const dict_1 = require("./dict");
|
|
4
|
-
const
|
|
4
|
+
const primitive_1 = require("./primitive");
|
|
5
5
|
const test_1 = require("./test");
|
|
6
6
|
describe("Dict", () => {
|
|
7
7
|
it("class definition", () => {
|
|
8
8
|
class Test extends (0, dict_1.Dict)({
|
|
9
|
-
a: (0,
|
|
9
|
+
a: (0, primitive_1.Primitive)(String),
|
|
10
10
|
b: Number,
|
|
11
11
|
}) {
|
|
12
12
|
test = true;
|
|
@@ -65,7 +65,7 @@ describe("Dict", () => {
|
|
|
65
65
|
(0, test_1.ex)(b.longhand).toStrictEqual({ long: 1 }).ok;
|
|
66
66
|
});
|
|
67
67
|
it("referenced definition", () => {
|
|
68
|
-
class A extends (0, dict_1.Dict)({ a: (0,
|
|
68
|
+
class A extends (0, dict_1.Dict)({ a: (0, primitive_1.Primitive)(Number) }) {
|
|
69
69
|
}
|
|
70
70
|
class Test extends (0, dict_1.Dict)({ nested: A }) {
|
|
71
71
|
test = true;
|
|
@@ -101,7 +101,7 @@ describe("Dict", () => {
|
|
|
101
101
|
}
|
|
102
102
|
return I;
|
|
103
103
|
};
|
|
104
|
-
class Test extends Testable({ a: (0,
|
|
104
|
+
class Test extends Testable({ a: (0, primitive_1.Primitive)(Number) }) {
|
|
105
105
|
test = true;
|
|
106
106
|
// @ts-expect-error is not assignable to parameter of type 'true'
|
|
107
107
|
abstract = false;
|
|
@@ -142,7 +142,7 @@ describe("Dict", () => {
|
|
|
142
142
|
}
|
|
143
143
|
return (0, dict_1.Dict)(shape, I);
|
|
144
144
|
};
|
|
145
|
-
class Test extends Testable({ a: (0,
|
|
145
|
+
class Test extends Testable({ a: (0, primitive_1.Primitive)(Number) }) {
|
|
146
146
|
test = true;
|
|
147
147
|
// @ts-expect-error is not assignable to parameter of type 'true'
|
|
148
148
|
abstract = false;
|
package/dist/dict.spec.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dict.spec.js","sourceRoot":"","sources":["../src/dict.spec.ts"],"names":[],"mappings":";;AAAA,iCAA6C;AAC7C,
|
|
1
|
+
{"version":3,"file":"dict.spec.js","sourceRoot":"","sources":["../src/dict.spec.ts"],"names":[],"mappings":";;AAAA,iCAA6C;AAC7C,2CAAwC;AACxC,iCAA4B;AAE5B,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;IACpB,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC;YACtB,CAAC,EAAE,IAAA,qBAAS,EAAC,MAAM,CAAC;YACpB,CAAC,EAAE,MAAM;SACV,CAAC;YACA,IAAI,GAAG,IAAa,CAAC;SACtB;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QAE3C,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAE/B,uBAAuB;QACvB,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAElC,2CAA2C;QAC3C,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACrB,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAEnB,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAErD,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACrC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACrB,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC;YACtB,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;YAC5B,QAAQ,EAAE,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;SACjC,CAAC;YACA,IAAI,GAAG,IAAa,CAAC;SACtB;QAOD,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QAE3C,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;YACzB,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;YAC5B,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE;SACtB,CAAC,CAAC;QACH,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uBAAuB;QACvB,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEtB,2CAA2C;QAC3C,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QACpD,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAE7C,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC;YAC9B,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;YAC5B,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE;SACtB,CAAC,CAAC,EAAE,CAAC;QAEN,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5E,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,sBAAsB;QACtB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QACpD,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,CAAC,EAAE,IAAA,qBAAS,EAAC,MAAM,CAAC,EAAE,CAAC;SAAG;QAEjD,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;YACpC,IAAI,GAAG,IAAa,CAAC;SACtB;QAED,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAiB,CAAC,EAAE,CAAC;QAE9C,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAA6B,CAAC,EAAE,CAAC;QACtE,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACjD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uBAAuB;QACvB,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAElC,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QAEzD,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAE3B,sBAAsB;QACtB,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,CAA0B,KAAQ,EAAE,EAAE;YACrD,yDAAyD;YACzD,qCAAqC;YACrC,6DAA6D;YAC7D,2DAA2D;YAC3D,8CAA8C;YAC9C,+BAA+B;YAC/B,MAAe,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;gBAC9C,IAAI,GAAG,IAAa,CAAC;gBACrB,MAAM,CAAC,IAAI,GAAG,IAAa,CAAC;;YAK9B,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QAEF,MAAM,IAAK,SAAQ,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAA,qBAAS,EAAC,MAAM,CAAC,EAAE,CAAC;YACnD,IAAI,GAAG,IAAa,CAAC;YAErB,iEAAiE;YACjE,QAAQ,GAAG,KAAc,CAAC;SAC3B;QAED,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAA6B,CAAC,EAAE,CAAC;QAE1D,8BAA8B;QAC9B,IAAA,SAAE,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAErC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAA6B,CAAC,EAAE,CAAC;QACtE,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACjD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,0CAA0C;QAC1C,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QAEvC,wCAAwC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAElC,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAExC,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QAEzD,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,wCAAwC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QAEvC,sCAAsC;QACtC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAElC,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,CAA0B,KAAQ,EAAE,EAAE;YACrD,MAAe,CAAC;gBACd,IAAI,GAAG,IAAa,CAAC;gBACrB,MAAM,CAAC,IAAI,GAAG,IAAa,CAAC;;YAK9B,OAAO,IAAA,WAAI,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC;QAEF,MAAM,IAAK,SAAQ,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAA,qBAAS,EAAC,MAAM,CAAC,EAAE,CAAC;YACnD,IAAI,GAAG,IAAa,CAAC;YAErB,iEAAiE;YACjE,QAAQ,GAAG,KAAc,CAAC;SAC3B;QAED,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAiB,CAAC,EAAE,CAAC;QAE9C,8BAA8B;QAC9B,IAAA,SAAE,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAErC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAiB,CAAC,EAAE,CAAC;QAC1D,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACrC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,0CAA0C;QAC1C,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QAEvC,0CAA0C;QAC1C,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAElC,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAEnB,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAE7C,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,wCAAwC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QAEvC,wCAAwC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QAEvC,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,61 @@
|
|
|
1
|
+
import { Expand, DefinitionOf, AbstractConstructor, Empty, type Shorthand } from "./_";
|
|
2
|
+
import { ClassShorthand } from "./class";
|
|
3
|
+
import { type DictShorthand } from "./dict";
|
|
4
|
+
type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
|
|
5
|
+
type PopUnion<U> = UnionToOvlds<U> extends (a: infer A) => void ? A : never;
|
|
6
|
+
type UnionToArray<T, A extends unknown[] = []> = IsUnion<T> extends true ? UnionToArray<Exclude<T, PopUnion<T>>, [PopUnion<T>, ...A]> : [T, ...A];
|
|
7
|
+
type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;
|
|
8
|
+
type CountUnion<T> = UnionToArray<T> extends infer U extends any[] ? U["length"] : never;
|
|
9
|
+
type UnshiftUnion<U> = UnionToArray<U> extends [infer F, ...any[]] ? F : never;
|
|
10
|
+
type UnionToOvlds<U> = UnionToIntersection<U extends any ? (f: U) => void : never>;
|
|
11
|
+
type IsStringLiteral<T> = T extends string ? string extends T ? false : true : false;
|
|
12
|
+
type FindBestKeyForMatching<FromUnion> = UnshiftUnion<keyof FromUnion extends infer K ? K extends keyof FromUnion ? CountUnion<Pick<FromUnion, K>[K]> extends CountUnion<FromUnion> ? [IsStringLiteral<FromUnion[K]>] extends [true] ? K : never : never : never : never>;
|
|
13
|
+
type MatcherConfig = {
|
|
14
|
+
[key: string]: any;
|
|
15
|
+
};
|
|
16
|
+
type ExhaustiveMatcher<C> = C extends MatcherConfig ? {
|
|
17
|
+
[key in keyof C]: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any;
|
|
18
|
+
} : never;
|
|
19
|
+
type UnsafeFallthroughMatcher<C> = C extends MatcherConfig ? {
|
|
20
|
+
[key in keyof C]?: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any;
|
|
21
|
+
} & {
|
|
22
|
+
_: (value: Expand<DefinitionOf<C[keyof C]>["$inline"]>) => any;
|
|
23
|
+
} : never;
|
|
24
|
+
type PartialMatcher<C> = C extends MatcherConfig ? {
|
|
25
|
+
[key in keyof C]?: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any;
|
|
26
|
+
} : never;
|
|
27
|
+
type Matcher<C> = C extends MatcherConfig ? ExhaustiveMatcher<C> | UnsafeFallthroughMatcher<C> | PartialMatcher<C> : never;
|
|
28
|
+
type Config = DictShorthandInput | ClassInput | ClassDictInput | DictInput;
|
|
29
|
+
type ClassInput = ClassShorthand;
|
|
30
|
+
type ClassDictInput = ClassShorthand & {
|
|
31
|
+
$of: {};
|
|
32
|
+
};
|
|
33
|
+
type DictInput = {
|
|
34
|
+
$of: {};
|
|
35
|
+
};
|
|
36
|
+
type DictShorthandInput = DictShorthand;
|
|
37
|
+
type Access<T, K> = K extends keyof T ? T[K] : never;
|
|
38
|
+
type GetShape<S extends Config> = S extends DictInput ? S["$of"] : S extends ClassInput ? Access<S, "prototype"> : S;
|
|
39
|
+
type BestKey<S extends Config[]> = {
|
|
40
|
+
[key in keyof S]: GetShape<S[key]>;
|
|
41
|
+
}[number] extends infer U ? FindBestKeyForMatching<U> : never;
|
|
42
|
+
export type DiscriminatedUnionConfiguration = Config[];
|
|
43
|
+
export declare const DiscriminatedUnion: <const S extends DiscriminatedUnionConfiguration, K extends BestKey<S>, const B extends AbstractConstructor<{}> = typeof Empty>(of: S, base?: B | undefined) => Omit<B, "prototype"> & Omit<(abstract new (value: DefinitionOf<S[number]>["$inline"]) => {
|
|
44
|
+
value: DefinitionOf<S[number], typeof Empty>["$inline"];
|
|
45
|
+
serialize(): Expand<ReturnType<DefinitionOf<S[number]>["$serialize"]>>;
|
|
46
|
+
match<M extends Matcher<UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>>, F extends M extends ExhaustiveMatcher<UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>> ? [] : M extends UnsafeFallthroughMatcher<UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>> ? [] : M extends PartialMatcher<UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>> ? [fallback: (value: Omit<UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>, keyof M>[Exclude<keyof UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>, keyof M>] extends infer U_1 extends Shorthand ? Expand<DefinitionOf<U_1>["$inline"]> : never) => any] : []>(matcher: M, ...__0_1: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
|
|
47
|
+
}) & {
|
|
48
|
+
serialized: ReturnType<DefinitionOf<S[number]>["$serialize"]>;
|
|
49
|
+
of: S;
|
|
50
|
+
$name: "discriminated-union";
|
|
51
|
+
deserialize<T extends any>(this: T, value: Expand<ReturnType<DefinitionOf<S[number]>["$serialize"]>>): InstanceType<T>;
|
|
52
|
+
$deserialize<T_1 extends any>(this: T_1, value: ReturnType<DefinitionOf<S[number]>["$serialize"]>): DefinitionOf<S[number]>["$inline"];
|
|
53
|
+
$serialize<T_2 extends any>(this: T_2, value: DefinitionOf<S[number]>["$inline"]): ReturnType<DefinitionOf<S[number]>["$serialize"]>;
|
|
54
|
+
$inline: DefinitionOf<S[number]>["$inline"];
|
|
55
|
+
}, "prototype"> & (abstract new (value: Expand<DefinitionOf<S[number]>["$inline"]>) => InstanceType<B> & {
|
|
56
|
+
value: DefinitionOf<S[number], typeof Empty>["$inline"];
|
|
57
|
+
serialize(): Expand<ReturnType<DefinitionOf<S[number]>["$serialize"]>>;
|
|
58
|
+
match<M extends Matcher<UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>>, F extends M extends ExhaustiveMatcher<UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>> ? [] : M extends UnsafeFallthroughMatcher<UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>> ? [] : M extends PartialMatcher<UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>> ? [fallback: (value: Omit<UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>, keyof M>[Exclude<keyof UnionToIntersection<{ [i in keyof S]: Access<GetShape<S[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: S[i] extends DictShorthand ? DefinitionOf<S[i], typeof Empty> : S[i]; } : never : never; }[number]>, keyof M>] extends infer U_1 extends Shorthand ? Expand<DefinitionOf<U_1>["$inline"]> : never) => any] : []>(matcher: M, ...__0_1: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
|
|
59
|
+
});
|
|
60
|
+
export {};
|
|
61
|
+
//# sourceMappingURL=discriminated-union.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"discriminated-union.d.ts","sourceRoot":"","sources":["../src/discriminated-union.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EACN,YAAY,EACZ,mBAAmB,EACnB,KAAK,EACL,KAAK,SAAS,EAGf,MAAM,KAAK,CAAC;AACb,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,QAAQ,CAAC;AAE5C,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAC5B,CAAC,SAAS,OAAO,GACb,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GACd,KAAK,CACV,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC;AACV,KAAK,QAAQ,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAE5E,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,EAAE,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACpE,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAC1D,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACd,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAEtE,KAAK,UAAU,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,EAAE,GAC9D,CAAC,CAAC,QAAQ,CAAC,GACX,KAAK,CAAC;AAEV,KAAK,YAAY,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE/E,KAAK,YAAY,CAAC,CAAC,IAAI,mBAAmB,CACxC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CACvC,CAAC;AAEF,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACtC,MAAM,SAAS,CAAC,GACd,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEV,KAAK,sBAAsB,CAAC,SAAS,IAAI,YAAY,CACnD,MAAM,SAAS,SAAS,MAAM,CAAC,GAC3B,CAAC,SAAS,MAAM,SAAS,GACvB,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,SAAS,CAAC,GAC7D,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC5C,CAAC,GACD,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CACV,CAAC;AAEF,KAAK,aAAa,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,CAAC;AAE5C,KAAK,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GAC/C;KACG,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,GAAG;CAC1E,GACD,KAAK,CAAC;AAEV,KAAK,wBAAwB,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GACtD;KACG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CACjB,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAC3C,GAAG;CACT,GAAG;IACF,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,GAAG,CAAC;CAChE,GACD,KAAK,CAAC;AAEV,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GAC5C;KACG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CACjB,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAC3C,GAAG;CACT,GACD,KAAK,CAAC;AAEV,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GACrC,iBAAiB,CAAC,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GACtE,KAAK,CAAC;AAEV,KAAK,MAAM,GAAG,kBAAkB,GAAG,UAAU,GAAG,cAAc,GAAG,SAAS,CAAC;AAE3E,KAAK,UAAU,GAAG,cAAc,CAAC;AAajC,KAAK,cAAc,GAAG,cAAc,GAAG;IAAE,GAAG,EAAE,EAAE,CAAA;CAAE,CAAC;AAEnD,KAAK,SAAS,GAAG;IAAE,GAAG,EAAE,EAAE,CAAA;CAAE,CAAC;AAQ7B,KAAK,kBAAkB,GAAG,aAAa,CAAC;AAQxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AAgBrD,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,SAAS,GACjD,CAAC,CAAC,KAAK,CAAC,GACR,CAAC,SAAS,UAAU,GAClB,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,GACtB,CAAC,CAAC;AAER,KAAK,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI;KAChC,GAAG,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;CACnC,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACrB,sBAAsB,CAAC,CAAC,CAAC,GACzB,KAAK,CAAC;AAEV,MAAM,MAAM,+BAA+B,GAAG,MAAM,EAAE,CAAC;AAiDvD,eAAO,MAAM,kBAAkB,sIAKzB,CAAC;;;muDA6Cc,GAAG,gEAMc,GAAG,EAAE,KAAK,GAAG,6DAGnB,GAAG,EAAE,KAAK,GAAG;;;;;qCAkBjC,CAAC,qEAEN,aAAa,CAAC,CAAC;;;;;;;muDA7BD,GAAG,gEAMc,GAAG,EAAE,KAAK,GAAG,6DAGnB,GAAG,EAAE,KAAK,GAAG;EAqD5C,CAAC"}
|
|
@@ -0,0 +1,97 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.DiscriminatedUnion = void 0;
|
|
4
|
+
const _1 = require("./_");
|
|
5
|
+
function findBestKey(config) {
|
|
6
|
+
const hash = {};
|
|
7
|
+
for (const c of config) {
|
|
8
|
+
const shape = "$of" in c ? c.$of : c;
|
|
9
|
+
for (const key in shape) {
|
|
10
|
+
const k = key;
|
|
11
|
+
if (hash[key]) {
|
|
12
|
+
hash[key].add(shape[k]);
|
|
13
|
+
}
|
|
14
|
+
else {
|
|
15
|
+
hash[key] = new Set([shape[k]]);
|
|
16
|
+
}
|
|
17
|
+
}
|
|
18
|
+
}
|
|
19
|
+
const key = Object.entries(hash)
|
|
20
|
+
.map(([key, value]) => [key, value.size])
|
|
21
|
+
.filter(([_, value]) => value === config.length)
|
|
22
|
+
.sort((a, b) => b[1] - a[1])?.[0]?.[0];
|
|
23
|
+
if (!key) {
|
|
24
|
+
throw new Error("Could not find key for DiscriminatedUnion");
|
|
25
|
+
}
|
|
26
|
+
return key;
|
|
27
|
+
}
|
|
28
|
+
function prepareShapeMap(config, key) {
|
|
29
|
+
return config.reduce((acc, c) => {
|
|
30
|
+
const shape = (0, _1.Shape)(c);
|
|
31
|
+
// Here, we are handling the two cases of the configuration:
|
|
32
|
+
// - the first one is when the configuration is a Definition directly.
|
|
33
|
+
// we can access the discriminator directly from the shape $of property
|
|
34
|
+
// - the second one is when the configuration is a DictShorthand or a plain Class.
|
|
35
|
+
// we first have to turn it into a Definition before accessing the discriminator
|
|
36
|
+
// Dict $of property references the configuration provided, which allows us to capture the discriminator
|
|
37
|
+
// Class $of property references the constructor of the class, which allows us to capture the discriminator
|
|
38
|
+
// which is mandatorily defined on the static side of the class
|
|
39
|
+
const discriminator = "$of" in c ? c.$of[key] : shape.$of[key];
|
|
40
|
+
acc[discriminator] = shape;
|
|
41
|
+
return acc;
|
|
42
|
+
}, {});
|
|
43
|
+
}
|
|
44
|
+
const DiscriminatedUnion = (of, ...args
|
|
45
|
+
// ...args: [K] extends [never]
|
|
46
|
+
// ? ["⚠️ Make sure to add a discriminator to every element of the union"]
|
|
47
|
+
// : [base?: B]
|
|
48
|
+
) => {
|
|
49
|
+
const base = args[0] || _1.Empty;
|
|
50
|
+
const key = findBestKey(of);
|
|
51
|
+
const map = prepareShapeMap(of, key);
|
|
52
|
+
class $DiscriminatedUnion extends base {
|
|
53
|
+
value;
|
|
54
|
+
constructor(value) {
|
|
55
|
+
super();
|
|
56
|
+
this.value = value;
|
|
57
|
+
}
|
|
58
|
+
static serialized;
|
|
59
|
+
static of = of;
|
|
60
|
+
static $name = "discriminated-union";
|
|
61
|
+
serialize() {
|
|
62
|
+
return $DiscriminatedUnion.$serialize(this.value);
|
|
63
|
+
}
|
|
64
|
+
match(...[matcher, fallback]) {
|
|
65
|
+
const element = this.value;
|
|
66
|
+
const value = element[key];
|
|
67
|
+
const handler = matcher[value];
|
|
68
|
+
if (handler) {
|
|
69
|
+
return handler(value);
|
|
70
|
+
}
|
|
71
|
+
if (fallback) {
|
|
72
|
+
return fallback(value);
|
|
73
|
+
}
|
|
74
|
+
if (matcher._) {
|
|
75
|
+
return matcher._(value);
|
|
76
|
+
}
|
|
77
|
+
throw new Error("Non-exhaustive match");
|
|
78
|
+
}
|
|
79
|
+
static deserialize(value) {
|
|
80
|
+
return new this(this.$deserialize(value));
|
|
81
|
+
}
|
|
82
|
+
static $deserialize(value) {
|
|
83
|
+
const definition = map[value[key]];
|
|
84
|
+
if (!definition) {
|
|
85
|
+
throw new Error("Cannot deserialize DiscriminatedUnion");
|
|
86
|
+
}
|
|
87
|
+
return definition.$deserialize(value);
|
|
88
|
+
}
|
|
89
|
+
static $serialize(value) {
|
|
90
|
+
return map[value[key]].$serialize(value);
|
|
91
|
+
}
|
|
92
|
+
static $inline;
|
|
93
|
+
}
|
|
94
|
+
return $DiscriminatedUnion;
|
|
95
|
+
};
|
|
96
|
+
exports.DiscriminatedUnion = DiscriminatedUnion;
|
|
97
|
+
//# sourceMappingURL=discriminated-union.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"discriminated-union.js","sourceRoot":"","sources":["../src/discriminated-union.ts"],"names":[],"mappings":";;;AAAA,0BASa;AA2Ib,SAAS,WAAW,CAAC,MAAuC;IAC1D,MAAM,IAAI,GAAgC,EAAE,CAAC;IAE7C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,GAAyB,CAAC;YACpC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACd,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;SAC7B,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAU,CAAC;SACjD,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC;SAC/C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEzC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CAAC,MAAuC,EAAE,GAAW;IAC3E,OAAO,MAAM,CAAC,MAAM,CAAgC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAC7D,MAAM,KAAK,GAAG,IAAA,QAAK,EAAC,CAAC,CAAC,CAAC;QAEvB,4DAA4D;QAC5D,sEAAsE;QACtE,yEAAyE;QACzE,kFAAkF;QAClF,kFAAkF;QAClF,0GAA0G;QAC1G,6GAA6G;QAC7G,iEAAiE;QACjE,MAAM,aAAa,GACjB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAE,CAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,KAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAE7D,GAAG,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC;QAC3B,OAAO,GAAG,CAAC;IACb,CAAC,EAAE,EAAE,CAAC,CAAC;AACT,CAAC;AAEM,MAAM,kBAAkB,GAAG,CAKhC,EAAK,EACL,GAAG,IAAgB;AACnB,+BAA+B;AAC/B,4EAA4E;AAC5E,iBAAiB;EACjB,EAAE;IACF,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAK,QAAa,CAAC;IAMvC,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAC5B,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAErC,MAAe,mBAAoB,SAAS,IAA+B;QACtD;QAAnB,YAAmB,KAAa;YAC9B,KAAK,EAAE,CAAC;YADS,UAAK,GAAL,KAAK,CAAQ;QAEhC,CAAC;QAED,MAAM,CAAC,UAAU,CAAa;QAE9B,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC;QAEf,MAAM,CAAC,KAAK,GAAG,qBAA8B,CAAC;QAE9C,SAAS;YACP,OAAQ,mBAA2B,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAQ,CAAC;QACpE,CAAC;QAED,KAAK,CAmBH,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAqB;YAM1C,MAAM,OAAO,GAAQ,IAAI,CAAC,KAAK,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YAE3B,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;YACxB,CAAC;YACD,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;YACzB,CAAC;YACD,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC;gBACd,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC1B,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC1C,CAAC;QAED,MAAM,CAAC,WAAW,CAEhB,KAAyB;YAEzB,OAAO,IAAK,IAAY,CAAC,IAAI,CAAC,YAAY,CAAC,KAAY,CAAC,CAAQ,CAAC;QACnE,CAAC;QAED,MAAM,CAAC,YAAY,CAEjB,KAAiB;YAEjB,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC3D,CAAC;YACD,OAAQ,UAAkB,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,CAAC,UAAU,CAEf,KAAa;YAEb,OAAO,GAAG,CAAE,KAAa,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;QAED,MAAM,CAAC,OAAO,CAAS;;IAUzB,OAAO,mBAAyC,CAAC;AACnD,CAAC,CAAC;AAhHW,QAAA,kBAAkB,sBAgH7B"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"discriminated-union.spec.d.ts","sourceRoot":"","sources":["../src/discriminated-union.spec.ts"],"names":[],"mappings":""}
|