@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.
- package/dist/_.d.ts +35 -34
- package/dist/_.d.ts.map +1 -1
- package/dist/_.js +16 -15
- package/dist/_.mjs +36 -0
- package/dist/addons/microsecond-timestamp.d.ts +22 -25
- package/dist/addons/microsecond-timestamp.d.ts.map +1 -1
- package/dist/addons/microsecond-timestamp.js +2 -2
- package/dist/addons/microsecond-timestamp.mjs +61 -0
- package/dist/choice.d.ts +28 -26
- package/dist/choice.d.ts.map +1 -1
- package/dist/choice.js +3 -4
- package/dist/choice.mjs +44 -0
- package/dist/choice.spec.d.ts +2 -0
- package/dist/choice.spec.d.ts.map +1 -0
- package/dist/class.d.ts +16 -20
- package/dist/class.d.ts.map +1 -1
- package/dist/class.js +3 -4
- package/dist/class.mjs +30 -0
- package/dist/class.spec.d.ts +2 -0
- package/dist/class.spec.d.ts.map +1 -0
- package/dist/dict.d.ts +35 -30
- package/dist/dict.d.ts.map +1 -1
- package/dist/dict.js +5 -6
- package/dist/dict.mjs +41 -0
- package/dist/dict.spec.d.ts +2 -0
- package/dist/dict.spec.d.ts.map +1 -0
- package/dist/discriminated-union.d.ts +48 -37
- package/dist/discriminated-union.d.ts.map +1 -1
- package/dist/discriminated-union.js +6 -5
- package/dist/discriminated-union.mjs +64 -0
- package/dist/discriminated-union.spec.d.ts +2 -0
- package/dist/discriminated-union.spec.d.ts.map +1 -0
- package/dist/either.d.ts +71 -66
- package/dist/either.d.ts.map +1 -1
- package/dist/either.js +4 -5
- package/dist/either.mjs +51 -0
- package/dist/either.spec.d.ts +2 -0
- package/dist/either.spec.d.ts.map +1 -0
- package/dist/index.d.ts +14 -14
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +31 -14
- package/dist/index.mjs +15 -0
- package/dist/literal.d.ts +12 -16
- package/dist/literal.d.ts.map +1 -1
- package/dist/literal.js +3 -4
- package/dist/literal.mjs +27 -0
- package/dist/literal.spec.d.ts +2 -0
- package/dist/literal.spec.d.ts.map +1 -0
- package/dist/mapping.d.ts +34 -25
- package/dist/mapping.d.ts.map +1 -1
- package/dist/mapping.js +7 -8
- package/dist/mapping.mjs +45 -0
- package/dist/mapping.spec.d.ts +2 -0
- package/dist/mapping.spec.d.ts.map +1 -0
- package/dist/multiple.d.ts +15 -18
- package/dist/multiple.d.ts.map +1 -1
- package/dist/multiple.js +4 -5
- package/dist/multiple.mjs +119 -0
- package/dist/multiple.spec.d.ts +2 -0
- package/dist/multiple.spec.d.ts.map +1 -0
- package/dist/nothing.d.ts +10 -14
- package/dist/nothing.d.ts.map +1 -1
- package/dist/nothing.js +3 -4
- package/dist/nothing.mjs +19 -0
- package/dist/nothing.spec.d.ts +2 -0
- package/dist/nothing.spec.d.ts.map +1 -0
- package/dist/optional.d.ts +19 -22
- package/dist/optional.d.ts.map +1 -1
- package/dist/optional.js +5 -6
- package/dist/optional.mjs +34 -0
- package/dist/optional.spec.d.ts +2 -0
- package/dist/optional.spec.d.ts.map +1 -0
- package/dist/primitive.d.ts +34 -17
- package/dist/primitive.d.ts.map +1 -1
- package/dist/primitive.js +3 -4
- package/dist/primitive.mjs +30 -0
- package/dist/primitive.spec.d.ts +2 -0
- package/dist/primitive.spec.d.ts.map +1 -0
- package/dist/test.d.ts +36 -0
- package/dist/test.d.ts.map +1 -0
- package/package.json +10 -5
- package/dist/_.js.map +0 -1
- package/dist/addons/microsecond-timestamp.js.map +0 -1
- package/dist/choice.js.map +0 -1
- package/dist/class.js.map +0 -1
- package/dist/dict.js.map +0 -1
- package/dist/discriminated-union.js.map +0 -1
- package/dist/either.js.map +0 -1
- package/dist/literal.js.map +0 -1
- package/dist/mapping.js.map +0 -1
- package/dist/multiple.js.map +0 -1
- package/dist/nothing.js.map +0 -1
- package/dist/optional.js.map +0 -1
- package/dist/primitive.js.map +0 -1
package/dist/dict.d.ts
CHANGED
|
@@ -1,38 +1,43 @@
|
|
|
1
|
-
import {
|
|
2
|
-
|
|
3
|
-
|
|
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
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
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
|
-
|
|
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
|
-
|
|
30
|
+
export type IDict<S extends {
|
|
31
|
+
[key: string]: any;
|
|
26
32
|
}, B extends AbstractConstructor<{}> = typeof Empty> = Omit<B, ""> & {
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
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
|
-
|
|
40
|
+
serialize(): Expand<Internal<S, B>["Serialized"]>;
|
|
35
41
|
} & Internal<S, B>["Inline"]);
|
|
36
|
-
|
|
37
|
-
export { Dict, DictShorthand, IDict };
|
|
42
|
+
export {};
|
|
38
43
|
//# sourceMappingURL=dict.d.ts.map
|
package/dist/dict.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dict.d.ts","
|
|
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
|
-
|
|
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
|
-
|
|
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 @@
|
|
|
1
|
+
{"version":3,"file":"dict.spec.d.ts","sourceRoot":"","sources":["../src/dict.spec.ts"],"names":[],"mappings":""}
|
|
@@ -1,10 +1,8 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import {
|
|
3
|
-
import {
|
|
4
|
-
|
|
5
|
-
|
|
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
|
-
|
|
14
|
+
[key: string]: any;
|
|
17
15
|
};
|
|
18
|
-
type ExhaustiveMatcher<C> = C extends MatcherConfig ? {
|
|
19
|
-
|
|
20
|
-
|
|
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
|
-
|
|
31
|
+
$of: {};
|
|
28
32
|
};
|
|
29
33
|
type DictInput = {
|
|
30
|
-
|
|
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<{
|
|
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[]> = {
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
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
|
-
|
|
44
|
-
|
|
45
|
-
|
|
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
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
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
|
-
|
|
58
|
-
|
|
59
|
-
|
|
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
|
-
|
|
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","
|
|
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
|
-
|
|
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
|
-
|
|
65
|
-
|
|
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 @@
|
|
|
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 {
|
|
2
|
-
import {
|
|
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
|
-
|
|
4
|
+
[key: string]: any;
|
|
7
5
|
};
|
|
8
|
-
type ExhaustiveMatcher<C extends Config> = {
|
|
9
|
-
|
|
10
|
-
|
|
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
|
-
|
|
18
|
+
export type EitherConfiguration = {
|
|
19
|
+
[key: string]: ClassShorthand;
|
|
16
20
|
};
|
|
17
21
|
type Internal<S extends EitherConfiguration, B extends AbstractConstructor<{}>> = {
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
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
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
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
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
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
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
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
|
-
|
|
66
|
-
|
|
67
|
-
|
|
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
|
-
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
|
|
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
|
-
|
|
78
|
-
export { Either, EitherConfiguration };
|
|
83
|
+
export {};
|
|
79
84
|
//# sourceMappingURL=either.d.ts.map
|