@ddd-ts/shape 0.0.36 → 0.0.37

package/dist/class.spec.js

@@ -1,39 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const class_1 = require("./class");
-const dict_1 = require("./dict");
-const test_1 = require("./test");
-describe("Class", () => {
-    it("inline definition", () => {
-        class A {
-            serialize() {
-                return "a";
-            }
-            static deserialize(value) {
-                return new A();
-            }
-        }
-        class Test extends (0, dict_1.Dict)({
-            nested: (0, class_1.Class)(A),
-        }) {
-            test = true;
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserializes to self
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ nested: "a" });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Property is still there
-        const b = a.test;
-        (0, test_1.ex)(b).toBe(true).ok;
-        // Serializes to a precise type
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ nested: "a" }).ok;
-        // Shape is still there
-        (0, test_1.ex)(a.nested.serialize()).toBe("a").ok;
-        // Instantiates with a precise type
-        const e = new Test({ nested: new A() });
-        (0, test_1.ex)(e).toBeInstanceOf(Test).ok;
-    });
-});
-//# sourceMappingURL=class.spec.js.map

package/dist/class.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"class.spec.js","sourceRoot":"","sources":["../src/class.spec.ts"],"names":[],"mappings":";;AAAA,mCAAgC;AAChC,iCAA8B;AAC9B,iCAA4B;AAE5B,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;IACrB,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC;YACL,SAAS;gBACP,OAAO,GAAG,CAAC;YACb,CAAC;YAED,MAAM,CAAC,WAAW,CAAC,KAAa;gBAC9B,OAAO,IAAI,CAAC,EAAE,CAAC;YACjB,CAAC;SACF;QAED,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC;YACtB,MAAM,EAAE,IAAA,aAAK,EAAC,CAAC,CAAC;SACjB,CAAC;YACA,IAAI,GAAG,IAAa,CAAC;SACtB;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAiB,CAAC,EAAE,CAAC;QAE9C,uBAAuB;QACvB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5C,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,0BAA0B;QAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QACjB,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAE7B,+BAA+B;QAC/B,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;QAEpD,uBAAuB;QACvB,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAEtC,mCAAmC;QACnC,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["import { Class } from \"./class\";\nimport { Dict } from \"./dict\";\nimport { ex } from \"./test\";\n\ndescribe(\"Class\", () => {\n  it(\"inline definition\", () => {\n    class A {\n      serialize() {\n        return \"a\";\n      }\n\n      static deserialize(value: string) {\n        return new A();\n      }\n    }\n\n    class Test extends Dict({\n      nested: Class(A),\n    }) {\n      test = true as const;\n    }\n\n    type Serialized = { nested: string };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<{ nested: A }>().ok;\n\n    // Deserializes to self\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ nested: \"a\" });\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Property is still there\n    const b = a.test;\n    ex(b).toBe(true as const).ok;\n\n    // Serializes to a precise type\n    ex(a.serialize()).toStrictEqual({ nested: \"a\" }).ok;\n\n    // Shape is still there\n    ex(a.nested.serialize()).toBe(\"a\").ok;\n\n    // Instantiates with a precise type\n    const e = new Test({ nested: new A() });\n    ex(e).toBeInstanceOf(Test).ok;\n  });\n});\n"]}

package/dist/dict.d.ts

@@ -1,43 +0,0 @@
-import { DefinitionOf, Shorthand, Expand, AbstractConstructor, Constructor, Empty } from "./_";
-export type DictShorthand = {
-    [key: string]: Shorthand;
-};
-type Internal<S extends DictShorthand, B extends AbstractConstructor<{}>> = {
-    Definition: {
-        -readonly [K in keyof S]: DefinitionOf<S[K]>;
-    };
-    Serialized: (B extends {
-        $name: infer U;
-    } ? {
-        $name: U;
-    } : {}) & {
-        -readonly [K in keyof S]: ReturnType<DefinitionOf<S[K]>["$serialize"]>;
-    };
-    Deserializing: (B extends {
-        $name: infer U;
-    } ? {
-        $name: U;
-    } : {}) & {
-        -readonly [K in keyof S]: Parameters<DefinitionOf<S[K]>["$deserialize"]>[0];
-    };
-    Inline: {
-        -readonly [K in keyof S]: DefinitionOf<S[K]>["$inline"];
-    };
-};
-export declare const Dict: <const S extends {
-    [key: string]: any;
-}, B extends AbstractConstructor<{}> = typeof Empty>(of: S, base?: B) => IDict<S, B>;
-export type IDict<S extends {
-    [key: string]: any;
-}, B extends AbstractConstructor<{}> = typeof Empty> = Omit<B, ""> & {
-    $shape: "dict";
-    $of: S;
-    deserialize<T extends Constructor>(this: T, value: Expand<Internal<S, B>["Serialized"]>): InstanceType<T>;
-    $deserialize<T>(this: T, value: Internal<S, B>["Deserializing"]): Internal<S, B>["Inline"];
-    $serialize<T extends Constructor>(this: T, value: InstanceType<T>): Internal<S, B>["Serialized"];
-    $inline: Internal<S, B>["Inline"];
-} & (abstract new (value: Expand<Internal<S, B>["Inline"]>) => InstanceType<B> & {
-    serialize(): Expand<Internal<S, B>["Serialized"]>;
-} & Internal<S, B>["Inline"]);
-export {};
-//# sourceMappingURL=dict.d.ts.map

package/dist/dict.d.ts.map

@@ -1 +0,0 @@
-{"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,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

@@ -1,47 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Dict = void 0;
-const _1 = require("./_");
-const Dict = (of, base = _1.Empty) => {
-    class $Dict extends base {
-        static $shape = "dict";
-        static $of = of;
-        constructor(...args) {
-            super();
-            Object.assign(this, args[0]);
-        }
-        serialize() {
-            return $Dict.$serialize(this);
-        }
-        static deserialize(value) {
-            const runtime = this.$deserialize(value);
-            return new this(runtime);
-        }
-        static $deserialize(value) {
-            const split = Object.entries(of);
-            const transform = split.map(([key, child]) => {
-                const longhand = (0, _1.Shape)(child);
-                const deserialized = longhand.$deserialize(value[key]);
-                return [key, deserialized];
-            });
-            const merge = Object.fromEntries(transform);
-            return merge;
-        }
-        static $serialize(value) {
-            const split = Object.entries(of);
-            const transform = split.map(([key, child]) => {
-                const longhand = (0, _1.Shape)(child);
-                const serialized = longhand.$serialize(value[key]);
-                return [key, serialized];
-            });
-            const merge = Object.fromEntries(transform);
-            if ("$name" in base) {
-                return { ...merge, $name: base.$name };
-            }
-            return merge;
-        }
-    }
-    return $Dict;
-};
-exports.Dict = Dict;
-//# sourceMappingURL=dict.js.map

package/dist/dict.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"dict.js","sourceRoot":"","sources":["../src/dict.ts"],"names":[],"mappings":";;;AAAA,0BAQa;AAiBN,MAAM,IAAI,GAAG,CAIlB,EAAK,EACL,OAAU,QAAY,EACT,EAAE;IACf,MAAe,KAAM,SAAS,IAAuC;QACnE,MAAM,CAAC,MAAM,GAAG,MAAe,CAAC;QAChC,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,KAAU;YAEV,MAAM,OAAO,GAAI,IAAY,CAAC,YAAY,CAAC,KAAY,CAAC,CAAC;YACzD,OAAO,IAAI,IAAI,CAAC,OAAc,CAAQ,CAAC;QACzC,CAAC;QAED,MAAM,CAAC,YAAY,CAAkC,KAAU;YAC7D,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;YAE5C,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;gBACpB,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAS,CAAC;YAChD,CAAC;YAED,OAAO,KAAY,CAAC;QACtB,CAAC;;IAGH,OAAO,KAAY,CAAC;AACtB,CAAC,CAAC;AA5DW,QAAA,IAAI,QA4Df","sourcesContent":["import {\n  DefinitionOf,\n  Shorthand,\n  Shape,\n  Expand,\n  AbstractConstructor,\n  Constructor,\n  Empty,\n} from \"./_\";\n\nexport type DictShorthand = { [key: string]: Shorthand };\n\ntype Internal<S extends DictShorthand, B extends AbstractConstructor<{}>> = {\n  Definition: { -readonly [K in keyof S]: DefinitionOf<S[K]> };\n  Serialized: (B extends { $name: infer U } ? { $name: U } : {}) & {\n    -readonly [K in keyof S]: ReturnType<DefinitionOf<S[K]>[\"$serialize\"]>;\n  };\n  Deserializing: (B extends { $name: infer U } ? { $name: U } : {}) & {\n    -readonly [K in keyof S]: Parameters<DefinitionOf<S[K]>[\"$deserialize\"]>[0];\n  };\n  Inline: {\n    -readonly [K in keyof S]: DefinitionOf<S[K]>[\"$inline\"];\n  };\n};\n\nexport const Dict = <\n  const S extends { [key: string]: any },\n  B extends AbstractConstructor<{}> = typeof Empty,\n>(\n  of: S,\n  base: B = Empty as any,\n): IDict<S, B> => {\n  abstract class $Dict extends (base as any as AbstractConstructor<{}>) {\n    static $shape = \"dict\" as const;\n    static $of = of;\n\n    constructor(...args: any[]) {\n      super();\n      Object.assign(this, args[0]);\n    }\n\n    serialize() {\n      return $Dict.$serialize(this as any) as any;\n    }\n\n    static deserialize<T extends Constructor>(\n      this: T,\n      value: any,\n    ): InstanceType<T> {\n      const runtime = (this as any).$deserialize(value as any);\n      return new this(runtime as any) as any;\n    }\n\n    static $deserialize<T extends typeof $Dict>(this: T, value: any): any {\n      const split = Object.entries(of);\n      const transform = split.map(([key, child]) => {\n        const longhand = Shape(child) as any;\n        const deserialized = longhand.$deserialize((value as any)[key]);\n        return [key, deserialized];\n      });\n      const merge = Object.fromEntries(transform);\n      return merge;\n    }\n\n    static $serialize<T extends typeof $Dict>(\n      this: T,\n      value: InstanceType<T>,\n    ): any {\n      const split = Object.entries(of);\n      const transform = split.map(([key, child]) => {\n        const longhand = Shape(child as any) as any;\n        const serialized = longhand.$serialize((value as any)[key]);\n        return [key, serialized];\n      });\n      const merge = Object.fromEntries(transform);\n\n      if (\"$name\" in base) {\n        return { ...merge, $name: base.$name } as any;\n      }\n\n      return merge as any;\n    }\n  }\n\n  return $Dict as any;\n};\n\nexport type IDict<\n  S extends {\n    [key: string]: any;\n  },\n  B extends AbstractConstructor<{}> = typeof Empty,\n> = Omit<B, \"\"> & {\n  $shape: \"dict\";\n  $of: S;\n  deserialize<T extends Constructor>(\n    this: T,\n    value: Expand<Internal<S, B>[\"Serialized\"]>,\n  ): InstanceType<T>;\n  $deserialize<T>(\n    this: T,\n    value: Internal<S, B>[\"Deserializing\"],\n  ): Internal<S, B>[\"Inline\"];\n  $serialize<T extends Constructor>(\n    this: T,\n    value: InstanceType<T>,\n  ): Internal<S, B>[\"Serialized\"];\n  $inline: Internal<S, B>[\"Inline\"];\n} & (abstract new (\n    value: Expand<Internal<S, B>[\"Inline\"]>,\n  ) => InstanceType<B> & {\n    serialize(): Expand<Internal<S, B>[\"Serialized\"]>;\n  } & Internal<S, B>[\"Inline\"]);\n"]}

package/dist/dict.spec.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=dict.spec.d.ts.map

package/dist/dict.spec.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"dict.spec.d.ts","sourceRoot":"","sources":["../src/dict.spec.ts"],"names":[],"mappings":""}

package/dist/dict.spec.js

@@ -1,180 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const dict_1 = require("./dict");
-const primitive_1 = require("./primitive");
-const test_1 = require("./test");
-describe("Dict", () => {
-    it("class definition", () => {
-        class Test extends (0, dict_1.Dict)({
-            a: (0, primitive_1.Primitive)(String),
-            b: Number,
-        }) {
-            test = true;
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ a: "a", b: 1 });
-        expect(a).toBeInstanceOf(Test);
-        // Additional prototype
-        (0, test_1.ex)(a.test).toBe(true).ok;
-        // Inherited prototype from deserialization
-        (0, test_1.ex)(a.a).toBe("a").ok;
-        (0, test_1.ex)(a.b).toBe(1).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ a: "a", b: 1 }).ok;
-        // Instantiation
-        const b = new Test({ a: "a", b: 1 });
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Inherited prototype from instantiation
-        (0, test_1.ex)(b.a).toBe("a").ok;
-        (0, test_1.ex)(b.b).toBe(1).ok;
-    });
-    it("inline definition", () => {
-        class Test extends (0, dict_1.Dict)({
-            shorthand: { short: String },
-            longhand: (0, dict_1.Dict)({ long: Number }),
-        }) {
-            test = true;
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({
-            shorthand: { short: "test" },
-            longhand: { long: 1 },
-        });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Additional prototype
-        (0, test_1.ex)(a.test).toBe(true);
-        // Inherited prototype from deserialization
-        (0, test_1.ex)(a.shorthand).toStrictEqual({ short: "test" }).ok;
-        (0, test_1.ex)(a.longhand).toStrictEqual({ long: 1 }).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({
-            shorthand: { short: "test" },
-            longhand: { long: 1 },
-        }).ok;
-        // Instantiation
-        const b = new Test({ shorthand: { short: "test" }, longhand: { long: 1 } });
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Inherited prototype
-        (0, test_1.ex)(b.shorthand).toStrictEqual({ short: "test" }).ok;
-        (0, test_1.ex)(b.longhand).toStrictEqual({ long: 1 }).ok;
-    });
-    it("referenced definition", () => {
-        class A extends (0, dict_1.Dict)({ a: (0, primitive_1.Primitive)(Number) }) {
-        }
-        class Test extends (0, dict_1.Dict)({ nested: A }) {
-            test = true;
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ nested: { a: 1 } });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Additional prototype
-        (0, test_1.ex)(a.test).toBe(true).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ nested: { a: 1 } }).ok;
-        // Instantiation
-        const b = new Test({ nested: new A({ a: 2 }) });
-        (0, test_1.ex)(b).toBeInstanceOf(Test);
-        // Inherited prototype
-        (0, test_1.ex)(b.nested).toBeInstanceOf(A);
-        (0, test_1.ex)(b.nested.a).toBe(2);
-    });
-    it("mixin extension", () => {
-        const Testable = (shape) => {
-            // Dict does not support not specifying the specific keys
-            // of the shape at the extends level.
-            // This is due to the fact that the shape is not known at the
-            // time of the class definition, thus the returned instance
-            // would have unknown members at compile time.
-            // Use mixin supersede instead.
-            class I extends (0, dict_1.Dict)({ nested: shape }) {
-                deep = true;
-                static deep = true;
-            }
-            return I;
-        };
-        class Test extends Testable({ a: (0, primitive_1.Primitive)(Number) }) {
-            test = true;
-            // @ts-expect-error is not assignable to parameter of type 'true'
-            abstract = false;
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Additional static prototype
-        (0, test_1.ex)(Test.deep).toBe(true).ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ nested: { a: 1 } });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Additional prototype on deserialization
-        (0, test_1.ex)(a.test).toBe(true).ok;
-        (0, test_1.ex)(a.abstract).toBe(false).ok;
-        // Extended prototype on deserialization
-        (0, test_1.ex)(a.deep).toBe(true).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.nested).toStrictEqual({ a: 1 }).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ nested: { a: 1 } }).ok;
-        // Instantiation
-        const b = new Test({ nested: { a: 2 } });
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Additional prototype on instantiation
-        (0, test_1.ex)(b.test).toBe(true).ok;
-        (0, test_1.ex)(b.abstract).toBe(false).ok;
-        // Extended prototype on instantiation
-        (0, test_1.ex)(b.deep).toBe(true).ok;
-        // Inherited prototype on instantiation
-        (0, test_1.ex)(b.nested).toStrictEqual({ a: 2 }).ok;
-    });
-    it("mixin supersede", () => {
-        const Testable = (shape) => {
-            class I {
-                deep = true;
-                static deep = true;
-            }
-            return (0, dict_1.Dict)(shape, I);
-        };
-        class Test extends Testable({ a: (0, primitive_1.Primitive)(Number) }) {
-            test = true;
-            // @ts-expect-error is not assignable to parameter of type 'true'
-            abstract = false;
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Additional static prototype
-        (0, test_1.ex)(Test.deep).toBe(true).ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ a: 1 });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Additional prototype on deserialization
-        (0, test_1.ex)(a.test).toBe(true).ok;
-        (0, test_1.ex)(a.abstract).toBe(false).ok;
-        // Superseded prototype on deserialization
-        (0, test_1.ex)(a.deep).toBe(true).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.a).toBe(1).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ a: 1 }).ok;
-        // Instantiation
-        const b = new Test({ a: 2 });
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Additional prototype on instantiation
-        (0, test_1.ex)(b.test).toBe(true).ok;
-        (0, test_1.ex)(b.abstract).toBe(false).ok;
-        // Superseded prototype on instantiation
-        (0, test_1.ex)(b.deep).toBe(true).ok;
-        (0, test_1.ex)(b.abstract).toBe(false).ok;
-        // Inherited prototype on instantiation
-        (0, test_1.ex)(b.a).toBe(2).ok;
-    });
-});
-//# sourceMappingURL=dict.spec.js.map

package/dist/dict.spec.js.map

@@ -1 +0,0 @@
-{"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","sourcesContent":["import { Dict, DictShorthand } from \"./dict\";\nimport { Primitive } from \"./primitive\";\nimport { ex } from \"./test\";\n\ndescribe(\"Dict\", () => {\n  it(\"class definition\", () => {\n    class Test extends Dict({\n      a: Primitive(String),\n      b: Number,\n    }) {\n      test = true as const;\n    }\n\n    type Serialized = { a: string; b: number };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<Serialized>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ a: \"a\", b: 1 });\n    expect(a).toBeInstanceOf(Test);\n\n    // Additional prototype\n    ex(a.test).toBe(true as const).ok;\n\n    // Inherited prototype from deserialization\n    ex(a.a).toBe(\"a\").ok;\n    ex(a.b).toBe(1).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual({ a: \"a\", b: 1 }).ok;\n\n    // Instantiation\n    const b = new Test({ a: \"a\", b: 1 });\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype from instantiation\n    ex(b.a).toBe(\"a\").ok;\n    ex(b.b).toBe(1).ok;\n  });\n\n  it(\"inline definition\", () => {\n    class Test extends Dict({\n      shorthand: { short: String },\n      longhand: Dict({ long: Number }),\n    }) {\n      test = true as const;\n    }\n\n    type Serialized = {\n      shorthand: { short: string };\n      longhand: { long: number };\n    };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<Serialized>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({\n      shorthand: { short: \"test\" },\n      longhand: { long: 1 },\n    });\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Additional prototype\n    ex(a.test).toBe(true);\n\n    // Inherited prototype from deserialization\n    ex(a.shorthand).toStrictEqual({ short: \"test\" }).ok;\n    ex(a.longhand).toStrictEqual({ long: 1 }).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual({\n      shorthand: { short: \"test\" },\n      longhand: { long: 1 },\n    }).ok;\n\n    // Instantiation\n    const b = new Test({ shorthand: { short: \"test\" }, longhand: { long: 1 } });\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype\n    ex(b.shorthand).toStrictEqual({ short: \"test\" }).ok;\n    ex(b.longhand).toStrictEqual({ long: 1 }).ok;\n  });\n\n  it(\"referenced definition\", () => {\n    class A extends Dict({ a: Primitive(Number) }) {}\n\n    class Test extends Dict({ nested: A }) {\n      test = true as const;\n    }\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<{ nested: A }>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<{ nested: { a: number } }>().ok;\n    const a = Test.deserialize({ nested: { a: 1 } });\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Additional prototype\n    ex(a.test).toBe(true as const).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual({ nested: { a: 1 } }).ok;\n\n    // Instantiation\n    const b = new Test({ nested: new A({ a: 2 }) });\n    ex(b).toBeInstanceOf(Test);\n\n    // Inherited prototype\n    ex(b.nested).toBeInstanceOf(A);\n    ex(b.nested.a).toBe(2);\n  });\n\n  it(\"mixin extension\", () => {\n    const Testable = <S extends DictShorthand>(shape: S) => {\n      // Dict does not support not specifying the specific keys\n      // of the shape at the extends level.\n      // This is due to the fact that the shape is not known at the\n      // time of the class definition, thus the returned instance\n      // would have unknown members at compile time.\n      // Use mixin supersede instead.\n      abstract class I extends Dict({ nested: shape }) {\n        deep = true as const;\n        static deep = true as const;\n\n        abstract abstract: true;\n      }\n\n      return I;\n    };\n\n    class Test extends Testable({ a: Primitive(Number) }) {\n      test = true as const;\n\n      // @ts-expect-error is not assignable to parameter of type 'true'\n      abstract = false as const;\n    }\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<{ nested: { a: number } }>().ok;\n\n    // Additional static prototype\n    ex(Test.deep).toBe(true as const).ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<{ nested: { a: number } }>().ok;\n    const a = Test.deserialize({ nested: { a: 1 } });\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Additional prototype on deserialization\n    ex(a.test).toBe(true as const).ok;\n    ex(a.abstract).toBe(false as const).ok;\n\n    // Extended prototype on deserialization\n    ex(a.deep).toBe(true as const).ok;\n\n    // Inherited prototype on deserialization\n    ex(a.nested).toStrictEqual({ a: 1 }).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual({ nested: { a: 1 } }).ok;\n\n    // Instantiation\n    const b = new Test({ nested: { a: 2 } });\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Additional prototype on instantiation\n    ex(b.test).toBe(true as const).ok;\n    ex(b.abstract).toBe(false as const).ok;\n\n    // Extended prototype on instantiation\n    ex(b.deep).toBe(true as const).ok;\n\n    // Inherited prototype on instantiation\n    ex(b.nested).toStrictEqual({ a: 2 }).ok;\n  });\n\n  it(\"mixin supersede\", () => {\n    const Testable = <S extends DictShorthand>(shape: S) => {\n      abstract class I {\n        deep = true as const;\n        static deep = true as const;\n\n        abstract abstract: true;\n      }\n\n      return Dict(shape, I);\n    };\n\n    class Test extends Testable({ a: Primitive(Number) }) {\n      test = true as const;\n\n      // @ts-expect-error is not assignable to parameter of type 'true'\n      abstract = false as const;\n    }\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<{ a: number }>().ok;\n\n    // Additional static prototype\n    ex(Test.deep).toBe(true as const).ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<{ a: number }>().ok;\n    const a = Test.deserialize({ a: 1 });\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Additional prototype on deserialization\n    ex(a.test).toBe(true as const).ok;\n    ex(a.abstract).toBe(false as const).ok;\n\n    // Superseded prototype on deserialization\n    ex(a.deep).toBe(true as const).ok;\n\n    // Inherited prototype on deserialization\n    ex(a.a).toBe(1).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual({ a: 1 }).ok;\n\n    // Instantiation\n    const b = new Test({ a: 2 });\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Additional prototype on instantiation\n    ex(b.test).toBe(true as const).ok;\n    ex(b.abstract).toBe(false as const).ok;\n\n    // Superseded prototype on instantiation\n    ex(b.deep).toBe(true as const).ok;\n    ex(b.abstract).toBe(false as const).ok;\n\n    // Inherited prototype on instantiation\n    ex(b.a).toBe(2).ok;\n  });\n});\n"]}

package/dist/discriminated-union.d.ts

@@ -1,74 +0,0 @@
-import { Expand, DefinitionOf, AbstractConstructor, Empty, type Shorthand, type Definition } from "./_";
-import { ClassShorthand } from "./class";
-import { type DictShorthand } from "./dict";
-type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
-type PopUnion<U> = UnionToOvlds<U> extends (a: infer A) => void ? A : never;
-type UnionToArray<T, A extends unknown[] = []> = IsUnion<T> extends true ? UnionToArray<Exclude<T, PopUnion<T>>, [PopUnion<T>, ...A]> : [T, ...A];
-type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;
-type CountUnion<T> = UnionToArray<T> extends infer U extends any[] ? U["length"] : never;
-type UnshiftUnion<U> = UnionToArray<U> extends [infer F, ...any[]] ? F : never;
-type UnionToOvlds<U> = UnionToIntersection<U extends any ? (f: U) => void : never>;
-type IsStringLiteral<T> = T extends string ? string extends T ? false : true : false;
-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>;
-type MatcherConfig = {
-    [key: string]: any;
-};
-type ExhaustiveMatcher<C> = C extends MatcherConfig ? {
-    [key in keyof C]: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any;
-} : never;
-type UnsafeFallthroughMatcher<C> = C extends MatcherConfig ? {
-    [key in keyof C]?: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any;
-} & {
-    _: (value: Expand<DefinitionOf<C[keyof C]>["$inline"]>) => any;
-} : never;
-type PartialMatcher<C> = C extends MatcherConfig ? {
-    [key in keyof C]?: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any;
-} : never;
-type Matcher<C> = C extends MatcherConfig ? ExhaustiveMatcher<C> | UnsafeFallthroughMatcher<C> | PartialMatcher<C> : never;
-type Config = DictShorthandInput | ClassInput | ClassDictInput | DictInput;
-type ClassInput = ClassShorthand;
-type ClassDictInput = ClassShorthand & {
-    $of: {};
-};
-type DictInput = {
-    $of: {};
-};
-type DictShorthandInput = DictShorthand;
-type Access<T, K> = K extends keyof T ? T[K] : never;
-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]>;
-type GetShape<S extends Config> = S extends DictInput ? S["$of"] : S extends ClassInput ? Access<S, "prototype"> : S;
-export type BestKey<S extends readonly Config[]> = {
-    [key in keyof S]: GetShape<S[key]>;
-}[number] extends infer U ? FindBestKeyForMatching<U> : never;
-export type DiscriminatedUnionConfiguration = readonly Config[];
-export declare function findBestKey(config: DiscriminatedUnionConfiguration): string;
-export declare function prepareShapeMap(config: DiscriminatedUnionConfiguration, key: string): {
-    [key: string]: Definition;
-};
-type Internal<S extends DiscriminatedUnionConfiguration, K extends BestKey<S>> = {
-    Map: Entries<S, K>;
-    Serialized: ReturnType<DefinitionOf<S[number]>["$serialize"]>;
-    Inline: DefinitionOf<S[number]>["$inline"];
-};
-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>;
-export type IDiscriminatedUnion<S extends DiscriminatedUnionConfiguration, K extends BestKey<S>, B extends AbstractConstructor = typeof Empty> = Omit<B, "prototype"> & {
-    $shape: "discriminated-union";
-    $of: S;
-    serialized: Internal<S, K>["Serialized"];
-    deserialize<T>(this: T, value: Expand<Internal<S, K>["Serialized"]>): T extends AbstractConstructor ? InstanceType<T> : any;
-    $deserialize<T>(this: T, value: Internal<S, K>["Serialized"]): Internal<S, K>["Inline"];
-    $serialize<T extends AbstractConstructor>(this: T, value: InstanceType<T>): Internal<S, K>["Serialized"];
-    $inline: Internal<S, K>["Inline"];
-} & (abstract new (value: Internal<S, K>["Inline"]) => InstanceType<B> & {
-    value: Internal<S, K>["Inline"];
-    serialize(): Internal<S, K>["Serialized"];
-    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);
-});
-export {};
-//# sourceMappingURL=discriminated-union.d.ts.map

package/dist/discriminated-union.d.ts.map

@@ -1 +0,0 @@
-{"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,EAEd,KAAK,UAAU,EAChB,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;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"}

package/dist/discriminated-union.js

@@ -1,97 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.DiscriminatedUnion = void 0;
-exports.findBestKey = findBestKey;
-exports.prepareShapeMap = prepareShapeMap;
-const _1 = require("./_");
-function findBestKey(config) {
-    const hash = {};
-    for (const c of config) {
-        const shape = "$of" in c ? c.$of : c;
-        for (const key in shape) {
-            const k = key;
-            if (hash[key]) {
-                hash[key].add(shape[k]);
-            }
-            else {
-                hash[key] = new Set([shape[k]]);
-            }
-        }
-    }
-    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];
-    if (!key) {
-        throw new Error("Could not find key for DiscriminatedUnion");
-    }
-    return key;
-}
-function prepareShapeMap(config, key) {
-    return config.reduce((acc, c) => {
-        const shape = (0, _1.Shape)(c);
-        // Here, we are handling the two cases of the configuration:
-        // - the first one is when the configuration is a Definition directly.
-        //   we can access the discriminator directly from the shape $of property
-        // - the second one is when the configuration is a DictShorthand or a plain Class.
-        //   we first have to turn it into a Definition before accessing the discriminator
-        //   Dict $of property references the configuration provided, which allows us to capture the discriminator
-        //   Class $of property references the constructor of the class, which allows us to capture the discriminator
-        //   which is mandatorily defined on the static side of the class
-        const discriminator = key in c
-            ? c[key]
-            : "$of" in c
-                ? c.$of[key]
-                : shape.$of[key];
-        acc[discriminator] = shape;
-        return acc;
-    }, {});
-}
-const DiscriminatedUnion = (of, ...args) => {
-    const base = args[0] || _1.Empty;
-    const key = findBestKey(of);
-    const map = prepareShapeMap(of, key);
-    class $DiscriminatedUnion extends base {
-        value;
-        constructor(value) {
-            super();
-            this.value = value;
-        }
-        static $of = of;
-        static $shape = "discriminated-union";
-        serialize() {
-            return $DiscriminatedUnion.$serialize(this.value);
-        }
-        match(matcher, fallback) {
-            const element = this.value;
-            const discriminant = element[key];
-            const handler = matcher[discriminant];
-            if (handler) {
-                return handler(element);
-            }
-            if (fallback) {
-                return fallback(element);
-            }
-            if (matcher._) {
-                return matcher._(element);
-            }
-            throw new Error("Non-exhaustive match");
-        }
-        static deserialize(value) {
-            return new this(this.$deserialize(value));
-        }
-        static $deserialize(value) {
-            const definition = map[value[key]];
-            if (!definition) {
-                throw new Error("Cannot deserialize DiscriminatedUnion");
-            }
-            return definition.$deserialize(value);
-        }
-        static $serialize(value) {
-            return map[value[key]].$serialize(value);
-        }
-    }
-    return $DiscriminatedUnion;
-};
-exports.DiscriminatedUnion = DiscriminatedUnion;
-//# sourceMappingURL=discriminated-union.js.map

package/dist/discriminated-union.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"discriminated-union.js","sourceRoot":"","sources":["../src/discriminated-union.ts"],"names":[],"mappings":";;;AA6HA,kCAyBC;AAED,0CAyBC;AAjLD,0BASa;AAoHb,SAAgB,WAAW,CAAC,MAAuC;IACjE,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,SAAgB,eAAe,CAC7B,MAAuC,EACvC,GAAW;IAEX,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,GAAG,IAAI,CAAC;YACN,CAAC,CAAE,CAAS,CAAC,GAAG,CAAC;YACjB,CAAC,CAAC,KAAK,IAAI,CAAC;gBACV,CAAC,CAAE,CAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBACrB,CAAC,CAAE,KAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEhC,GAAG,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC;QAC3B,OAAO,GAAG,CAAC;IACb,CAAC,EAAE,EAAE,CAAC,CAAC;AACT,CAAC;AAWM,MAAM,kBAAkB,GAAG,CAKhC,EAAK,EACL,GAAG,IAAgB,EACW,EAAE;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAK,QAAa,CAAC;IAEvC,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,KAAU;YAC3B,KAAK,EAAE,CAAC;YADS,UAAK,GAAL,KAAK,CAAK;QAE7B,CAAC;QAED,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,CAAC,MAAM,GAAG,qBAA8B,CAAC;QAE/C,SAAS;YACP,OAAO,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;QAED,KAAK,CAAC,OAAY,EAAE,QAAa;YAC/B,MAAM,OAAO,GAAQ,IAAI,CAAC,KAAK,CAAC;YAChC,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YAElC,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;YACtC,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC3B,CAAC;YACD,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC;gBACd,OAAO,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC5B,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC1C,CAAC;QAED,MAAM,CAAC,WAAW,CAAC,KAAU;YAC3B,OAAO,IAAK,IAAY,CAAC,IAAI,CAAC,YAAY,CAAC,KAAY,CAAC,CAAQ,CAAC;QACnE,CAAC;QAED,MAAM,CAAC,YAAY,CAAC,KAAU;YAC5B,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,CAAC,KAAU;YAC1B,OAAO,GAAG,CAAE,KAAa,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;;IAGH,OAAO,mBAA0B,CAAC;AACpC,CAAC,CAAC;AA5DW,QAAA,kBAAkB,sBA4D7B","sourcesContent":["import {\n  Constructor,\n  Expand,\n  DefinitionOf,\n  AbstractConstructor,\n  Empty,\n  type Shorthand,\n  Shape,\n  type Definition,\n} from \"./_\";\nimport { ClassShorthand } from \"./class\";\nimport { type DictShorthand } from \"./dict\";\n\ntype UnionToIntersection<U> = (\n  U extends unknown\n    ? (k: U) => void\n    : never\n) extends (k: infer I) => void\n  ? I\n  : never;\ntype PopUnion<U> = UnionToOvlds<U> extends (a: infer A) => void ? A : never;\n\ntype UnionToArray<T, A extends unknown[] = []> = IsUnion<T> extends true\n  ? UnionToArray<Exclude<T, PopUnion<T>>, [PopUnion<T>, ...A]>\n  : [T, ...A];\ntype IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;\n\ntype CountUnion<T> = UnionToArray<T> extends infer U extends any[]\n  ? U[\"length\"]\n  : never;\n\ntype UnshiftUnion<U> = UnionToArray<U> extends [infer F, ...any[]] ? F : never;\n\ntype UnionToOvlds<U> = UnionToIntersection<\n  U extends any ? (f: U) => void : never\n>;\n\ntype IsStringLiteral<T> = T extends string\n  ? string extends T\n    ? false\n    : true\n  : false;\n\ntype FindBestKeyForMatching<FromUnion> = UnshiftUnion<\n  keyof FromUnion extends infer K\n    ? K extends keyof FromUnion\n      ? CountUnion<Pick<FromUnion, K>[K]> extends CountUnion<FromUnion>\n        ? [IsStringLiteral<FromUnion[K]>] extends [true]\n          ? K\n          : never\n        : never\n      : never\n    : never\n>;\n\ntype MatcherConfig = { [key: string]: any };\n\ntype ExhaustiveMatcher<C> = C extends MatcherConfig\n  ? {\n      [key in keyof C]: (value: Expand<DefinitionOf<C[key]>[\"$inline\"]>) => any;\n    }\n  : never;\n\ntype UnsafeFallthroughMatcher<C> = C extends MatcherConfig\n  ? {\n      [key in keyof C]?: (\n        value: Expand<DefinitionOf<C[key]>[\"$inline\"]>,\n      ) => any;\n    } & {\n      _: (value: Expand<DefinitionOf<C[keyof C]>[\"$inline\"]>) => any;\n    }\n  : never;\n\ntype PartialMatcher<C> = C extends MatcherConfig\n  ? {\n      [key in keyof C]?: (\n        value: Expand<DefinitionOf<C[key]>[\"$inline\"]>,\n      ) => any;\n    }\n  : never;\n\ntype Matcher<C> = C extends MatcherConfig\n  ? ExhaustiveMatcher<C> | UnsafeFallthroughMatcher<C> | PartialMatcher<C>\n  : never;\n\ntype Config = DictShorthandInput | ClassInput | ClassDictInput | DictInput;\n\ntype ClassInput = ClassShorthand;\n\ntype ClassDictInput = ClassShorthand & { $of: {} };\n\ntype DictInput = { $of: {} };\n\ntype DictShorthandInput = DictShorthand;\n\ntype Access<T, K> = K extends keyof T ? T[K] : never;\n\ntype Entries<T extends readonly any[], K> = UnionToIntersection<\n  {\n    [i in keyof T]: Access<GetShape<T[i]>, K> extends infer U extends string\n      ? IsStringLiteral<U> extends true\n        ? {\n            [key in U]: T[i] extends DictShorthandInput\n              ? DefinitionOf<T[i]>\n              : T[i];\n          }\n        : never\n      : never;\n  }[number]\n>;\n\ntype GetShape<S extends Config> = S extends DictInput\n  ? S[\"$of\"]\n  : S extends ClassInput\n    ? Access<S, \"prototype\">\n    : S;\n\nexport type BestKey<S extends readonly Config[]> = {\n  [key in keyof S]: GetShape<S[key]>;\n}[number] extends infer U\n  ? FindBestKeyForMatching<U>\n  : never;\n\nexport type DiscriminatedUnionConfiguration = readonly Config[];\n\nexport function findBestKey(config: DiscriminatedUnionConfiguration) {\n  const hash: Record<string, Set<string>> = {};\n\n  for (const c of config) {\n    const shape = \"$of\" in c ? c.$of : c;\n    for (const key in shape) {\n      const k = key as keyof typeof shape;\n      if (hash[key]) {\n        hash[key].add(shape[k]);\n      } else {\n        hash[key] = new Set([shape[k]]);\n      }\n    }\n  }\n\n  const key = Object.entries(hash)\n    .map(([key, value]) => [key, value.size] as const)\n    .filter(([_, value]) => value === config.length)\n    .sort((a, b) => b[1] - a[1])?.[0]?.[0];\n\n  if (!key) {\n    throw new Error(\"Could not find key for DiscriminatedUnion\");\n  }\n\n  return key;\n}\n\nexport function prepareShapeMap(\n  config: DiscriminatedUnionConfiguration,\n  key: string,\n) {\n  return config.reduce<{ [key: string]: Definition }>((acc, c) => {\n    const shape = Shape(c);\n\n    // Here, we are handling the two cases of the configuration:\n    // - the first one is when the configuration is a Definition directly.\n    //   we can access the discriminator directly from the shape $of property\n    // - the second one is when the configuration is a DictShorthand or a plain Class.\n    //   we first have to turn it into a Definition before accessing the discriminator\n    //   Dict $of property references the configuration provided, which allows us to capture the discriminator\n    //   Class $of property references the constructor of the class, which allows us to capture the discriminator\n    //   which is mandatorily defined on the static side of the class\n    const discriminator =\n      key in c\n        ? (c as any)[key]\n        : \"$of\" in c\n          ? (c as any).$of[key]\n          : (shape as any).$of[key];\n\n    acc[discriminator] = shape;\n    return acc;\n  }, {});\n}\n\ntype Internal<\n  S extends DiscriminatedUnionConfiguration,\n  K extends BestKey<S>,\n> = {\n  Map: Entries<S, K>;\n  Serialized: ReturnType<DefinitionOf<S[number]>[\"$serialize\"]>;\n  Inline: DefinitionOf<S[number]>[\"$inline\"];\n};\n\nexport const DiscriminatedUnion = <\n  S extends DiscriminatedUnionConfiguration,\n  K extends BestKey<S>,\n  const B extends AbstractConstructor = typeof Empty,\n>(\n  of: S,\n  ...args: [base?: B]\n): IDiscriminatedUnion<S, K, B> => {\n  const base = args[0] || (Empty as any);\n\n  const key = findBestKey(of);\n  const map = prepareShapeMap(of, key);\n\n  abstract class $DiscriminatedUnion extends (base as any as Constructor<{}>) {\n    constructor(public value: any) {\n      super();\n    }\n\n    static $of = of;\n    static $shape = \"discriminated-union\" as const;\n\n    serialize() {\n      return $DiscriminatedUnion.$serialize(this.value);\n    }\n\n    match(matcher: any, fallback: any) {\n      const element: any = this.value;\n      const discriminant = element[key];\n\n      const handler = matcher[discriminant];\n      if (handler) {\n        return handler(element);\n      }\n      if (fallback) {\n        return fallback(element);\n      }\n      if (matcher._) {\n        return matcher._(element);\n      }\n      throw new Error(\"Non-exhaustive match\");\n    }\n\n    static deserialize(value: any) {\n      return new (this as any)(this.$deserialize(value as any)) as any;\n    }\n\n    static $deserialize(value: any) {\n      const definition = map[value[key]];\n      if (!definition) {\n        throw new Error(\"Cannot deserialize DiscriminatedUnion\");\n      }\n      return (definition as any).$deserialize(value);\n    }\n\n    static $serialize(value: any): any {\n      return map[(value as any)[key]].$serialize(value);\n    }\n  }\n\n  return $DiscriminatedUnion as any;\n};\n\nexport type IDiscriminatedUnion<\n  S extends DiscriminatedUnionConfiguration,\n  K extends BestKey<S>,\n  B extends AbstractConstructor = typeof Empty,\n> = Omit<B, \"prototype\"> & {\n  $shape: \"discriminated-union\";\n  $of: S;\n  serialized: Internal<S, K>[\"Serialized\"];\n  deserialize<T>(\n    this: T,\n    value: Expand<Internal<S, K>[\"Serialized\"]>,\n  ):  T extends AbstractConstructor ? InstanceType<T> : any;\n  $deserialize<T>(\n    this: T,\n    value: Internal<S, K>[\"Serialized\"],\n  ): Internal<S, K>[\"Inline\"];\n  $serialize<T extends AbstractConstructor>(\n    this: T,\n    value: InstanceType<T>,\n  ): Internal<S, K>[\"Serialized\"];\n  $inline: Internal<S, K>[\"Inline\"];\n} & (abstract new (\n    value: Internal<S, K>[\"Inline\"],\n  ) => InstanceType<B> & {\n    value: Internal<S, K>[\"Inline\"];\n    serialize(): Internal<S, K>[\"Serialized\"];\n    match<\n      M extends Matcher<Internal<S, K>[\"Map\"]>,\n      F extends M extends ExhaustiveMatcher<Internal<S, K>[\"Map\"]>\n        ? []\n        : M extends UnsafeFallthroughMatcher<Internal<S, K>[\"Map\"]>\n          ? []\n          : M extends PartialMatcher<Internal<S, K>[\"Map\"]>\n            ? [\n                fallback: (\n                  value: Omit<Internal<S, K>[\"Map\"], keyof M>[keyof Omit<\n                    Internal<S, K>[\"Map\"],\n                    keyof M\n                  >] extends infer U extends Shorthand\n                    ? Expand<DefinitionOf<U>[\"$inline\"]>\n                    : never,\n                ) => any,\n              ]\n            : [],\n    >(\n      matcher: M,\n      ...fallback_n: F\n    ):\n      | (M[keyof M] extends (...args: any[]) => any\n          ? ReturnType<M[keyof M]>\n          : never)\n      | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);\n  });\n"]}

package/dist/discriminated-union.spec.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=discriminated-union.spec.d.ts.map

package/dist/discriminated-union.spec.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"discriminated-union.spec.d.ts","sourceRoot":"","sources":["../src/discriminated-union.spec.ts"],"names":[],"mappings":""}