@ddd-ts/shape 0.0.0-feat.shape.ee0e705 → 0.0.0-fix-tb-better-either-serialization.1

package/dist/dict.spec.js

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

@@ -0,0 +1 @@
+{"version":3,"file":"dict.spec.js","sourceRoot":"","sources":["../src/dict.spec.ts"],"names":[],"mappings":";;AAAA,iCAA6C;AAC7C,2CAAwC;AACxC,iCAA4B;AAE5B,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;IACpB,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC;YACtB,CAAC,EAAE,IAAA,qBAAS,EAAC,MAAM,CAAC;YACpB,CAAC,EAAE,MAAM;SACV,CAAC;YACA,IAAI,GAAG,IAAa,CAAC;SACtB;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QAE3C,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAE/B,uBAAuB;QACvB,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAElC,2CAA2C;QAC3C,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACrB,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAEnB,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAErD,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACrC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACrB,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC;YACtB,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;YAC5B,QAAQ,EAAE,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;SACjC,CAAC;YACA,IAAI,GAAG,IAAa,CAAC;SACtB;QAOD,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QAE3C,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;YACzB,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;YAC5B,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE;SACtB,CAAC,CAAC;QACH,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uBAAuB;QACvB,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEtB,2CAA2C;QAC3C,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QACpD,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAE7C,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC;YAC9B,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;YAC5B,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE;SACtB,CAAC,CAAC,EAAE,CAAC;QAEN,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5E,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,sBAAsB;QACtB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QACpD,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,CAAC,EAAE,IAAA,qBAAS,EAAC,MAAM,CAAC,EAAE,CAAC;SAAG;QAEjD,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;YACpC,IAAI,GAAG,IAAa,CAAC;SACtB;QAED,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAiB,CAAC,EAAE,CAAC;QAE9C,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAA6B,CAAC,EAAE,CAAC;QACtE,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACjD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uBAAuB;QACvB,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAElC,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QAEzD,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAE3B,sBAAsB;QACtB,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,CAA0B,KAAQ,EAAE,EAAE;YACrD,yDAAyD;YACzD,qCAAqC;YACrC,6DAA6D;YAC7D,2DAA2D;YAC3D,8CAA8C;YAC9C,+BAA+B;YAC/B,MAAe,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;gBAC9C,IAAI,GAAG,IAAa,CAAC;gBACrB,MAAM,CAAC,IAAI,GAAG,IAAa,CAAC;;YAK9B,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QAEF,MAAM,IAAK,SAAQ,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAA,qBAAS,EAAC,MAAM,CAAC,EAAE,CAAC;YACnD,IAAI,GAAG,IAAa,CAAC;YAErB,iEAAiE;YACjE,QAAQ,GAAG,KAAc,CAAC;SAC3B;QAED,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAA6B,CAAC,EAAE,CAAC;QAE1D,8BAA8B;QAC9B,IAAA,SAAE,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAErC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAA6B,CAAC,EAAE,CAAC;QACtE,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACjD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,0CAA0C;QAC1C,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QAEvC,wCAAwC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAElC,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAExC,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QAEzD,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,wCAAwC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QAEvC,sCAAsC;QACtC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAElC,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,CAA0B,KAAQ,EAAE,EAAE;YACrD,MAAe,CAAC;gBACd,IAAI,GAAG,IAAa,CAAC;gBACrB,MAAM,CAAC,IAAI,GAAG,IAAa,CAAC;;YAK9B,OAAO,IAAA,WAAI,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC;QAEF,MAAM,IAAK,SAAQ,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAA,qBAAS,EAAC,MAAM,CAAC,EAAE,CAAC;YACnD,IAAI,GAAG,IAAa,CAAC;YAErB,iEAAiE;YACjE,QAAQ,GAAG,KAAc,CAAC;SAC3B;QAED,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAiB,CAAC,EAAE,CAAC;QAE9C,8BAA8B;QAC9B,IAAA,SAAE,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAErC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAiB,CAAC,EAAE,CAAC;QAC1D,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACrC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,0CAA0C;QAC1C,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QAEvC,0CAA0C;QAC1C,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAElC,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAEnB,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAE7C,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,wCAAwC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QAEvC,wCAAwC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QAEvC,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/discriminated-union.d.ts

@@ -0,0 +1,75 @@
+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, IInternal extends Internal<S, K> = Internal<S, K>>(of: S, base?: B | undefined) => Omit<B, "prototype"> & Omit<(abstract new (value: IInternal["Inline"]) => {
+    value: IInternal["Inline"];
+    serialize(): Expand<IInternal["Serialized"]>;
+    match<M extends Matcher<IInternal["Map"]>, F extends M extends ExhaustiveMatcher<IInternal["Map"]> ? [] : M extends UnsafeFallthroughMatcher<IInternal["Map"]> ? [] : M extends PartialMatcher<IInternal["Map"]> ? [fallback: (value: Omit<IInternal["Map"], keyof M>[keyof Omit<IInternal["Map"], keyof M>] extends infer U extends Shorthand ? Expand<DefinitionOf<U>["$inline"]> : never) => any] : []>(matcher: M, ...__0_1: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
+}) & {
+    serialized: IInternal["Serialized"];
+    $of: S;
+    $shape: "discriminated-union";
+    deserialize<T extends any>(this: T, value: Expand<IInternal["Serialized"]>): InstanceType<T>;
+    $deserialize<T_1 extends any>(this: T_1, value: IInternal["Serialized"]): IInternal["Inline"];
+    $serialize<T_2 extends any>(this: T_2, value: IInternal["Inline"]): IInternal["Serialized"];
+    $inline: IInternal["Inline"];
+}, "prototype"> & (abstract new (value: Expand<IInternal["Inline"]>) => InstanceType<B> & {
+    value: IInternal["Inline"];
+    serialize(): Expand<IInternal["Serialized"]>;
+    match<M extends Matcher<IInternal["Map"]>, F extends M extends ExhaustiveMatcher<IInternal["Map"]> ? [] : M extends UnsafeFallthroughMatcher<IInternal["Map"]> ? [] : M extends PartialMatcher<IInternal["Map"]> ? [fallback: (value: Omit<IInternal["Map"], keyof M>[keyof Omit<IInternal["Map"], keyof M>] extends infer U extends Shorthand ? Expand<DefinitionOf<U>["$inline"]> : never) => any] : []>(matcher: M, ...__0_1: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
+});
+export {};
+//# sourceMappingURL=discriminated-union.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"discriminated-union.d.ts","sourceRoot":"","sources":["../src/discriminated-union.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EACN,YAAY,EACZ,mBAAmB,EACnB,KAAK,EACL,KAAK,SAAS,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,GAMzB,CAAC,sEA8Fa,CAAC,iDADH,SAAS,8CA7FrB,CAAC,6EA6FW,SAAS,AApFY,CAAC,QAAQ,CAAC;WAoF/B,SAAS,AApFY,CAAC,QAAQ,CAAC;iBAUhC,MAAM,CA0EL,SAAS,AA1EM,CAAC,YAAY,CAAC,CAAC;UA0BjB,CAAC,oCAE2B,CAAC,0LAfnC,IAAI,CA6DX,SAAS,AA7DY,CAAC,KAAK,CAAC,EAAE,MAajB,CAAC,AAbuB,CAAC,CAAC,MAAM,IAAI,CA6DjD,SAAS,AA5DE,CAAC,KAAK,CAAC,EAChB,MAWW,CAAC,AAXL,CACR,CAAC,SAAS,MAAM,CAAC,SAAS,SAAS,GAChC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAClC,KAAK,KACN,GAAG,kCAMhB,CACuB,CAAC,AADtB,CAAC,MACoB,CAAC,AADd,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GACvC,UAAU,CAAS,CAAC,AAAR,CAAC,MAAM,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,GACV,CAAmD,CAAC,AAAlD,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;;gBA8CvD,SAAS,AAhFK,CAAC,YAAY,CAAC;;;gBAsD1B,CAAC,oBAAD,CAAC,AAFR,SACA,MAAM,CA2BD,SAAS,AA3BE,CAAC,YAAY,CAAC,CAAC,GACrC,YAAY,CAAC,CAAC,CAAC;iBAKV,GAAC,oBAAD,GAAC,SAqBK,SAAS,AApBL,CAAC,YAAY,CAAC,GAoBlB,SAAS,AAnBX,CAAC,QAAQ,CAAC;eASd,GAAC,oBAAD,GAAC,SAUK,SAAS,AATL,CAAC,QAAQ,CAAC,GASd,SAAS,AARX,CAAC,YAAY,CAAC;aAQZ,SAAS,AAJE,CAAC,QAAQ,CAAC;wCAI5B,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;WAApB,SAAS,AApFY,CAAC,QAAQ,CAAC;iBAUhC,MAAM,CA0EL,SAAS,AA1EM,CAAC,YAAY,CAAC,CAAC;UA0BjB,CAAC,oCAE2B,CAAC,0LAfnC,IAAI,CA6DX,SAAS,AA7DY,CAAC,KAAK,CAAC,EAAE,MAajB,CAAC,AAbuB,CAAC,CAAC,MAAM,IAAI,CA6DjD,SAAS,AA5DE,CAAC,KAAK,CAAC,EAChB,MAWW,CAAC,AAXL,CACR,CAAC,SAAS,MAAM,CAAC,SAAS,SAAS,GAChC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAClC,KAAK,KACN,GAAG,kCAMhB,CACuB,CAAC,AADtB,CAAC,MACoB,CAAC,AADd,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GACvC,UAAU,CAAS,CAAC,AAAR,CAAC,MAAM,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,GACV,CAAmD,CAAC,AAAlD,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;EAqDxE,CAAC"}

package/dist/discriminated-union.js

@@ -0,0 +1,99 @@
+"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 serialized;
+        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);
+        }
+        static $inline;
+    }
+    return $DiscriminatedUnion;
+};
+exports.DiscriminatedUnion = DiscriminatedUnion;
+//# sourceMappingURL=discriminated-union.js.map

package/dist/discriminated-union.js.map

@@ -0,0 +1 @@
+{"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,CAMhC,EAAK,EACL,GAAG,IAAgB,EACnB,EAAE;IACF,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,KAA0B;YAC3C,KAAK,EAAE,CAAC;YADS,UAAK,GAAL,KAAK,CAAqB;QAE7C,CAAC;QAED,MAAM,CAAC,UAAU,CAA0B;QAE3C,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAEhB,MAAM,CAAC,MAAM,GAAG,qBAA8B,CAAC;QAE/C,SAAS;YACP,OAAQ,mBAA2B,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAQ,CAAC;QACpE,CAAC;QAED,KAAK,CAmBH,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAqB;YAM1C,MAAM,OAAO,GAAQ,IAAI,CAAC,KAAK,CAAC;YAChC,MAAM,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,CAEhB,KAAsC;YAEtC,OAAO,IAAK,IAAY,CAAC,IAAI,CAAC,YAAY,CAAC,KAAY,CAAC,CAAQ,CAAC;QACnE,CAAC;QAED,MAAM,CAAC,YAAY,CAEjB,KAA8B;YAE9B,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YACnC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC3D,CAAC;YACD,OAAQ,UAAkB,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,CAAC,UAAU,CAEf,KAA0B;YAE1B,OAAO,GAAG,CAAE,KAAa,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;QAED,MAAM,CAAC,OAAO,CAAsB;;IAUtC,OAAO,mBAAyC,CAAC;AACnD,CAAC,CAAC;AA1GW,QAAA,kBAAkB,sBA0G7B"}

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

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

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

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