@ddd-ts/shape 0.0.0-compute-timeout-on-process.7 → 0.0.0-compute-timeout-on-process.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.
Files changed (94) hide show
  1. package/dist/_.d.ts +35 -34
  2. package/dist/_.d.ts.map +1 -1
  3. package/dist/_.js +16 -15
  4. package/dist/_.mjs +36 -0
  5. package/dist/addons/microsecond-timestamp.d.ts +22 -25
  6. package/dist/addons/microsecond-timestamp.d.ts.map +1 -1
  7. package/dist/addons/microsecond-timestamp.js +2 -2
  8. package/dist/addons/microsecond-timestamp.mjs +61 -0
  9. package/dist/choice.d.ts +28 -26
  10. package/dist/choice.d.ts.map +1 -1
  11. package/dist/choice.js +3 -4
  12. package/dist/choice.mjs +44 -0
  13. package/dist/choice.spec.d.ts +2 -0
  14. package/dist/choice.spec.d.ts.map +1 -0
  15. package/dist/class.d.ts +16 -20
  16. package/dist/class.d.ts.map +1 -1
  17. package/dist/class.js +3 -4
  18. package/dist/class.mjs +30 -0
  19. package/dist/class.spec.d.ts +2 -0
  20. package/dist/class.spec.d.ts.map +1 -0
  21. package/dist/dict.d.ts +35 -30
  22. package/dist/dict.d.ts.map +1 -1
  23. package/dist/dict.js +5 -6
  24. package/dist/dict.mjs +41 -0
  25. package/dist/dict.spec.d.ts +2 -0
  26. package/dist/dict.spec.d.ts.map +1 -0
  27. package/dist/discriminated-union.d.ts +48 -37
  28. package/dist/discriminated-union.d.ts.map +1 -1
  29. package/dist/discriminated-union.js +6 -5
  30. package/dist/discriminated-union.mjs +64 -0
  31. package/dist/discriminated-union.spec.d.ts +2 -0
  32. package/dist/discriminated-union.spec.d.ts.map +1 -0
  33. package/dist/either.d.ts +71 -66
  34. package/dist/either.d.ts.map +1 -1
  35. package/dist/either.js +4 -5
  36. package/dist/either.mjs +51 -0
  37. package/dist/either.spec.d.ts +2 -0
  38. package/dist/either.spec.d.ts.map +1 -0
  39. package/dist/index.d.ts +14 -14
  40. package/dist/index.d.ts.map +1 -0
  41. package/dist/index.js +31 -14
  42. package/dist/index.mjs +15 -0
  43. package/dist/literal.d.ts +12 -16
  44. package/dist/literal.d.ts.map +1 -1
  45. package/dist/literal.js +3 -4
  46. package/dist/literal.mjs +27 -0
  47. package/dist/literal.spec.d.ts +2 -0
  48. package/dist/literal.spec.d.ts.map +1 -0
  49. package/dist/mapping.d.ts +34 -25
  50. package/dist/mapping.d.ts.map +1 -1
  51. package/dist/mapping.js +7 -8
  52. package/dist/mapping.mjs +45 -0
  53. package/dist/mapping.spec.d.ts +2 -0
  54. package/dist/mapping.spec.d.ts.map +1 -0
  55. package/dist/multiple.d.ts +15 -18
  56. package/dist/multiple.d.ts.map +1 -1
  57. package/dist/multiple.js +4 -5
  58. package/dist/multiple.mjs +119 -0
  59. package/dist/multiple.spec.d.ts +2 -0
  60. package/dist/multiple.spec.d.ts.map +1 -0
  61. package/dist/nothing.d.ts +10 -14
  62. package/dist/nothing.d.ts.map +1 -1
  63. package/dist/nothing.js +3 -4
  64. package/dist/nothing.mjs +19 -0
  65. package/dist/nothing.spec.d.ts +2 -0
  66. package/dist/nothing.spec.d.ts.map +1 -0
  67. package/dist/optional.d.ts +19 -22
  68. package/dist/optional.d.ts.map +1 -1
  69. package/dist/optional.js +5 -6
  70. package/dist/optional.mjs +34 -0
  71. package/dist/optional.spec.d.ts +2 -0
  72. package/dist/optional.spec.d.ts.map +1 -0
  73. package/dist/primitive.d.ts +34 -17
  74. package/dist/primitive.d.ts.map +1 -1
  75. package/dist/primitive.js +3 -4
  76. package/dist/primitive.mjs +30 -0
  77. package/dist/primitive.spec.d.ts +2 -0
  78. package/dist/primitive.spec.d.ts.map +1 -0
  79. package/dist/test.d.ts +36 -0
  80. package/dist/test.d.ts.map +1 -0
  81. package/package.json +10 -5
  82. package/dist/_.js.map +0 -1
  83. package/dist/addons/microsecond-timestamp.js.map +0 -1
  84. package/dist/choice.js.map +0 -1
  85. package/dist/class.js.map +0 -1
  86. package/dist/dict.js.map +0 -1
  87. package/dist/discriminated-union.js.map +0 -1
  88. package/dist/either.js.map +0 -1
  89. package/dist/literal.js.map +0 -1
  90. package/dist/mapping.js.map +0 -1
  91. package/dist/multiple.js.map +0 -1
  92. package/dist/nothing.js.map +0 -1
  93. package/dist/optional.js.map +0 -1
  94. package/dist/primitive.js.map +0 -1
package/dist/dict.d.ts CHANGED
@@ -1,38 +1,43 @@
1
- import { AbstractConstructor, Constructor, DefinitionOf, Empty, Expand, Shorthand } from "./_.js";
2
-
3
- //#region src/dict.d.ts
4
- type DictShorthand = {
5
- [key: string]: Shorthand;
1
+ import { type DefinitionOf, type Shorthand, type Expand, type AbstractConstructor, type Constructor, Empty } from "./_";
2
+ export type DictShorthand = {
3
+ [key: string]: Shorthand;
6
4
  };
7
5
  type Internal<S extends DictShorthand, B extends AbstractConstructor<{}>> = {
8
- Definition: { -readonly [K in keyof S]: DefinitionOf<S[K]> };
9
- Serialized: (B extends {
10
- $name: infer U;
11
- } ? {
12
- $name: U;
13
- } : {}) & { -readonly [K in keyof S]: ReturnType<DefinitionOf<S[K]>["$serialize"]> };
14
- Deserializing: (B extends {
15
- $name: infer U;
16
- } ? {
17
- $name: U;
18
- } : {}) & { -readonly [K in keyof S]: Parameters<DefinitionOf<S[K]>["$deserialize"]>[0] };
19
- Inline: { -readonly [K in keyof S]: DefinitionOf<S[K]>["$inline"] };
6
+ Definition: {
7
+ -readonly [K in keyof S]: DefinitionOf<S[K]>;
8
+ };
9
+ Serialized: (B extends {
10
+ $name: infer U;
11
+ } ? {
12
+ $name: U;
13
+ } : {}) & {
14
+ -readonly [K in keyof S]: ReturnType<DefinitionOf<S[K]>["$serialize"]>;
15
+ };
16
+ Deserializing: (B extends {
17
+ $name: infer U;
18
+ } ? {
19
+ $name: U;
20
+ } : {}) & {
21
+ -readonly [K in keyof S]: Parameters<DefinitionOf<S[K]>["$deserialize"]>[0];
22
+ };
23
+ Inline: {
24
+ -readonly [K in keyof S]: DefinitionOf<S[K]>["$inline"];
25
+ };
20
26
  };
21
- declare const Dict: <const S extends {
22
- [key: string]: any;
27
+ export declare const Dict: <const S extends {
28
+ [key: string]: any;
23
29
  }, B extends AbstractConstructor<{}> = typeof Empty>(of: S, base?: B) => IDict<S, B>;
24
- type IDict<S extends {
25
- [key: string]: any;
30
+ export type IDict<S extends {
31
+ [key: string]: any;
26
32
  }, B extends AbstractConstructor<{}> = typeof Empty> = Omit<B, ""> & {
27
- $shape: "dict";
28
- $of: S;
29
- deserialize<T extends Constructor>(this: T, value: Expand<Internal<S, B>["Serialized"]>): InstanceType<T>;
30
- $deserialize<T>(this: T, value: Internal<S, B>["Deserializing"]): Internal<S, B>["Inline"];
31
- $serialize<T extends Constructor>(this: T, value: InstanceType<T>): Internal<S, B>["Serialized"];
32
- $inline: Internal<S, B>["Inline"];
33
+ $shape: "dict";
34
+ $of: S;
35
+ deserialize<T extends Constructor>(this: T, value: Expand<Internal<S, B>["Serialized"]>): InstanceType<T>;
36
+ $deserialize<T>(this: T, value: Internal<S, B>["Deserializing"]): Internal<S, B>["Inline"];
37
+ $serialize<T extends Constructor>(this: T, value: InstanceType<T>): Internal<S, B>["Serialized"];
38
+ $inline: Internal<S, B>["Inline"];
33
39
  } & (abstract new (value: Expand<Internal<S, B>["Inline"]>) => InstanceType<B> & {
34
- serialize(): Expand<Internal<S, B>["Serialized"]>;
40
+ serialize(): Expand<Internal<S, B>["Serialized"]>;
35
41
  } & Internal<S, B>["Inline"]);
36
- //#endregion
37
- export { Dict, DictShorthand, IDict };
42
+ export {};
38
43
  //# sourceMappingURL=dict.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"dict.d.ts","names":[],"sources":["../src/dict.ts"],"mappings":";;;KAUY,aAAA;EAAA,CAAmB,GAAA,WAAc,SAAA;AAAA;AAAA,KAExC,QAAA,WAAmB,aAAA,YAAyB,mBAAA;EAC/C,UAAA,0BAAoC,CAAA,GAAI,YAAA,CAAa,CAAA,CAAE,CAAA;EACvD,UAAA,GAAa,CAAA;IAAY,KAAA;EAAA;IAAqB,KAAA,EAAO,CAAA;EAAA,kCAC7B,CAAA,GAAI,UAAA,CAAW,YAAA,CAAa,CAAA,CAAE,CAAA;EAEtD,aAAA,GAAgB,CAAA;IAAY,KAAA;EAAA;IAAqB,KAAA,EAAO,CAAA;EAAA,kCAChC,CAAA,GAAI,UAAA,CAAW,YAAA,CAAa,CAAA,CAAE,CAAA;EAEtD,MAAA,0BACwB,CAAA,GAAI,YAAA,CAAa,CAAA,CAAE,CAAA;AAAA;AAAA,cAIhC,IAAA;EAAA,CACQ,GAAA;AAAA,aACT,mBAAA,cAAuB,KAAA,EAAA,EAAA,EAE7B,CAAA,EAAC,IAAA,GACC,CAAA,KACL,KAAA,CAAM,CAAA,EAAG,CAAA;AAAA,KAwDA,KAAA;EAAA,CAEP,GAAA;AAAA,aAEO,mBAAA,cAAiC,KAAA,IACzC,IAAA,CAAK,CAAA;EACP,MAAA;EACA,GAAA,EAAK,CAAA;EACL,WAAA,WAAsB,WAAA,EACpB,IAAA,EAAM,CAAA,EACN,KAAA,EAAO,MAAA,CAAO,QAAA,CAAS,CAAA,EAAG,CAAA,mBACzB,YAAA,CAAa,CAAA;EAChB,YAAA,IACE,IAAA,EAAM,CAAA,EACN,KAAA,EAAO,QAAA,CAAS,CAAA,EAAG,CAAA,qBAClB,QAAA,CAAS,CAAA,EAAG,CAAA;EACf,UAAA,WAAqB,WAAA,EACnB,IAAA,EAAM,CAAA,EACN,KAAA,EAAO,YAAA,CAAa,CAAA,IACnB,QAAA,CAAS,CAAA,EAAG,CAAA;EACf,OAAA,EAAS,QAAA,CAAS,CAAA,EAAG,CAAA;AAAA,mBAEnB,KAAA,EAAO,MAAA,CAAO,QAAA,CAAS,CAAA,EAAG,CAAA,iBACvB,YAAA,CAAa,CAAA;EAChB,SAAA,IAAa,MAAA,CAAO,QAAA,CAAS,CAAA,EAAG,CAAA;AAAA,IAC9B,QAAA,CAAS,CAAA,EAAG,CAAA"}
1
+ {"version":3,"file":"dict.d.ts","sourceRoot":"","sources":["../src/dict.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,SAAS,EAEd,KAAK,MAAM,EACX,KAAK,mBAAmB,EACxB,KAAK,WAAW,EAChB,KAAK,EACN,MAAM,KAAK,CAAC;AAEb,MAAM,MAAM,aAAa,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEzD,KAAK,QAAQ,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,IAAI;IAC1E,UAAU,EAAE;QAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC;IAC7D,UAAU,EAAE,CAAC,CAAC,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG,EAAE,CAAC,GAAG;QAC/D,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;KACvE,CAAC;IACF,aAAa,EAAE,CAAC,CAAC,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG,EAAE,CAAC,GAAG;QAClE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;KAC5E,CAAC;IACF,MAAM,EAAE;QACN,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;KACxD,CAAC;CACH,CAAC;AAEF,eAAO,MAAM,IAAI,SACT,CAAC,SAAS;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,EACtC,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,qBAE7B,CAAC,SACC,CAAC,KACN,KAAK,CAAC,CAAC,EAAE,CAAC,CAsDZ,CAAC;AAEF,MAAM,MAAM,KAAK,CACf,CAAC,SAAS;IACR,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB,EACD,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,GAAG,OAAO,KAAK,IAC9C,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,CAAC,CAAC;IACP,WAAW,CAAC,CAAC,SAAS,WAAW,EAC/B,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAC1C,YAAY,CAAC,CAAC,CAAC,CAAC;IACnB,YAAY,CAAC,CAAC,EACZ,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,GACrC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC5B,UAAU,CAAC,CAAC,SAAS,WAAW,EAC9B,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GACrB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAChC,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;CACnC,GAAG,CAAC,QAAQ,MACT,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,KACpC,YAAY,CAAC,CAAC,CAAC,GAAG;IACrB,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;CACnD,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC"}
package/dist/dict.js CHANGED
@@ -1,7 +1,7 @@
1
- import { Empty, Shape } from "./_.js";
1
+ const require__ = require('./_.js');
2
2
 
3
3
  //#region src/dict.ts
4
- const Dict = (of, base = Empty) => {
4
+ const Dict = (of, base = require__.Empty) => {
5
5
  class $Dict extends base {
6
6
  static $shape = "dict";
7
7
  static $of = of;
@@ -18,13 +18,13 @@ const Dict = (of, base = Empty) => {
18
18
  }
19
19
  static $deserialize(value) {
20
20
  const transform = Object.entries(of).map(([key, child]) => {
21
- return [key, Shape(child).$deserialize(value[key])];
21
+ return [key, require__.Shape(child).$deserialize(value[key])];
22
22
  });
23
23
  return Object.fromEntries(transform);
24
24
  }
25
25
  static $serialize(value) {
26
26
  const transform = Object.entries(of).map(([key, child]) => {
27
- return [key, Shape(child).$serialize(value[key])];
27
+ return [key, require__.Shape(child).$serialize(value[key])];
28
28
  });
29
29
  const merge = Object.fromEntries(transform);
30
30
  if ("$name" in base) return {
@@ -38,5 +38,4 @@ const Dict = (of, base = Empty) => {
38
38
  };
39
39
 
40
40
  //#endregion
41
- export { Dict };
42
- //# sourceMappingURL=dict.js.map
41
+ exports.Dict = Dict;
package/dist/dict.mjs ADDED
@@ -0,0 +1,41 @@
1
+ import { Empty, Shape } from "./_.mjs";
2
+
3
+ //#region src/dict.ts
4
+ const Dict = (of, base = Empty) => {
5
+ class $Dict extends base {
6
+ static $shape = "dict";
7
+ static $of = of;
8
+ constructor(...args) {
9
+ super();
10
+ Object.assign(this, args[0]);
11
+ }
12
+ serialize() {
13
+ return $Dict.$serialize(this);
14
+ }
15
+ static deserialize(value) {
16
+ const runtime = this.$deserialize(value);
17
+ return new this(runtime);
18
+ }
19
+ static $deserialize(value) {
20
+ const transform = Object.entries(of).map(([key, child]) => {
21
+ return [key, Shape(child).$deserialize(value[key])];
22
+ });
23
+ return Object.fromEntries(transform);
24
+ }
25
+ static $serialize(value) {
26
+ const transform = Object.entries(of).map(([key, child]) => {
27
+ return [key, Shape(child).$serialize(value[key])];
28
+ });
29
+ const merge = Object.fromEntries(transform);
30
+ if ("$name" in base) return {
31
+ ...merge,
32
+ $name: base.$name
33
+ };
34
+ return merge;
35
+ }
36
+ }
37
+ return $Dict;
38
+ };
39
+
40
+ //#endregion
41
+ export { Dict };
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=dict.spec.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"dict.spec.d.ts","sourceRoot":"","sources":["../src/dict.spec.ts"],"names":[],"mappings":""}
@@ -1,10 +1,8 @@
1
- import { ClassShorthand } from "./class.js";
2
- import { DictShorthand } from "./dict.js";
3
- import { AbstractConstructor, Definition, DefinitionOf, Empty, Expand, Shorthand } from "./_.js";
4
-
5
- //#region src/discriminated-union.d.ts
6
- type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
7
- type PopUnion<U> = UnionToOvlds<U> extends ((a: infer A) => void) ? A : never;
1
+ import { type Expand, type DefinitionOf, type AbstractConstructor, Empty, type Shorthand, type Definition } from "./_";
2
+ import type { 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;
8
6
  type UnionToArray<T, A extends unknown[] = []> = IsUnion<T> extends true ? UnionToArray<Exclude<T, PopUnion<T>>, [PopUnion<T>, ...A]> : [T, ...A];
9
7
  type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;
10
8
  type CountUnion<T> = UnionToArray<T> extends infer U extends any[] ? U["length"] : never;
@@ -13,51 +11,64 @@ type UnionToOvlds<U> = UnionToIntersection<U extends any ? (f: U) => void : neve
13
11
  type IsStringLiteral<T> = T extends string ? string extends T ? false : true : false;
14
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>;
15
13
  type MatcherConfig = {
16
- [key: string]: any;
14
+ [key: string]: any;
17
15
  };
18
- type ExhaustiveMatcher<C> = C extends MatcherConfig ? { [key in keyof C]: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any } : never;
19
- type UnsafeFallthroughMatcher<C> = C extends MatcherConfig ? { [key in keyof C]?: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any } & {
20
- _: (value: Expand<DefinitionOf<C[keyof C]>["$inline"]>) => any;
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;
21
26
  } : never;
22
- type PartialMatcher<C> = C extends MatcherConfig ? { [key in keyof C]?: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any } : never;
23
27
  type Matcher<C> = C extends MatcherConfig ? ExhaustiveMatcher<C> | UnsafeFallthroughMatcher<C> | PartialMatcher<C> : never;
24
28
  type Config = DictShorthandInput | ClassInput | ClassDictInput | DictInput;
25
29
  type ClassInput = ClassShorthand;
26
30
  type ClassDictInput = ClassShorthand & {
27
- $of: {};
31
+ $of: {};
28
32
  };
29
33
  type DictInput = {
30
- $of: {};
34
+ $of: {};
31
35
  };
32
36
  type DictShorthandInput = DictShorthand;
33
37
  type Access<T, K> = K extends keyof T ? T[K] : never;
34
- type Entries<T extends readonly any[], K> = UnionToIntersection<{ [i in keyof T]: Access<GetShape<T[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? { [key in U]: T[i] extends DictShorthandInput ? DefinitionOf<T[i]> : T[i] } : never : never }[number]>;
38
+ type Entries<T extends readonly any[], K> = UnionToIntersection<{
39
+ [i in keyof T]: Access<GetShape<T[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? {
40
+ [key in U]: T[i] extends DictShorthandInput ? DefinitionOf<T[i]> : T[i];
41
+ } : never : never;
42
+ }[number]>;
35
43
  type GetShape<S extends Config> = S extends DictInput ? S["$of"] : S extends ClassInput ? Access<S, "prototype"> : S;
36
- type BestKey<S extends readonly Config[]> = { [key in keyof S]: GetShape<S[key]> }[number] extends infer U ? FindBestKeyForMatching<U> : never;
37
- type DiscriminatedUnionConfiguration = readonly Config[];
38
- declare function findBestKey(config: DiscriminatedUnionConfiguration): string;
39
- declare function prepareShapeMap(config: DiscriminatedUnionConfiguration, key: string): {
40
- [key: string]: Definition;
44
+ export type BestKey<S extends readonly Config[]> = {
45
+ [key in keyof S]: GetShape<S[key]>;
46
+ }[number] extends infer U ? FindBestKeyForMatching<U> : never;
47
+ export type DiscriminatedUnionConfiguration = readonly Config[];
48
+ export declare function findBestKey(config: DiscriminatedUnionConfiguration): string;
49
+ export declare function prepareShapeMap(config: DiscriminatedUnionConfiguration, key: string): {
50
+ [key: string]: Definition;
41
51
  };
42
52
  type Internal<S extends DiscriminatedUnionConfiguration, K extends BestKey<S>> = {
43
- Map: Entries<S, K>;
44
- Serialized: ReturnType<DefinitionOf<S[number]>["$serialize"]>;
45
- Inline: DefinitionOf<S[number]>["$inline"];
53
+ Map: Entries<S, K>;
54
+ Serialized: ReturnType<DefinitionOf<S[number]>["$serialize"]>;
55
+ Inline: DefinitionOf<S[number]>["$inline"];
46
56
  };
47
- declare const DiscriminatedUnion: <S extends DiscriminatedUnionConfiguration, K extends BestKey<S>, const B extends AbstractConstructor = typeof Empty>(of: S, base?: B | undefined) => IDiscriminatedUnion<S, K, B>;
48
- type IDiscriminatedUnion<S extends DiscriminatedUnionConfiguration, K extends BestKey<S>, B extends AbstractConstructor = typeof Empty> = Omit<B, "prototype"> & {
49
- $shape: "discriminated-union";
50
- $of: S;
51
- serialized: Internal<S, K>["Serialized"];
52
- deserialize<T>(this: T, value: Expand<Internal<S, K>["Serialized"]>): T extends AbstractConstructor ? InstanceType<T> : any;
53
- $deserialize<T>(this: T, value: Internal<S, K>["Serialized"]): Internal<S, K>["Inline"];
54
- $serialize<T extends AbstractConstructor>(this: T, value: InstanceType<T>): Internal<S, K>["Serialized"];
55
- $inline: Internal<S, K>["Inline"];
57
+ export declare const DiscriminatedUnion: <S extends DiscriminatedUnionConfiguration, K extends BestKey<S>, const B extends AbstractConstructor = typeof Empty>(of: S, base?: B | undefined) => IDiscriminatedUnion<S, K, B>;
58
+ export type IDiscriminatedUnion<S extends DiscriminatedUnionConfiguration, K extends BestKey<S>, B extends AbstractConstructor = typeof Empty> = Omit<B, "prototype"> & {
59
+ $shape: "discriminated-union";
60
+ $of: S;
61
+ serialized: Internal<S, K>["Serialized"];
62
+ deserialize<T>(this: T, value: Expand<Internal<S, K>["Serialized"]>): T extends AbstractConstructor ? InstanceType<T> : any;
63
+ $deserialize<T>(this: T, value: Internal<S, K>["Serialized"]): Internal<S, K>["Inline"];
64
+ $serialize<T extends AbstractConstructor>(this: T, value: InstanceType<T>): Internal<S, K>["Serialized"];
65
+ $inline: Internal<S, K>["Inline"];
56
66
  } & (abstract new (value: Internal<S, K>["Inline"]) => InstanceType<B> & {
57
- value: Internal<S, K>["Inline"];
58
- serialize(): Internal<S, K>["Serialized"];
59
- match<M extends Matcher<Internal<S, K>["Map"]>, F extends (M extends ExhaustiveMatcher<Internal<S, K>["Map"]> ? [] : M extends UnsafeFallthroughMatcher<Internal<S, K>["Map"]> ? [] : M extends PartialMatcher<Internal<S, K>["Map"]> ? [fallback: (value: Omit<Internal<S, K>["Map"], keyof M>[keyof Omit<Internal<S, K>["Map"], keyof M>] extends infer U extends Shorthand ? Expand<DefinitionOf<U>["$inline"]> : never) => any] : [])>(matcher: M, ...fallback_n: F): (M[keyof M] extends ((...args: any[]) => any) ? ReturnType<M[keyof M]> : never) | (F[0] extends ((...args: any[]) => any) ? ReturnType<F[0]> : never);
67
+ value: Internal<S, K>["Inline"];
68
+ serialize(): Internal<S, K>["Serialized"];
69
+ match<M extends Matcher<Internal<S, K>["Map"]>, F extends M extends ExhaustiveMatcher<Internal<S, K>["Map"]> ? [] : M extends UnsafeFallthroughMatcher<Internal<S, K>["Map"]> ? [] : M extends PartialMatcher<Internal<S, K>["Map"]> ? [
70
+ fallback: (value: Omit<Internal<S, K>["Map"], keyof M>[keyof Omit<Internal<S, K>["Map"], keyof M>] extends infer U extends Shorthand ? Expand<DefinitionOf<U>["$inline"]> : never) => any
71
+ ] : []>(matcher: M, ...fallback_n: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
60
72
  });
61
- //#endregion
62
- export { BestKey, DiscriminatedUnion, DiscriminatedUnionConfiguration, IDiscriminatedUnion, findBestKey, prepareShapeMap };
73
+ export {};
63
74
  //# sourceMappingURL=discriminated-union.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"discriminated-union.d.ts","names":[],"sources":["../src/discriminated-union.ts"],"mappings":";;;;;KAaK,mBAAA,OACH,CAAA,oBACK,CAAA,EAAG,CAAA,6BAEC,CAAA,sBACP,CAAA;AAAA,KAEC,QAAA,MAAc,YAAA,CAAa,CAAA,YAAY,CAAA,sBAAsB,CAAA;AAAA,KAE7D,YAAA,gCAA4C,OAAA,CAAQ,CAAA,iBACrD,YAAA,CAAa,OAAA,CAAQ,CAAA,EAAG,QAAA,CAAS,CAAA,KAAM,QAAA,CAAS,CAAA,MAAO,CAAA,MACtD,CAAA,KAAM,CAAA;AAAA,KACN,OAAA,OAAc,CAAA,WAAY,mBAAA,CAAoB,CAAA;AAAA,KAE9C,UAAA,MAAgB,YAAA,CAAa,CAAA,kCAC9B,CAAA;AAAA,KAGC,YAAA,MAAkB,YAAA,CAAa,CAAA,gCAAiC,CAAA;AAAA,KAEhE,YAAA,MAAkB,mBAAA,CACrB,CAAA,gBAAiB,CAAA,EAAG,CAAA;AAAA,KAGjB,eAAA,MAAqB,CAAA,iCACP,CAAA;AAAA,KAKd,sBAAA,cAAoC,YAAA,OACjC,SAAA,mBACF,CAAA,eAAgB,SAAA,GACd,UAAA,CAAW,IAAA,CAAK,SAAA,EAAW,CAAA,EAAG,CAAA,WAAY,UAAA,CAAW,SAAA,KAClD,eAAA,CAAgB,SAAA,CAAU,CAAA,qBACzB,CAAA;AAAA,KAOP,aAAA;EAAA,CAAmB,GAAA;AAAA;AAAA,KAEnB,iBAAA,MAAuB,CAAA,SAAU,aAAA,mBAElB,CAAA,IAAK,KAAA,EAAO,MAAA,CAAO,YAAA,CAAa,CAAA,CAAE,GAAA;AAAA,KAIjD,wBAAA,MAA8B,CAAA,SAAU,aAAA,mBAEzB,CAAA,KACZ,KAAA,EAAO,MAAA,CAAO,YAAA,CAAa,CAAA,CAAE,GAAA;EAG/B,CAAA,GAAI,KAAA,EAAO,MAAA,CAAO,YAAA,CAAa,CAAA,OAAQ,CAAA;AAAA;AAAA,KAIxC,cAAA,MAAoB,CAAA,SAAU,aAAA,mBAEf,CAAA,KACZ,KAAA,EAAO,MAAA,CAAO,YAAA,CAAa,CAAA,CAAE,GAAA;AAAA,KAKhC,OAAA,MAAa,CAAA,SAAU,aAAA,GACxB,iBAAA,CAAkB,CAAA,IAAK,wBAAA,CAAyB,CAAA,IAAK,cAAA,CAAe,CAAA;AAAA,KAGnE,MAAA,GAAS,kBAAA,GAAqB,UAAA,GAAa,cAAA,GAAiB,SAAA;AAAA,KAE5D,UAAA,GAAa,cAAA;AAAA,KAEb,cAAA,GAAiB,cAAA;EAAmB,GAAA;AAAA;AAAA,KAEpC,SAAA;EAAc,GAAA;AAAA;AAAA,KAEd,kBAAA,GAAqB,aAAA;AAAA,KAErB,MAAA,SAAe,CAAA,eAAgB,CAAA,GAAI,CAAA,CAAE,CAAA;AAAA,KAErC,OAAA,gCAAuC,mBAAA,eAE5B,CAAA,GAAI,MAAA,CAAO,QAAA,CAAS,CAAA,CAAE,CAAA,IAAK,CAAA,mCACnC,eAAA,CAAgB,CAAA,2BAEJ,CAAA,GAAI,CAAA,CAAE,CAAA,UAAW,kBAAA,GACrB,YAAA,CAAa,CAAA,CAAE,CAAA,KACf,CAAA,CAAE,CAAA;AAAA,KAOb,QAAA,WAAmB,MAAA,IAAU,CAAA,SAAU,SAAA,GACxC,CAAA,UACA,CAAA,SAAU,UAAA,GACR,MAAA,CAAO,CAAA,iBACP,CAAA;AAAA,KAEM,OAAA,oBAA2B,MAAA,sBACvB,CAAA,GAAI,QAAA,CAAS,CAAA,CAAE,GAAA,+BAE3B,sBAAA,CAAuB,CAAA;AAAA,KAGf,+BAAA,YAA2C,MAAA;AAAA,iBAEvC,WAAA,CAAY,MAAA,EAAQ,+BAAA;AAAA,iBA2BpB,eAAA,CACd,MAAA,EAAQ,+BAAA,EACR,GAAA;EAAA,eADQ,UAAA;AAAA;AAAA,KA0BL,QAAA,WACO,+BAAA,YACA,OAAA,CAAQ,CAAA;EAElB,GAAA,EAAK,OAAA,CAAQ,CAAA,EAAG,CAAA;EAChB,UAAA,EAAY,UAAA,CAAW,YAAA,CAAa,CAAA;EACpC,MAAA,EAAQ,YAAA,CAAa,CAAA;AAAA;AAAA,cAGV,kBAAA,aACD,+BAAA,YACA,OAAA,CAAQ,CAAA,mBACF,mBAAA,UAAmB,KAAA,EAAA,EAAA,EAE/B,CAAA,EAAC,IAAA,GAAA,CAAA,iBAEJ,mBAAA,CAAoB,CAAA,EAAG,CAAA,EAAG,CAAA;AAAA,KAuDjB,mBAAA,WACA,+BAAA,YACA,OAAA,CAAQ,CAAA,aACR,mBAAA,UAA6B,KAAA,IACrC,IAAA,CAAK,CAAA;EACP,MAAA;EACA,GAAA,EAAK,CAAA;EACL,UAAA,EAAY,QAAA,CAAS,CAAA,EAAG,CAAA;EACxB,WAAA,IACE,IAAA,EAAM,CAAA,EACN,KAAA,EAAO,MAAA,CAAO,QAAA,CAAS,CAAA,EAAG,CAAA,mBACxB,CAAA,SAAU,mBAAA,GAAsB,YAAA,CAAa,CAAA;EACjD,YAAA,IACE,IAAA,EAAM,CAAA,EACN,KAAA,EAAO,QAAA,CAAS,CAAA,EAAG,CAAA,kBAClB,QAAA,CAAS,CAAA,EAAG,CAAA;EACf,UAAA,WAAqB,mBAAA,EACnB,IAAA,EAAM,CAAA,EACN,KAAA,EAAO,YAAA,CAAa,CAAA,IACnB,QAAA,CAAS,CAAA,EAAG,CAAA;EACf,OAAA,EAAS,QAAA,CAAS,CAAA,EAAG,CAAA;AAAA,mBAEnB,KAAA,EAAO,QAAA,CAAS,CAAA,EAAG,CAAA,gBAChB,YAAA,CAAa,CAAA;EAChB,KAAA,EAAO,QAAA,CAAS,CAAA,EAAG,CAAA;EACnB,SAAA,IAAa,QAAA,CAAS,CAAA,EAAG,CAAA;EACzB,KAAA,WACY,OAAA,CAAQ,QAAA,CAAS,CAAA,EAAG,CAAA,sBACpB,CAAA,SAAU,iBAAA,CAAkB,QAAA,CAAS,CAAA,EAAG,CAAA,iBAE9C,CAAA,SAAU,wBAAA,CAAyB,QAAA,CAAS,CAAA,EAAG,CAAA,iBAE7C,CAAA,SAAU,cAAA,CAAe,QAAA,CAAS,CAAA,EAAG,CAAA,aAEjC,QAAA,GACE,KAAA,EAAO,IAAA,CAAK,QAAA,CAAS,CAAA,EAAG,CAAA,gBAAiB,CAAA,QAAS,IAAA,CAChD,QAAA,CAAS,CAAA,EAAG,CAAA,gBACN,CAAA,2BACmB,SAAA,GACvB,MAAA,CAAO,YAAA,CAAa,CAAA,sCAMpC,OAAA,EAAS,CAAA,KACN,UAAA,EAAY,CAAA,IAEZ,CAAA,OAAQ,CAAA,eAAe,IAAA,mBACpB,UAAA,CAAW,CAAA,OAAQ,CAAA,eAEtB,CAAA,iBAAiB,IAAA,mBAAsB,UAAA,CAAW,CAAA;AAAA"}
1
+ {"version":3,"file":"discriminated-union.d.ts","sourceRoot":"","sources":["../src/discriminated-union.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,MAAM,EACX,KAAK,YAAY,EACjB,KAAK,mBAAmB,EACxB,KAAK,EACL,KAAK,SAAS,EAEd,KAAK,UAAU,EAChB,MAAM,KAAK,CAAC;AACb,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAC9C,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;AAEjC,KAAK,cAAc,GAAG,cAAc,GAAG;IAAE,GAAG,EAAE,EAAE,CAAA;CAAE,CAAC;AAEnD,KAAK,SAAS,GAAG;IAAE,GAAG,EAAE,EAAE,CAAA;CAAE,CAAC;AAE7B,KAAK,kBAAkB,GAAG,aAAa,CAAC;AAExC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AAErD,KAAK,OAAO,CAAC,CAAC,SAAS,SAAS,GAAG,EAAE,EAAE,CAAC,IAAI,mBAAmB,CAC7D;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,MAAM,GACpE,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7B;SACG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,kBAAkB,GACvC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAClB,CAAC,CAAC,CAAC,CAAC;KACT,GACD,KAAK,GACP,KAAK;CACV,CAAC,MAAM,CAAC,CACV,CAAC;AAEF,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,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI;KAChD,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,SAAS,MAAM,EAAE,CAAC;AAEhE,wBAAgB,WAAW,CAAC,MAAM,EAAE,+BAA+B,UAyBlE;AAED,wBAAgB,eAAe,CAC7B,MAAM,EAAE,+BAA+B,EACvC,GAAG,EAAE,MAAM;;EAuBZ;AAED,KAAK,QAAQ,CACX,CAAC,SAAS,+BAA+B,EACzC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,IAClB;IACF,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnB,UAAU,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAC9D,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;CAC5C,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAC7B,CAAC,SAAS,+BAA+B,EACzC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,QACd,CAAC,SAAS,mBAAmB,qBAE/B,CAAC,2BAEJ,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAqD7B,CAAC;AAEF,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,+BAA+B,EACzC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EACpB,CAAC,SAAS,mBAAmB,GAAG,OAAO,KAAK,IAC1C,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG;IACzB,MAAM,EAAE,qBAAqB,CAAC;IAC9B,GAAG,EAAE,CAAC,CAAC;IACP,UAAU,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACzC,WAAW,CAAC,CAAC,EACX,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACzC,CAAC,SAAS,mBAAmB,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IAC1D,YAAY,CAAC,CAAC,EACZ,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAClC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC5B,UAAU,CAAC,CAAC,SAAS,mBAAmB,EACtC,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GACrB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAChC,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;CACnC,GAAG,CAAC,QAAQ,MACT,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAC5B,YAAY,CAAC,CAAC,CAAC,GAAG;IACrB,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAChC,SAAS,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAC1C,KAAK,CACH,CAAC,SAAS,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EACxC,CAAC,SAAS,CAAC,SAAS,iBAAiB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GACxD,EAAE,GACF,CAAC,SAAS,wBAAwB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GACvD,EAAE,GACF,CAAC,SAAS,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAC7C;QACE,QAAQ,EAAE,CACR,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,CACpD,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EACrB,MAAM,CAAC,CACR,CAAC,SAAS,MAAM,CAAC,SAAS,SAAS,GAChC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAClC,KAAK,KACN,GAAG;KACT,GACD,EAAE,EAEV,OAAO,EAAE,CAAC,EACV,GAAG,UAAU,EAAE,CAAC,GAEd,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GACvC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,GACV,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;CACvE,CAAC,CAAC"}
@@ -1,4 +1,4 @@
1
- import { Empty, Shape } from "./_.js";
1
+ const require__ = require('./_.js');
2
2
 
3
3
  //#region src/discriminated-union.ts
4
4
  function findBestKey(config) {
@@ -17,14 +17,14 @@ function findBestKey(config) {
17
17
  }
18
18
  function prepareShapeMap(config, key) {
19
19
  return config.reduce((acc, c) => {
20
- const shape = Shape(c);
20
+ const shape = require__.Shape(c);
21
21
  const discriminator = key in c ? c[key] : "$of" in c ? c.$of[key] : shape.$of[key];
22
22
  acc[discriminator] = shape;
23
23
  return acc;
24
24
  }, {});
25
25
  }
26
26
  const DiscriminatedUnion = (of, ...args) => {
27
- const base = args[0] || Empty;
27
+ const base = args[0] || require__.Empty;
28
28
  const key = findBestKey(of);
29
29
  const map = prepareShapeMap(of, key);
30
30
  class $DiscriminatedUnion extends base {
@@ -61,5 +61,6 @@ const DiscriminatedUnion = (of, ...args) => {
61
61
  };
62
62
 
63
63
  //#endregion
64
- export { DiscriminatedUnion, findBestKey, prepareShapeMap };
65
- //# sourceMappingURL=discriminated-union.js.map
64
+ exports.DiscriminatedUnion = DiscriminatedUnion;
65
+ exports.findBestKey = findBestKey;
66
+ exports.prepareShapeMap = prepareShapeMap;
@@ -0,0 +1,64 @@
1
+ import { Empty, Shape } from "./_.mjs";
2
+
3
+ //#region src/discriminated-union.ts
4
+ function findBestKey(config) {
5
+ const hash = {};
6
+ for (const c of config) {
7
+ const shape = "$of" in c ? c.$of : c;
8
+ for (const key in shape) {
9
+ const k = key;
10
+ if (hash[key]) hash[key].add(shape[k]);
11
+ else hash[key] = new Set([shape[k]]);
12
+ }
13
+ }
14
+ const key = Object.entries(hash).map(([key, value]) => [key, value.size]).filter(([_, value]) => value === config.length).sort((a, b) => b[1] - a[1])?.[0]?.[0];
15
+ if (!key) throw new Error("Could not find key for DiscriminatedUnion");
16
+ return key;
17
+ }
18
+ function prepareShapeMap(config, key) {
19
+ return config.reduce((acc, c) => {
20
+ const shape = Shape(c);
21
+ const discriminator = key in c ? c[key] : "$of" in c ? c.$of[key] : shape.$of[key];
22
+ acc[discriminator] = shape;
23
+ return acc;
24
+ }, {});
25
+ }
26
+ const DiscriminatedUnion = (of, ...args) => {
27
+ const base = args[0] || Empty;
28
+ const key = findBestKey(of);
29
+ const map = prepareShapeMap(of, key);
30
+ class $DiscriminatedUnion extends base {
31
+ constructor(value) {
32
+ super();
33
+ this.value = value;
34
+ }
35
+ static $of = of;
36
+ static $shape = "discriminated-union";
37
+ serialize() {
38
+ return $DiscriminatedUnion.$serialize(this.value);
39
+ }
40
+ match(matcher, fallback) {
41
+ const element = this.value;
42
+ const handler = matcher[element[key]];
43
+ if (handler) return handler(element);
44
+ if (fallback) return fallback(element);
45
+ if (matcher._) return matcher._(element);
46
+ throw new Error("Non-exhaustive match");
47
+ }
48
+ static deserialize(value) {
49
+ return new this(this.$deserialize(value));
50
+ }
51
+ static $deserialize(value) {
52
+ const definition = map[value[key]];
53
+ if (!definition) throw new Error("Cannot deserialize DiscriminatedUnion");
54
+ return definition.$deserialize(value);
55
+ }
56
+ static $serialize(value) {
57
+ return map[value[key]].$serialize(value);
58
+ }
59
+ }
60
+ return $DiscriminatedUnion;
61
+ };
62
+
63
+ //#endregion
64
+ export { DiscriminatedUnion, findBestKey, prepareShapeMap };
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=discriminated-union.spec.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"discriminated-union.spec.d.ts","sourceRoot":"","sources":["../src/discriminated-union.spec.ts"],"names":[],"mappings":""}
package/dist/either.d.ts CHANGED
@@ -1,79 +1,84 @@
1
- import { ClassShorthand } from "./class.js";
2
- import { AbstractConstructor, Constructor, DefinitionOf, Empty, Expand } from "./_.js";
3
-
4
- //#region src/either.d.ts
1
+ import { type Constructor, type Expand, type DefinitionOf, type AbstractConstructor, Empty } from "./_";
2
+ import type { ClassShorthand } from "./class";
5
3
  type Config = {
6
- [key: string]: any;
4
+ [key: string]: any;
7
5
  };
8
- type ExhaustiveMatcher<C extends Config> = { [key in keyof C]: (value: InstanceType<C[key]>) => any };
9
- type UnsafeFallthroughMatcher<C extends Config> = { [key in keyof C]?: (value: InstanceType<C[key]>) => any } & {
10
- _: (value: InstanceType<C[keyof C]>) => any;
6
+ type ExhaustiveMatcher<C extends Config> = {
7
+ [key in keyof C]: (value: InstanceType<C[key]>) => any;
8
+ };
9
+ type UnsafeFallthroughMatcher<C extends Config> = {
10
+ [key in keyof C]?: (value: InstanceType<C[key]>) => any;
11
+ } & {
12
+ _: (value: InstanceType<C[keyof C]>) => any;
13
+ };
14
+ type PartialMatcher<C extends Config> = {
15
+ [key in keyof C]?: (value: InstanceType<C[key]>) => any;
11
16
  };
12
- type PartialMatcher<C extends Config> = { [key in keyof C]?: (value: InstanceType<C[key]>) => any };
13
17
  type Matcher<C extends Config> = ExhaustiveMatcher<C> | UnsafeFallthroughMatcher<C> | PartialMatcher<C>;
14
- type EitherConfiguration = {
15
- [key: string]: ClassShorthand;
18
+ export type EitherConfiguration = {
19
+ [key: string]: ClassShorthand;
16
20
  };
17
21
  type Internal<S extends EitherConfiguration, B extends AbstractConstructor<{}>> = {
18
- Definition: DefinitionOf<S[keyof S]>;
19
- Serialized: (B extends {
20
- $name: infer U;
21
- } ? {
22
- $name: U;
23
- } : {}) & {
24
- _key: keyof S;
25
- } & ReturnType<DefinitionOf<S[keyof S]>["$serialize"]>;
26
- Deserializing: (B extends {
27
- $name: infer U;
28
- } ? {
29
- $name: U;
30
- } : {}) & {
31
- _key: keyof S;
32
- } & Parameters<DefinitionOf<S[keyof S]>["$deserialize"]>[0];
33
- Inline: DefinitionOf<S[keyof S]>["$inline"];
22
+ Definition: DefinitionOf<S[keyof S]>;
23
+ Serialized: (B extends {
24
+ $name: infer U;
25
+ } ? {
26
+ $name: U;
27
+ } : {}) & {
28
+ _key: keyof S;
29
+ } & ReturnType<DefinitionOf<S[keyof S]>["$serialize"]>;
30
+ Deserializing: (B extends {
31
+ $name: infer U;
32
+ } ? {
33
+ $name: U;
34
+ } : {}) & {
35
+ _key: keyof S;
36
+ } & Parameters<DefinitionOf<S[keyof S]>["$deserialize"]>[0];
37
+ Inline: DefinitionOf<S[keyof S]>["$inline"];
34
38
  };
35
- declare const Either: <const S extends EitherConfiguration, const B extends AbstractConstructor<{}> = typeof Empty>(of: S, base?: B) => Omit<B, "prototype"> & Omit<(abstract new (value: DefinitionOf<S[keyof S]>["$inline"]) => {
36
- value: DefinitionOf<S[keyof S], typeof Empty>["$inline"];
37
- serialize(): Expand<{ [K in keyof S]: {
38
- _key: K;
39
- } & ReturnType<DefinitionOf<S[K]>["$serialize"]> }[keyof S]>;
40
- match<M extends Matcher<S>, F extends (M extends ExhaustiveMatcher<S> ? [] : M extends UnsafeFallthroughMatcher<S> ? [] : M extends PartialMatcher<S> ? [fallback: (value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>) => any] : [])>(matcher: M, ...fallback_n: F): (M[keyof M] extends ((...args: any[]) => any) ? ReturnType<M[keyof M]> : never) | (F[0] extends ((...args: any[]) => any) ? ReturnType<F[0]> : never);
39
+ export declare const Either: <const S extends EitherConfiguration, const B extends AbstractConstructor<{}> = typeof Empty>(of: S, base?: B) => Omit<B, "prototype"> & Omit<(abstract new (value: DefinitionOf<S[keyof S]>["$inline"]) => {
40
+ value: DefinitionOf<S[keyof S], typeof Empty>["$inline"];
41
+ serialize(): Expand<{ [K in keyof S]: {
42
+ _key: K;
43
+ } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S]>;
44
+ match<M extends Matcher<S>, F extends M extends ExhaustiveMatcher<S> ? [] : M extends UnsafeFallthroughMatcher<S> ? [] : M extends PartialMatcher<S> ? [fallback: (value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>) => any] : []>(matcher: M, ...fallback_n: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
41
45
  }) & {
42
- serialized: { [K in keyof S]: {
43
- _key: K;
44
- } & ReturnType<DefinitionOf<S[K]>["$serialize"]> }[keyof S];
45
- of: S;
46
- $shape: "either";
47
- deserialize<T extends /*elided*/any>(this: T, value: Expand<{ [K in keyof S]: {
48
- _key: K;
49
- } & ReturnType<DefinitionOf<S[K]>["$serialize"]> }[keyof S]>): InstanceType<T>;
50
- $deserialize<T extends /*elided*/any>(this: T, value: { [K in keyof S]: {
51
- _key: K;
52
- } & ReturnType<DefinitionOf<S[K]>["$serialize"]> }[keyof S]): DefinitionOf<S[keyof S]>["$inline"];
53
- $serialize<T extends /*elided*/any>(this: T, value: DefinitionOf<S[keyof S]>["$inline"]): { [K in keyof S]: {
54
- _key: K;
55
- } & ReturnType<DefinitionOf<S[K]>["$serialize"]> }[keyof S];
56
- $inline: DefinitionOf<S[keyof S]>["$inline"];
46
+ serialized: { [K in keyof S]: {
47
+ _key: K;
48
+ } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S];
49
+ of: S;
50
+ $shape: "either";
51
+ deserialize<T extends /*elided*/ any>(this: T, value: Expand<{ [K in keyof S]: {
52
+ _key: K;
53
+ } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S]>): InstanceType<T>;
54
+ $deserialize<T extends /*elided*/ any>(this: T, value: { [K in keyof S]: {
55
+ _key: K;
56
+ } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S]): DefinitionOf<S[keyof S]>["$inline"];
57
+ $serialize<T extends /*elided*/ any>(this: T, value: DefinitionOf<S[keyof S]>["$inline"]): { [K in keyof S]: {
58
+ _key: K;
59
+ } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S];
60
+ $inline: DefinitionOf<S[keyof S]>["$inline"];
57
61
  }, "prototype"> & (abstract new (value: Expand<DefinitionOf<S[keyof S]>["$inline"]>) => InstanceType<B> & {
58
- value: DefinitionOf<S[keyof S], typeof Empty>["$inline"];
59
- serialize(): Expand<{ [K in keyof S]: {
60
- _key: K;
61
- } & ReturnType<DefinitionOf<S[K]>["$serialize"]> }[keyof S]>;
62
- match<M extends Matcher<S>, F extends (M extends ExhaustiveMatcher<S> ? [] : M extends UnsafeFallthroughMatcher<S> ? [] : M extends PartialMatcher<S> ? [fallback: (value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>) => any] : [])>(matcher: M, ...fallback_n: F): (M[keyof M] extends ((...args: any[]) => any) ? ReturnType<M[keyof M]> : never) | (F[0] extends ((...args: any[]) => any) ? ReturnType<F[0]> : never);
62
+ value: DefinitionOf<S[keyof S], typeof Empty>["$inline"];
63
+ serialize(): Expand<{ [K in keyof S]: {
64
+ _key: K;
65
+ } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S]>;
66
+ match<M extends Matcher<S>, F extends M extends ExhaustiveMatcher<S> ? [] : M extends UnsafeFallthroughMatcher<S> ? [] : M extends PartialMatcher<S> ? [fallback: (value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>) => any] : []>(matcher: M, ...fallback_n: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
63
67
  });
64
- type Either<S extends EitherConfiguration, B extends AbstractConstructor<{}> = typeof Empty> = Omit<B, "prototype"> & (abstract new (value: Internal<S, B>["Inline"]) => {
65
- value: Internal<S, B>["Inline"];
66
- serialize(): Internal<S, B>["Serialized"];
67
- match<M extends Matcher<S>, F extends (M extends ExhaustiveMatcher<S> ? [] : M extends UnsafeFallthroughMatcher<S> ? [] : M extends PartialMatcher<S> ? [fallback: (value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>) => any] : [])>(matcher: M, ...fallback_n: F): (M[keyof M] extends ((...args: any[]) => any) ? ReturnType<M[keyof M]> : never) | (F[0] extends ((...args: any[]) => any) ? ReturnType<F[0]> : never);
68
+ export type Either<S extends EitherConfiguration, B extends AbstractConstructor<{}> = typeof Empty> = Omit<B, "prototype"> & (abstract new (value: Internal<S, B>["Inline"]) => {
69
+ value: Internal<S, B>["Inline"];
70
+ serialize(): Internal<S, B>["Serialized"];
71
+ match<M extends Matcher<S>, F extends M extends ExhaustiveMatcher<S> ? [] : M extends UnsafeFallthroughMatcher<S> ? [] : M extends PartialMatcher<S> ? [
72
+ fallback: (value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>) => any
73
+ ] : []>(matcher: M, ...fallback_n: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
68
74
  }) & {
69
- serialized: Internal<S, B>["Serialized"];
70
- of: S;
71
- $shape: "either";
72
- deserialize<T extends Constructor>(this: T, value: Internal<S, B>["Serialized"]): InstanceType<T>;
73
- $deserialize<T>(this: T, value: Internal<S, B>["Serialized"]): Internal<S, B>["Inline"];
74
- $serialize<T>(this: T, value: Internal<S, B>["Inline"]): Internal<S, B>["Serialized"];
75
- $inline: Internal<S, B>["Inline"];
75
+ serialized: Internal<S, B>["Serialized"];
76
+ of: S;
77
+ $shape: "either";
78
+ deserialize<T extends Constructor>(this: T, value: Internal<S, B>["Serialized"]): InstanceType<T>;
79
+ $deserialize<T>(this: T, value: Internal<S, B>["Serialized"]): Internal<S, B>["Inline"];
80
+ $serialize<T>(this: T, value: Internal<S, B>["Inline"]): Internal<S, B>["Serialized"];
81
+ $inline: Internal<S, B>["Inline"];
76
82
  };
77
- //#endregion
78
- export { Either, EitherConfiguration };
83
+ export {};
79
84
  //# sourceMappingURL=either.d.ts.map