@ddd-ts/shape 0.0.36 → 0.0.38

package/dist/choice.spec.js

@@ -1,147 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const choice_1 = require("./choice");
-const dict_1 = require("./dict");
-const test_1 = require("./test");
-describe("Choice", () => {
-    it("class definition", () => {
-        class Test extends (0, choice_1.Choice)(["a", "b", "c"]) {
-            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");
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Additional prototype
-        (0, test_1.ex)(a.test).toBe(true).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.value).toBe("a").ok;
-        (0, test_1.ex)(a.match({
-            a: () => 1,
-            b: () => 2,
-            _: () => 3,
-        })).toBe(1).ok;
-        (0, test_1.ex)(a.is("a")).toBe(true).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toBe("a").ok;
-        // Instantiation
-        const b = new Test("a");
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Inherited prototype on instantiation
-        (0, test_1.ex)(b.value).toBe("a").ok;
-        (0, test_1.ex)(a.match({
-            a: () => 1,
-            b: () => 2,
-            _: () => 3,
-        })).toBe(1).ok;
-        (0, test_1.ex)(b.is("a")).toBe(true).ok;
-        // Inherited statics
-        (0, test_1.ex)(Test.a()).toBeInstanceOf(Test).ok;
-        (0, test_1.ex)(Test.b()).toBeInstanceOf(Test).ok;
-        (0, test_1.ex)(Test.c()).toBeInstanceOf(Test).ok;
-    });
-    it("inlined definition", () => {
-        class Test extends (0, dict_1.Dict)({ nested: (0, choice_1.Choice)(["a", "b", "c"]) }) {
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ nested: "b" });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.nested).toBe("b").ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({
-            nested: "b",
-        }).ok;
-        // Instantiation
-        const e = new Test({ nested: "b" });
-        (0, test_1.ex)(e).toBeInstanceOf(Test).ok;
-    });
-    it("referenced definition", () => {
-        class Reference extends (0, choice_1.Choice)(["a", "b", "c"]) {
-        }
-        class Test extends (0, dict_1.Dict)({ nested: Reference }) {
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ nested: "a" });
-        (0, test_1.ex)(a).toBeInstanceOf(Test);
-        // Preserve reference
-        (0, test_1.ex)(a.nested).toBeInstanceOf(Reference);
-        (0, test_1.ex)(a.nested.is("a")).toBe(true);
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ nested: "a" });
-        // Instantiation
-        const b = new Test({ nested: new Reference("c") });
-        expect(b).toBeInstanceOf(Test);
-    });
-    it("mixin extension are not supported", () => {
-        const Mixin = (choices) => {
-            // @ts-expect-error https://github.com/microsoft/TypeScript/issues/57674
-            class Mix extends (0, choice_1.Choice)(choices) {
-                static d;
-            }
-            return Mix;
-        };
-        expect(true).toBe(true);
-    });
-    it("mixin supersede", () => {
-        const Testable = (choices) => {
-            class I {
-                deep = true;
-                static deep = true;
-            }
-            return (0, choice_1.Choice)(choices, I);
-        };
-        class Test extends Testable(["a", "b", "c"]) {
-            test = true;
-            // @ts-expect-error is not assignable to parameter of type 'true'
-            abstract = false;
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize("a");
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Additional prototype
-        (0, test_1.ex)(a.test).toBe(true).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.value).toBe("a").ok;
-        (0, test_1.ex)(a.match({
-            a: () => 1,
-            b: () => 2,
-            _: () => 3,
-        })).toBe(1).ok;
-        (0, test_1.ex)(a.is("a")).toBe(true).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toBe("a").ok;
-        // Instantiation
-        const b = new Test("a");
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Inherited prototype on instantiation
-        (0, test_1.ex)(b.value).toBe("a").ok;
-        (0, test_1.ex)(a.match({
-            a: () => 1,
-            b: () => 2,
-            _: () => 3,
-        })).toBe(1).ok;
-        (0, test_1.ex)(b.is("a")).toBe(true).ok;
-        // Inherited statics
-        (0, test_1.ex)(Test.a()).toBeInstanceOf(Test).ok;
-        (0, test_1.ex)(Test.b()).toBeInstanceOf(Test).ok;
-        (0, test_1.ex)(Test.c()).toBeInstanceOf(Test).ok;
-        // Additional inherited static prototype
-        (0, test_1.ex)(Test.deep).toBe(true).ok;
-        // Additional inherited prototype
-        (0, test_1.ex)(b.abstract).toBe(false).ok;
-        (0, test_1.ex)(b.deep).toBe(true).ok;
-    });
-});
-//# sourceMappingURL=choice.spec.js.map

package/dist/choice.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"choice.spec.js","sourceRoot":"","sources":["../src/choice.spec.ts"],"names":[],"mappings":";;AAAA,qCAAkC;AAClC,iCAA8B;AAC9B,iCAA4B;AAE5B,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAK,SAAQ,IAAA,eAAM,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxC,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,GAAG,CAAC,CAAC;QAChC,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,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1C,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;SACpB,CAAC,CACH,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE5B,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAEhD,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1C,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;SACpB,CAAC,CACH,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE5B,oBAAoB;QACpB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,IAAA,eAAM,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;SAAG;QAI/D,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,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5C,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAE3C,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAA8B;YAC3D,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC,EAAE,CAAC;QAEN,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACpC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,SAAU,SAAQ,IAAA,eAAM,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;SAAG;QAClD,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;SAAG;QAIjD,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAyB,CAAC,EAAE,CAAC;QAEtD,kBAAkB;QAClB,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;QAE3B,qBAAqB;QACrB,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEhC,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAE7D,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,CAA2B,OAAU,EAAE,EAAE;YACrD,wEAAwE;YACxE,MAAe,GAAI,SAAQ,IAAA,eAAM,EAAC,OAAO,CAAC;gBACxC,MAAM,CAAC,CAAC,CAAM;aACf;YAED,OAAO,GAA2C,CAAC;QACrD,CAAC,CAAC;QAEF,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,CAA2B,OAAU,EAAE,EAAE;YACxD,MAAe,CAAC;gBACd,IAAI,GAAG,IAAa,CAAC;gBACrB,MAAM,CAAC,IAAI,GAAG,IAAa,CAAC;;YAK9B,OAAO,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC5B,CAAC,CAAC;QAEF,MAAM,IAAK,SAAQ,QAAQ,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC1C,IAAI,GAAG,IAAa,CAAC;YAErB,iEAAiE;YACjE,QAAQ,GAAG,KAAc,CAAC;SAC3B;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,GAAG,CAAC,CAAC;QAChC,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,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAa,GAAG,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;SACpB,CAAC,CACH,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE5B,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAa,GAAG,CAAC,CAAC,EAAE,CAAC;QAE3C,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAa,GAAG,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;SACpB,CAAC,CACH,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE5B,oBAAoB;QACpB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAErC,wCAAwC;QACxC,IAAA,SAAE,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAErC,iCAAiC;QACjC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["import { Choice } from \"./choice\";\nimport { Dict } from \"./dict\";\nimport { ex } from \"./test\";\n\ndescribe(\"Choice\", () => {\n  it(\"class definition\", () => {\n    class Test extends Choice([\"a\", \"b\", \"c\"]) {\n      test = true as const;\n    }\n\n    type Serialized = \"a\" | \"b\" | \"c\";\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\");\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Additional prototype\n    ex(a.test).toBe(true as const).ok;\n\n    // Inherited prototype on deserialization\n    ex(a.value).toBe<\"a\" | \"b\" | \"c\">(\"a\").ok;\n    ex(\n      a.match({\n        a: () => 1 as const,\n        b: () => 2 as const,\n        _: () => 3 as const,\n      }),\n    ).toBe<1 | 2 | 3>(1).ok;\n    ex(a.is(\"a\")).toBe(true).ok;\n\n    // Serialization\n    ex(a.serialize()).toBe<\"a\" | \"b\" | \"c\">(\"a\").ok;\n\n    // Instantiation\n    const b = new Test(\"a\");\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on instantiation\n    ex(b.value).toBe<\"a\" | \"b\" | \"c\">(\"a\").ok;\n    ex(\n      a.match({\n        a: () => 1 as const,\n        b: () => 2 as const,\n        _: () => 3 as const,\n      }),\n    ).toBe<1 | 2 | 3>(1).ok;\n    ex(b.is(\"a\")).toBe(true).ok;\n\n    // Inherited statics\n    ex(Test.a()).toBeInstanceOf(Test).ok;\n    ex(Test.b()).toBeInstanceOf(Test).ok;\n    ex(Test.c()).toBeInstanceOf(Test).ok;\n  });\n\n  it(\"inlined definition\", () => {\n    class Test extends Dict({ nested: Choice([\"a\", \"b\", \"c\"]) }) {}\n\n    type Serialized = { nested: \"a\" | \"b\" | \"c\" };\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({ nested: \"b\" });\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on deserialization\n    ex(a.nested).toBe<\"a\" | \"b\" | \"c\">(\"b\").ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<{ nested: \"a\" | \"b\" | \"c\" }>({\n      nested: \"b\",\n    }).ok;\n\n    // Instantiation\n    const e = new Test({ nested: \"b\" });\n    ex(e).toBeInstanceOf(Test).ok;\n  });\n\n  it(\"referenced definition\", () => {\n    class Reference extends Choice([\"a\", \"b\", \"c\"]) {}\n    class Test extends Dict({ nested: Reference }) {}\n\n    type Serialized = { nested: \"a\" | \"b\" | \"c\" };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<{ nested: Reference }>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ nested: \"a\" });\n    ex(a).toBeInstanceOf(Test);\n\n    // Preserve reference\n    ex(a.nested).toBeInstanceOf(Reference);\n    ex(a.nested.is(\"a\")).toBe(true);\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({ nested: \"a\" });\n\n    // Instantiation\n    const b = new Test({ nested: new Reference(\"c\") });\n    expect(b).toBeInstanceOf(Test);\n  });\n\n  it(\"mixin extension are not supported\", () => {\n    const Mixin = <const S extends string[]>(choices: S) => {\n      // @ts-expect-error https://github.com/microsoft/TypeScript/issues/57674\n      abstract class Mix extends Choice(choices) {\n        static d: \"d\";\n      }\n\n      return Mix as typeof Mix & { [K in S[number]]: K };\n    };\n\n    expect(true).toBe(true);\n  });\n\n  it(\"mixin supersede\", () => {\n    const Testable = <const S extends string[]>(choices: 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 Choice(choices, I);\n    };\n\n    class Test extends Testable([\"a\", \"b\", \"c\"]) {\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    type Serialized = \"a\" | \"b\" | \"c\";\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\");\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Additional prototype\n    ex(a.test).toBe(true as const).ok;\n\n    // Inherited prototype on deserialization\n    ex(a.value).toBe<Serialized>(\"a\").ok;\n    ex(\n      a.match({\n        a: () => 1 as const,\n        b: () => 2 as const,\n        _: () => 3 as const,\n      }),\n    ).toBe<1 | 2 | 3>(1).ok;\n    ex(a.is(\"a\")).toBe(true).ok;\n\n    // Serialization\n    ex(a.serialize()).toBe<Serialized>(\"a\").ok;\n\n    // Instantiation\n    const b = new Test(\"a\");\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on instantiation\n    ex(b.value).toBe<Serialized>(\"a\").ok;\n    ex(\n      a.match({\n        a: () => 1 as const,\n        b: () => 2 as const,\n        _: () => 3 as const,\n      }),\n    ).toBe<1 | 2 | 3>(1).ok;\n    ex(b.is(\"a\")).toBe(true).ok;\n\n    // Inherited statics\n    ex(Test.a()).toBeInstanceOf(Test).ok;\n    ex(Test.b()).toBeInstanceOf(Test).ok;\n    ex(Test.c()).toBeInstanceOf(Test).ok;\n\n    // Additional inherited static prototype\n    ex(Test.deep).toBe(true as const).ok;\n\n    // Additional inherited prototype\n    ex(b.abstract).toBe(false as const).ok;\n    ex(b.deep).toBe(true as const).ok;\n  });\n});\n"]}

package/dist/class.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"class.js","sourceRoot":"","sources":["../src/class.ts"],"names":[],"mappings":";;;AAAA,0BAAsE;AAM/D,MAAM,KAAK,GAAG,CAMnB,EAAK,EACL,IAAI,GAAG,QAAK,EACE,EAAE;IAIhB,MAAe,MAAO,SAAQ,IAAI;QAIb;QAHnB,MAAM,CAAC,MAAM,GAAG,OAAgB,CAAC;QACjC,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAEhB,YAAmB,KAAsB;YACvC,KAAK,EAAE,CAAC;YADS,UAAK,GAAL,KAAK,CAAiB;QAEzC,CAAC;QAED,MAAM,CAAC,WAAW,CAEhB,KAA8C;YAE9C,OAAO,IAAI,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAoB,CAAC;QAC5D,CAAC;QAED,SAAS;YACP,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,CAAC;QAED,MAAM,CAAC,YAAY,CAAC,KAAsC;YACxD,OAAO,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,MAAM,CAAC,UAAU,CAEf,KAAa;YAEb,OAAO,KAAK,CAAC,SAAS,EAAE,CAAC;QAC3B,CAAC;QAED,MAAM,CAAC,OAAO,CAAS;;IAGzB,OAAO,MAAa,CAAC;AACvB,CAAC,CAAC;AA9CW,QAAA,KAAK,SA8ChB","sourcesContent":["import { AbstractConstructor, Empty, Constructor, Expand } from \"./_\";\n\nexport type ClassShorthand = Constructor<{ serialize(): any }> & {\n  deserialize(value: any): any;\n};\n\nexport const Class = <\n  S extends Constructor<{ serialize(): any }> & {\n    deserialize(value: any): any;\n  },\n  B extends AbstractConstructor<any> = typeof Empty,\n>(\n  of: S,\n  base = Empty,\n): IClass<S, B> => {\n  type Serialized = ReturnType<InstanceType<S>[\"serialize\"]>;\n  type Inline = InstanceType<S>;\n\n  abstract class $Class extends base {\n    static $shape = \"class\" as const;\n    static $of = of;\n\n    constructor(public value: InstanceType<B>) {\n      super();\n    }\n\n    static deserialize<T extends Constructor<any>>(\n      this: T,\n      value: Expand<Parameters<S[\"deserialize\"]>[0]>,\n    ): InstanceType<T> {\n      return new this(of.deserialize(value)) as InstanceType<T>;\n    }\n\n    serialize<T extends $Class>(this: T): Expand<Serialized> {\n      return this.value.serialize();\n    }\n\n    static $deserialize(value: Parameters<S[\"deserialize\"]>[0]): Inline {\n      return of.deserialize(value);\n    }\n\n    static $serialize<T extends typeof $Class>(\n      this: T,\n      value: Inline,\n    ): Serialized {\n      return value.serialize();\n    }\n\n    static $inline: Inline;\n  }\n\n  return $Class as any;\n};\n\nexport type IClass<\n  S extends ClassShorthand,\n  B extends AbstractConstructor<any> = typeof Empty,\n> = (abstract new (\n  value: InstanceType<B>,\n) => {\n  value: InstanceType<B>;\n  serialize<T>(this: T): Expand<ReturnType<InstanceType<S>[\"serialize\"]>>;\n}) & {\n  $shape: \"class\";\n  $of: S;\n  deserialize<T extends Constructor<any>>(\n    this: T,\n    value: Expand<Parameters<S[\"deserialize\"]>[0]>,\n  ): InstanceType<T>;\n  $deserialize(value: Parameters<S[\"deserialize\"]>[0]): InstanceType<S>;\n  $serialize<T>(\n    this: T,\n    value: InstanceType<S>,\n  ): ReturnType<InstanceType<S>[\"serialize\"]>;\n  $inline: InstanceType<S>;\n};\n"]}

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.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.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.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"]}