@ddd-ts/shape 0.0.36 → 0.0.38

package/dist/discriminated-union.spec.js

@@ -1,262 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const dict_1 = require("./dict");
-const test_1 = require("./test");
-const discriminated_union_1 = require("./discriminated-union");
-describe("DiscriminatedUnion", () => {
-    it("class definition with two arguments", () => {
-        class A extends (0, dict_1.Dict)({ type: "A", a: String }) {
-        }
-        const B = (0, dict_1.Dict)({ type: "B", b: Number });
-        const C = { type: "C", c: Boolean };
-        class Test extends (0, discriminated_union_1.DiscriminatedUnion)([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({ type: "A", a: "test" });
-        (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).toStrictEqual(new A({ type: "A", a: "test" })).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({
-            type: "A",
-            a: "test",
-        }).ok;
-        // Instantiation
-        const b = new Test(new A({ type: "A", a: "test" }));
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Inherited prototype on instantiation
-        (0, test_1.ex)(b.value).toStrictEqual(new A({ type: "A", a: "test" })).ok;
-        const c = new Test({ type: "B", b: 2 });
-        (0, test_1.ex)(c).toBeInstanceOf(Test).ok;
-        (0, test_1.ex)(c.value).toStrictEqual({ type: "B", b: 2 }).ok;
-        (0, test_1.ex)(c.serialize()).toStrictEqual({ type: "B", b: 2 }).ok;
-        const c2 = Test.deserialize({ type: "B", b: 2 });
-        (0, test_1.ex)(c2).toBeInstanceOf(Test).ok;
-        (0, test_1.ex)(c2.value).toStrictEqual({ type: "B", b: 2 }).ok;
-        (0, test_1.ex)(c2.serialize()).toStrictEqual({ type: "B", b: 2 }).ok;
-        const d = new Test({ type: "C", c: true });
-        (0, test_1.ex)(d).toBeInstanceOf(Test).ok;
-        (0, test_1.ex)(d.value).toStrictEqual({ type: "C", c: true }).ok;
-        (0, test_1.ex)(d.serialize()).toStrictEqual({ type: "C", c: true }).ok;
-        const d2 = Test.deserialize({ type: "C", c: true });
-        (0, test_1.ex)(d2).toBeInstanceOf(Test).ok;
-        (0, test_1.ex)(d2.value).toStrictEqual({ type: "C", c: true }).ok;
-        (0, test_1.ex)(d2.serialize()).toStrictEqual({ type: "C", c: true }).ok;
-    });
-    it("class definition with constructors", () => {
-        class A extends (0, dict_1.Dict)({ type: "A", a: String }) {
-        }
-        class B {
-            static type = "B";
-            type;
-            a;
-            constructor({ type, a }) {
-                Object.assign(this, { type, a });
-            }
-            static deserialize({ type, a }) {
-                return new B({ type, a });
-            }
-            serialize() {
-                return { type: this.type, a: this.a };
-            }
-        }
-        class Test extends (0, discriminated_union_1.DiscriminatedUnion)([A, B]) {
-            test = true;
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ type: "A", a: "a" });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        const b = Test.deserialize({ type: "B", a: "b" });
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Additional prototype
-        (0, test_1.ex)(a.match({
-            A: () => true,
-            B: () => false,
-        })).toBe(true).ok;
-        (0, test_1.ex)(a.match({
-            _: () => true,
-        })).toBe(true).ok;
-        (0, test_1.ex)(a.match({
-            B: () => true,
-        }, () => false)).toBe(false).ok;
-        (0, test_1.ex)(a.test).toBe(true).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.value).toBeInstanceOf(A).ok;
-        (0, test_1.ex)(b.value).toBeInstanceOf(B).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ type: "A", a: "a" }).ok;
-        (0, test_1.ex)(b.serialize()).toStrictEqual({ type: "B", a: "b" }).ok;
-        // Instantiation
-        const c = new Test(new A({ type: "A", a: "aa" }));
-        (0, test_1.ex)(c).toBeInstanceOf(Test).ok;
-        const d = new Test(new B({ type: "B", a: "bb" }));
-        (0, test_1.ex)(d).toBeInstanceOf(Test).ok;
-        // Inherited prototype
-        (0, test_1.ex)(c.value).toBeInstanceOf(A).ok;
-        (0, test_1.ex)(c.value.a).toBe("aa").ok;
-        (0, test_1.ex)(d.value).toBeInstanceOf(B).ok;
-        (0, test_1.ex)(d.value.a).toBe("bb").ok;
-    });
-    it("inline definition", () => {
-        class A extends (0, dict_1.Dict)({ type: "A", a: String }) {
-        }
-        const B = (0, dict_1.Dict)({ type: "B", b: Number });
-        class Test extends (0, dict_1.Dict)({ nested: (0, discriminated_union_1.DiscriminatedUnion)([A, B]) }) {
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ nested: { type: "A", a: "test" } });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.nested).toStrictEqual(new A({ type: "A", a: "test" })).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({
-            nested: { type: "A", a: "test" },
-        }).ok;
-        // Instantiation
-        const b = new Test({ nested: { type: "B", b: 0 } });
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Inherited prototype on instantiation
-        (0, test_1.ex)(b.nested).toStrictEqual({ type: "B", b: 0 }).ok;
-    });
-    it("referenced definition", () => {
-        class A extends (0, dict_1.Dict)({ type: "A" }) {
-        }
-        class B extends (0, dict_1.Dict)({ type: "B" }) {
-        }
-        class Union extends (0, discriminated_union_1.DiscriminatedUnion)([A, B]) {
-        }
-        class Test extends (0, dict_1.Dict)({ nested: Union }) {
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ nested: { type: "A" } });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.nested).toBeInstanceOf(Union).ok;
-        (0, test_1.ex)(a.nested.value).toStrictEqual(new A({ type: "A" })).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ nested: { type: "A" } }).ok;
-        // Instantiation
-        const b = new Test({ nested: new Union(new A({ type: "A" })) });
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Inherited prototype on instantiation
-        (0, test_1.ex)(b.nested.value).toStrictEqual(new A({ type: "A" })).ok;
-    });
-    it("mixin extension", () => {
-        const Mixin = (config) => {
-            class Mix extends (0, discriminated_union_1.DiscriminatedUnion)(config) {
-                deep = true;
-                static deep = true;
-            }
-            return Mix;
-        };
-        class A extends (0, dict_1.Dict)({ type: "A" }) {
-        }
-        class B extends (0, dict_1.Dict)({ type: "B" }) {
-        }
-        class Test extends Mixin([A, B]) {
-            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({ type: "A" });
-        (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.value).toStrictEqual(new A({ type: "A" })).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ type: "A" }).ok;
-        // Instantiation
-        const b = new Test(new B({ type: "B" }));
-        (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.value).toStrictEqual(new B({ type: "B" })).ok;
-    });
-    it("mixin supersede", () => {
-        const Testable = (config) => {
-            class I {
-                deep = true;
-                static deep = true;
-            }
-            return (0, discriminated_union_1.DiscriminatedUnion)(config, I);
-        };
-        class A extends (0, dict_1.Dict)({ type: "A" }) {
-        }
-        class B extends (0, dict_1.Dict)({ type: "B" }) {
-        }
-        class Test extends Testable([A, B]) {
-            test = true;
-            // @ts-expect-error is not assignable to parameter of type 'true'
-            abstract = false;
-        }
-        // Constructor type
-        (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({ type: "A" });
-        (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.value).toStrictEqual(new A({ type: "A" })).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({
-            type: "A",
-        }).ok;
-        // Instantiation
-        const b = new Test(new B({ type: "B" }));
-        (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.value).toStrictEqual(new B({ type: "B" })).ok;
-    });
-});
-// making the config `as const` breaks the freeze command
-// This enforces the use of `as const` in the discriminator
-// This is ugly
-class A extends (0, discriminated_union_1.DiscriminatedUnion)([
-    { type: "A" },
-    { type: "B" },
-]) {
-}
-const _shouldBeFreezable = true;
-//# sourceMappingURL=discriminated-union.spec.js.map

package/dist/discriminated-union.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"discriminated-union.spec.js","sourceRoot":"","sources":["../src/discriminated-union.spec.ts"],"names":[],"mappings":";;AAAA,iCAA8B;AAC9B,iCAAyC;AACzC,+DAG+B;AAE/B,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;SAAG;QACjD,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAY,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;QAE7C,MAAM,IAAK,SAAQ,IAAA,wCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9C,IAAI,GAAG,IAAa,CAAC;SACtB;QAQD,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAW,CAAC,EAAE,CAAC;QAExC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACrD,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,aAAa,CAAU,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEvE,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa;YAC1C,IAAI,EAAE,GAAG;YACT,CAAC,EAAE,MAAM;SACV,CAAC,CAAC,EAAE,CAAC;QAEN,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACpD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAU,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEvE,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC9B,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3D,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAEpE,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjD,IAAA,SAAE,EAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/B,IAAA,SAAE,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,aAAa,CAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC5D,IAAA,SAAE,EAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAErE,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3C,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC9B,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAC9D,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAEvE,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,IAAA,SAAE,EAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/B,IAAA,SAAE,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,aAAa,CAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAC/D,IAAA,SAAE,EAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;SAAG;QACjD,MAAM,CAAC;YACL,MAAM,CAAC,IAAI,GAAG,GAAY,CAAC;YAC3B,IAAI,CAAO;YACX,CAAC,CAAU;YACX,YAAY,EAAE,IAAI,EAAE,CAAC,EAA4B;gBAC/C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YACnC,CAAC;YAED,MAAM,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,CAAC,EAA4B;gBACtD,OAAO,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5B,CAAC;YAED,SAAS;gBACP,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YACxC,CAAC;;QAGH,MAAM,IAAK,SAAQ,IAAA,wCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3C,IAAI,GAAG,IAAa,CAAC;SACtB;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAS,CAAC,EAAE,CAAC;QAEtC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAClD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAClD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uBAAuB;QACvB,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,IAAa;YACtB,CAAC,EAAE,GAAG,EAAE,CAAC,KAAc;SACxB,CAAC,CACH,CAAC,IAAI,CAAe,IAAa,CAAC,CAAC,EAAE,CAAC;QACvC,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,IAAa;SACvB,CAAC,CACH,CAAC,IAAI,CAAO,IAAa,CAAC,CAAC,EAAE,CAAC;QAC/B,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CACL;YACE,CAAC,EAAE,GAAG,EAAE,CAAC,IAAa;SACvB,EACD,GAAG,EAAE,CAAC,KAAc,CACrB,CACF,CAAC,IAAI,CAAe,KAAc,CAAC,CAAC,EAAE,CAAC;QAExC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,CAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,CAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;QAEtD,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;QACtE,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;QAEtE,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,sBAAsB;QACtB,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,CAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE5B,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,CAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;SAAG;QACjD,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzC,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,IAAA,wCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAAG;QAOlE,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAW,CAAC,EAAE,CAAC;QAExC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAS,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QACvE,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CACxB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAChC,CAAC,EAAE,CAAC;QAEL,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa;YAC1C,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE;SACjC,CAAC,CAAC,EAAE,CAAC;QAEN,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACpD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAoB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAAG;QACtC,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAAG;QAEtC,MAAM,KAAM,SAAQ,IAAA,wCAAkB,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAAG;QACjD,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;SAAG;QAI7C,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAqB,CAAC,EAAE,CAAC;QAElD,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAS,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC5D,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACtC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,CAAiB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAE1E,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QAE1E,gBAAgB;QAChB,MAAM,CAAC,GAAS,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACtE,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,KAAK,GAAG,CACZ,MAAS,EACT,EAAE;YACF,MAAe,GAAI,SAAQ,IAAA,wCAAkB,EAAC,MAAM,CAAC;gBACnD,IAAI,GAAG,IAAa,CAAC;gBACrB,MAAM,CAAC,IAAI,GAAG,IAAa,CAAC;;YAI9B,OAAO,GAAG,CAAC;QACb,CAAC,CAAC;QAEF,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAAG;QACtC,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAAG;QAEtC,MAAM,IAAK,SAAQ,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,IAAI,GAAG,IAAa,CAAC;YAErB,iEAAiE;YACjE,QAAQ,GAAG,KAAc,CAAC;SAC3B;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAS,CAAC,EAAE,CAAC;QAEtC,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,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,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,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAE1D,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;QAE9D,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,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,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,CACf,MAAS,EACT,EAAE;YACF,MAAe,CAAC;gBACd,IAAI,GAAG,IAAa,CAAC;gBACrB,MAAM,CAAC,IAAI,GAAG,IAAa,CAAC;;YAK9B,OAAO,IAAA,wCAAkB,EAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC;QAEF,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAAG;QACtC,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAAG;QAEtC,MAAM,IAAK,SAAQ,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACjC,IAAI,GAAG,IAAa,CAAC;YAErB,iEAAiE;YACjE,QAAQ,GAAG,KAAc,CAAC;SAC3B;QAED,mBAAmB;QACnB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAS,CAAC,EAAE,CAAC;QAEtC,8BAA8B;QAC9B,IAAA,SAAE,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAIrC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,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,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAE1D,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa;YAC1C,IAAI,EAAE,GAAG;SACV,CAAC,CAAC,EAAE,CAAC;QAEN,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,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,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,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yDAAyD;AACzD,2DAA2D;AAC3D,eAAe;AACf,MAAM,CAAE,SAAQ,IAAA,wCAAkB,EAAC;IACjC,EAAE,IAAI,EAAE,GAAY,EAAE;IACtB,EAAE,IAAI,EAAE,GAAY,EAAE;CACvB,CAAC;CAAG;AACL,MAAM,kBAAkB,GAGpB,IAAI,CAAC","sourcesContent":["import { Dict } from \"./dict\";\nimport { ex, type Equals } from \"./test\";\nimport {\n  DiscriminatedUnion,\n  DiscriminatedUnionConfiguration,\n} from \"./discriminated-union\";\n\ndescribe(\"DiscriminatedUnion\", () => {\n  it(\"class definition with two arguments\", () => {\n    class A extends Dict({ type: \"A\", a: String }) {}\n    const B = Dict({ type: \"B\", b: Number });\n    const C = { type: \"C\" as const, c: Boolean };\n\n    class Test extends DiscriminatedUnion([A, B, C]) {\n      test = true as const;\n    }\n\n    type Inlined = A | { type: \"B\"; b: number } | { type: \"C\"; c: boolean };\n    type Serialized =\n      | { type: \"A\"; a: string }\n      | { type: \"B\"; b: number }\n      | { type: \"C\"; c: boolean };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<Inlined>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ type: \"A\", a: \"test\" });\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).toStrictEqual<Inlined>(new A({ type: \"A\", a: \"test\" })).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({\n      type: \"A\",\n      a: \"test\",\n    }).ok;\n\n    // Instantiation\n    const b = new Test(new A({ type: \"A\", a: \"test\" }));\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on instantiation\n    ex(b.value).toStrictEqual<Inlined>(new A({ type: \"A\", a: \"test\" })).ok;\n\n    const c = new Test({ type: \"B\", b: 2 });\n    ex(c).toBeInstanceOf(Test).ok;\n    ex(c.value).toStrictEqual<Inlined>({ type: \"B\", b: 2 }).ok;\n    ex(c.serialize()).toStrictEqual<Serialized>({ type: \"B\", b: 2 }).ok;\n\n    const c2 = Test.deserialize({ type: \"B\", b: 2 });\n    ex(c2).toBeInstanceOf(Test).ok;\n    ex(c2.value).toStrictEqual<Inlined>({ type: \"B\", b: 2 }).ok;\n    ex(c2.serialize()).toStrictEqual<Serialized>({ type: \"B\", b: 2 }).ok;\n\n    const d = new Test({ type: \"C\", c: true });\n    ex(d).toBeInstanceOf(Test).ok;\n    ex(d.value).toStrictEqual<Inlined>({ type: \"C\", c: true }).ok;\n    ex(d.serialize()).toStrictEqual<Serialized>({ type: \"C\", c: true }).ok;\n\n    const d2 = Test.deserialize({ type: \"C\", c: true });\n    ex(d2).toBeInstanceOf(Test).ok;\n    ex(d2.value).toStrictEqual<Inlined>({ type: \"C\", c: true }).ok;\n    ex(d2.serialize()).toStrictEqual<Serialized>({ type: \"C\", c: true }).ok;\n  });\n\n  it(\"class definition with constructors\", () => {\n    class A extends Dict({ type: \"A\", a: String }) {}\n    class B {\n      static type = \"B\" as const;\n      type!: \"B\";\n      a!: string;\n      constructor({ type, a }: { type: \"B\"; a: string }) {\n        Object.assign(this, { type, a });\n      }\n\n      static deserialize({ type, a }: { type: \"B\"; a: string }) {\n        return new B({ type, a });\n      }\n\n      serialize() {\n        return { type: this.type, a: this.a };\n      }\n    }\n\n    class Test extends DiscriminatedUnion([A, B]) {\n      test = true as const;\n    }\n\n    type Serialized = { type: \"A\"; a: string } | { type: \"B\"; a: string };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<A | B>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ type: \"A\", a: \"a\" });\n    ex(a).toBeInstanceOf(Test).ok;\n    const b = Test.deserialize({ type: \"B\", a: \"b\" });\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Additional prototype\n    ex(\n      a.match({\n        A: () => true as const,\n        B: () => false as const,\n      }),\n    ).toBe<true | false>(true as const).ok;\n    ex(\n      a.match({\n        _: () => true as const,\n      }),\n    ).toBe<true>(true as const).ok;\n    ex(\n      a.match(\n        {\n          B: () => true as const,\n        },\n        () => false as const,\n      ),\n    ).toBe<true | false>(false as const).ok;\n\n    ex(a.test).toBe(true as const).ok;\n    // Inherited prototype on deserialization\n    ex(a.value).toBeInstanceOf<typeof A | typeof B>(A).ok;\n    ex(b.value).toBeInstanceOf<typeof A | typeof B>(B).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({ type: \"A\", a: \"a\" }).ok;\n    ex(b.serialize()).toStrictEqual<Serialized>({ type: \"B\", a: \"b\" }).ok;\n\n    // Instantiation\n    const c = new Test(new A({ type: \"A\", a: \"aa\" }));\n    ex(c).toBeInstanceOf(Test).ok;\n\n    const d = new Test(new B({ type: \"B\", a: \"bb\" }));\n    ex(d).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype\n    ex(c.value).toBeInstanceOf<typeof A | typeof B>(A).ok;\n    ex(c.value.a).toBe(\"aa\").ok;\n\n    ex(d.value).toBeInstanceOf<typeof A | typeof B>(B).ok;\n    ex(d.value.a).toBe(\"bb\").ok;\n  });\n\n  it(\"inline definition\", () => {\n    class A extends Dict({ type: \"A\", a: String }) {}\n    const B = Dict({ type: \"B\", b: Number });\n\n    class Test extends Dict({ nested: DiscriminatedUnion([A, B]) }) {}\n\n    type Inlined = { nested: A | { type: \"B\"; b: number } };\n    type Serialized = {\n      nested: { type: \"A\"; a: string } | { type: \"B\"; b: number };\n    };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<Inlined>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a: Test = Test.deserialize({ nested: { type: \"A\", a: \"test\" } });\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on deserialization\n    ex(a.nested).toStrictEqual<Inlined[\"nested\"]>(\n      new A({ type: \"A\", a: \"test\" }),\n    ).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({\n      nested: { type: \"A\", a: \"test\" },\n    }).ok;\n\n    // Instantiation\n    const b = new Test({ nested: { type: \"B\", b: 0 } });\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on instantiation\n    ex(b.nested).toStrictEqual<Inlined[\"nested\"]>({ type: \"B\", b: 0 }).ok;\n  });\n\n  it(\"referenced definition\", () => {\n    class A extends Dict({ type: \"A\" }) {}\n    class B extends Dict({ type: \"B\" }) {}\n\n    class Union extends DiscriminatedUnion([A, B]) {}\n    class Test extends Dict({ nested: Union }) {}\n\n    type Serialized = { nested: { type: \"A\" } | { type: \"B\" } };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<{ nested: Union }>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a: Test = Test.deserialize({ nested: { type: \"A\" } });\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on deserialization\n    ex(a.nested).toBeInstanceOf(Union).ok;\n    ex(a.nested.value).toStrictEqual<Union[\"value\"]>(new A({ type: \"A\" })).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({ nested: { type: \"A\" } }).ok;\n\n    // Instantiation\n    const b: Test = new Test({ nested: new Union(new A({ type: \"A\" })) });\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on instantiation\n    ex(b.nested.value).toStrictEqual<A | B>(new A({ type: \"A\" })).ok;\n  });\n\n  it(\"mixin extension\", () => {\n    const Mixin = <const S extends DiscriminatedUnionConfiguration>(\n      config: S,\n    ) => {\n      abstract class Mix extends DiscriminatedUnion(config) {\n        deep = true as const;\n        static deep = true as const;\n        abstract abstract: true;\n      }\n\n      return Mix;\n    };\n\n    class A extends Dict({ type: \"A\" }) {}\n    class B extends Dict({ type: \"B\" }) {}\n\n    class Test extends Mixin([A, B]) {\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 = { type: \"A\" } | { type: \"B\" };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<A | B>().ok;\n\n    // Additional static prototype\n    ex(Test.deep).toBe(true as const).ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ type: \"A\" });\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.value).toStrictEqual<A | B>(new A({ type: \"A\" })).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({ type: \"A\" }).ok;\n\n    // Instantiation\n    const b = new Test(new B({ type: \"B\" }));\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.value).toStrictEqual<A | B>(new B({ type: \"B\" })).ok;\n  });\n\n  it(\"mixin supersede\", () => {\n    const Testable = <const C extends DiscriminatedUnionConfiguration>(\n      config: C,\n    ) => {\n      abstract class I {\n        deep = true as const;\n        static deep = true as const;\n\n        abstract abstract: true;\n      }\n\n      return DiscriminatedUnion(config, I);\n    };\n\n    class A extends Dict({ type: \"A\" }) {}\n    class B extends Dict({ type: \"B\" }) {}\n\n    class Test extends Testable([A, B]) {\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 type\n    ex(Test).toHaveFirstParam<A | B>().ok;\n\n    // Additional static prototype\n    ex(Test.deep).toBe(true as const).ok;\n\n    type Serialized = { type: \"A\" } | { type: \"B\" };\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ type: \"A\" });\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.value).toStrictEqual<A | B>(new A({ type: \"A\" })).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({\n      type: \"A\",\n    }).ok;\n\n    // Instantiation\n    const b = new Test(new B({ type: \"B\" }));\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.value).toStrictEqual<A | B>(new B({ type: \"B\" })).ok;\n  });\n});\n\n// making the config `as const` breaks the freeze command\n// This enforces the use of `as const` in the discriminator\n// This is ugly\nclass A extends DiscriminatedUnion([\n  { type: \"A\" as const },\n  { type: \"B\" as const },\n]) {}\nconst _shouldBeFreezable: Equals<\n  (typeof A)[\"$of\"],\n  ({ type: \"A\" } | { type: \"B\" })[]\n> = true;\n"]}

package/dist/either.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"either.js","sourceRoot":"","sources":["../src/either.ts"],"names":[],"mappings":";;;AAAA,0BAOa;AA2CN,MAAM,MAAM,GAAG,CAIpB,EAAK,EACL,OAAU,QAAY,EACtB,EAAE;IAOF,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CACpC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QACtC,OAAO,CAAC,GAAG,EAAE,IAAA,QAAK,EAAC,KAAK,CAAC,CAAU,CAAC;IACtC,CAAC,CAAC,CACH,CAAC;IAEF,MAAe,OAAQ,SAAS,IAA+B;QAC1C;QAAnB,YAAmB,KAAa;YAC9B,KAAK,EAAE,CAAC;YADS,UAAK,GAAL,KAAK,CAAQ;QAEhC,CAAC;QAED,MAAM,CAAC,UAAU,CAAa;QAE9B,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC;QAEf,MAAM,CAAC,MAAM,GAAG,QAAiB,CAAC;QAElC,SAAS;YACP,OAAQ,OAAe,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAQ,CAAC;QACxD,CAAC;QAED,KAAK,CAcH,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAqB;YAM1C,MAAM,GAAG,GAAQ,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CACtC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAO,IAAI,CAAC,KAAa,CAAC,WAAmB,CAC3D,EAAE,CAAC,CAAC,CAAQ,CAAC;YAEd,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,OAAO,CAAC,IAAI,CAAC,KAAY,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAY,CAAC,CAAC;YACrC,CAAC;YACD,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC;gBACd,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAY,CAAC,CAAC;YACtC,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC1C,CAAC;QAED,MAAM,CAAC,WAAW,CAEhB,KAAyB;YAEzB,OAAO,IAAK,IAAY,CAAC,IAAI,CAAC,YAAY,CAAC,KAAY,CAAC,CAAQ,CAAC;QACnE,CAAC;QAED,MAAM,CAAC,YAAY,CAEjB,KAAiB;YAEjB,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,UAAU,EAAE,GAAG,KAAY,CAAC;YAClD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC/C,CAAC;YACD,OAAQ,UAAkB,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QACtD,CAAC;QAED,MAAM,CAAC,UAAU,CAEf,KAAa;YAEb,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CACjC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAO,KAAa,CAAC,WAAmB,CACtD,EAAE,CAAC,CAAC,CAAC,CAAC;YACP,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YAC9D,CAAC;YAED,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;YAC7C,CAAC;YACD,OAAO,EAAE,GAAI,UAAkB,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAS,CAAC;QACxE,CAAC;QAED,MAAM,CAAC,OAAO,CAAS;;IAUzB,OAAO,OAAiB,CAAC;AAC3B,CAAC,CAAC;AAvHW,QAAA,MAAM,UAuHjB","sourcesContent":["import {\n  Constructor,\n  Expand,\n  DefinitionOf,\n  Shape,\n  AbstractConstructor,\n  Empty,\n} from \"./_\";\nimport { ClassShorthand } from \"./class\";\nimport { PrimitiveShorthand } from \"./primitive\";\n\ntype Config = { [key: string]: any };\n\ntype ExhaustiveMatcher<C extends Config> = {\n  [key in keyof C]: (value: InstanceType<C[key]>) => any;\n};\n\ntype UnsafeFallthroughMatcher<C extends Config> = {\n  [key in keyof C]?: (value: InstanceType<C[key]>) => any;\n} & {\n  _: (value: InstanceType<C[keyof C]>) => any;\n};\n\ntype PartialMatcher<C extends Config> = {\n  [key in keyof C]?: (value: InstanceType<C[key]>) => any;\n};\n\ntype Matcher<C extends Config> =\n  | ExhaustiveMatcher<C>\n  | UnsafeFallthroughMatcher<C>\n  | PartialMatcher<C>;\n\nexport type EitherConfiguration = {\n  [key: string]: ClassShorthand;\n};\n\ntype Internal<\n  S extends EitherConfiguration,\n  B extends AbstractConstructor<{}>,\n> = {\n  Definition: DefinitionOf<S[keyof S]>;\n  Serialized: (B extends { $name: infer U } ? { $name: U } : {}) & {\n    _key: keyof S;\n  } & ReturnType<DefinitionOf<S[keyof S]>[\"$serialize\"]>;\n  Deserializing: (B extends { $name: infer U } ? { $name: U } : {}) & {\n    _key: keyof S;\n  } & Parameters<DefinitionOf<S[keyof S]>[\"$deserialize\"]>[0];\n  Inline: DefinitionOf<S[keyof S]>[\"$inline\"];\n};\n\nexport const Either = <\n  const S extends EitherConfiguration,\n  const B extends AbstractConstructor<{}> = typeof Empty,\n>(\n  of: S,\n  base: B = Empty as any,\n) => {\n  type Serialized = {\n    [K in keyof S]: { _key: K } & ReturnType<DefinitionOf<S[K]>[\"$serialize\"]>;\n  }[keyof S];\n\n  type Inline = DefinitionOf<S[keyof S]>[\"$inline\"];\n\n  const definitions = Object.fromEntries(\n    Object.entries(of).map(([key, value]) => {\n      return [key, Shape(value)] as const;\n    }),\n  );\n\n  abstract class $Either extends (base as any as Constructor<{}>) {\n    constructor(public value: Inline) {\n      super();\n    }\n\n    static serialized: Serialized;\n\n    static of = of;\n\n    static $shape = \"either\" as const;\n\n    serialize(): Expand<Serialized> {\n      return ($Either as any).$serialize(this.value) as any;\n    }\n\n    match<\n      M extends Matcher<S>,\n      F extends M extends ExhaustiveMatcher<S>\n        ? []\n        : M extends UnsafeFallthroughMatcher<S>\n          ? []\n          : M extends PartialMatcher<S>\n            ? [\n                fallback: (\n                  value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>,\n                ) => any,\n              ]\n            : [],\n    >(\n      ...[matcher, fallback]: [matcher: M, ...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      const key: any = Object.entries(of).find(\n        ([_, v]) => v === ((this.value as any).constructor as any),\n      )?.[0] as any;\n\n      const handler = matcher[key];\n      if (handler) {\n        return handler(this.value as any);\n      }\n      if (fallback) {\n        return fallback(this.value as any);\n      }\n      if (matcher._) {\n        return matcher._(this.value as any);\n      }\n      throw new Error(\"Non-exhaustive match\");\n    }\n\n    static deserialize<T extends typeof $Either>(\n      this: T,\n      value: Expand<Serialized>,\n    ): InstanceType<T> {\n      return new (this as any)(this.$deserialize(value as any)) as any;\n    }\n\n    static $deserialize<T extends typeof $Either>(\n      this: T,\n      value: Serialized,\n    ): Inline {\n      const { _key: key, ...serialized } = value as any;\n      const definition = definitions[key];\n      if (!definition) {\n        throw new Error(\"Cannot deserialize Either\");\n      }\n      return (definition as any).$deserialize(serialized);\n    }\n\n    static $serialize<T extends typeof $Either>(\n      this: T,\n      value: Inline,\n    ): Serialized {\n      const key = Object.entries(of).find(\n        ([_, v]) => v === ((value as any).constructor as any),\n      )?.[0];\n      if (!key) {\n        throw new Error(\"Cannot serialize Either, no matching key\");\n      }\n\n      const definition = definitions[key];\n      if (!definition) {\n        throw new Error(\"Cannot serialize Either\");\n      }\n      return { ...(definition as any).$serialize(value), _key: key } as any;\n    }\n\n    static $inline: Inline;\n  }\n\n  type EitherConstructor = abstract new (\n    value: Expand<Inline>,\n  ) => InstanceType<B> & $Either;\n  type Either = Omit<B, \"prototype\"> &\n    Omit<typeof $Either, \"prototype\"> &\n    EitherConstructor;\n\n  return $Either as Either;\n};\n\nexport type Either<\n  S extends EitherConfiguration,\n  B extends AbstractConstructor<{}> = typeof Empty,\n> = Omit<B, \"prototype\"> &\n  (abstract new (\n    value: Internal<S, B>[\"Inline\"],\n  ) => {\n    value: Internal<S, B>[\"Inline\"];\n    serialize(): Internal<S, B>[\"Serialized\"];\n    match<\n      M extends Matcher<S>,\n      F extends M extends ExhaustiveMatcher<S>\n        ? []\n        : M extends UnsafeFallthroughMatcher<S>\n          ? []\n          : M extends PartialMatcher<S>\n            ? [\n                fallback: (\n                  value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>,\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    serialized: Internal<S, B>[\"Serialized\"];\n    of: S;\n    $shape: \"either\";\n    deserialize<T extends Constructor>(\n      this: T,\n      value: Internal<S, B>[\"Serialized\"],\n    ): InstanceType<T>;\n    $deserialize<T>(\n      this: T,\n      value: Internal<S, B>[\"Serialized\"],\n    ): Internal<S, B>[\"Inline\"];\n    $serialize<T>(\n      this: T,\n      value: Internal<S, B>[\"Inline\"],\n    ): Internal<S, B>[\"Serialized\"];\n    $inline: Internal<S, B>[\"Inline\"];\n  };\n"]}

package/dist/either.spec.js

@@ -1,232 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const either_1 = require("./either");
-const dict_1 = require("./dict");
-const test_1 = require("./test");
-const _1 = require("./_");
-describe("Either", () => {
-    it("class definition with two arguments", () => {
-        class A extends (0, _1.Shape)({ value: Number }) {
-        }
-        class B extends (0, _1.Shape)({ value: String }) {
-        }
-        class Test extends (0, either_1.Either)({ A, B }) {
-            test = true;
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ _key: "A", value: 1 });
-        (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).toStrictEqual(new A({ value: 1 })).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ _key: "A", value: 1 }).ok;
-        // Instantiation
-        const b = new Test(new B({ value: "1" }));
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Inherited prototype on instantiation
-        (0, test_1.ex)(b.value).toStrictEqual(new B({ value: "1" })).ok;
-    });
-    it("class definition with constructors", () => {
-        class A extends (0, dict_1.Dict)({ a: String }) {
-        }
-        class B {
-            a;
-            constructor({ a }) {
-                Object.assign(this, { a });
-            }
-            static deserialize({ a }) {
-                return new B({ a });
-            }
-            serialize() {
-                return { a: this.a };
-            }
-        }
-        class Test extends (0, either_1.Either)({ A, B }) {
-            test = true;
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ _key: "A", a: "test" });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        const b = Test.deserialize({ _key: "B", a: "test" });
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Additional prototype
-        (0, test_1.ex)(a.match({
-            A: () => true,
-            B: () => false,
-        })).toBe(true).ok;
-        (0, test_1.ex)(a.match({
-            _: () => true,
-        })).toBe(true).ok;
-        (0, test_1.ex)(a.match({
-            B: () => true,
-        }, () => false)).toBe(false).ok;
-        (0, test_1.ex)(a.test).toBe(true).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.value).toBeInstanceOf(A).ok;
-        (0, test_1.ex)(b.value).toBeInstanceOf(B).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ _key: "A", a: "test" }).ok;
-        (0, test_1.ex)(b.serialize()).toStrictEqual({ _key: "B", a: "test" }).ok;
-        // Instantiation
-        const c = new Test(new A({ a: "test" }));
-        (0, test_1.ex)(c).toBeInstanceOf(Test).ok;
-        const d = new Test(new B({ a: "test" }));
-        (0, test_1.ex)(d).toBeInstanceOf(Test).ok;
-        // Inherited prototype
-        (0, test_1.ex)(c.value).toBeInstanceOf(A).ok;
-        (0, test_1.ex)(c.value.a).toBe("test").ok;
-        (0, test_1.ex)(d.value).toBeInstanceOf(B).ok;
-        (0, test_1.ex)(d.value.a).toBe("test").ok;
-    });
-    it("inline definition", () => {
-        class A extends (0, _1.Shape)({ value: Number }) {
-        }
-        class B extends (0, _1.Shape)({ value: String }) {
-        }
-        class Test extends (0, dict_1.Dict)({ nested: (0, either_1.Either)({ A, B }) }) {
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ nested: { _key: "A", value: 1 } });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.nested).toStrictEqual(new A({ value: 1 })).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ nested: { _key: "A", value: 1 } })
-            .ok;
-        // Instantiation
-        const b = new Test({ nested: new B({ value: "1" }) });
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Inherited prototype on instantiation
-        (0, test_1.ex)(b.nested).toStrictEqual(new B({ value: "1" })).ok;
-    });
-    it("referenced definition", () => {
-        class B extends (0, _1.Shape)({ value: Number }) {
-        }
-        class C extends (0, _1.Shape)({ value: String }) {
-        }
-        class A extends (0, either_1.Either)({ B, C }) {
-        }
-        class Test extends (0, dict_1.Dict)({ nested: A }) {
-        }
-        // Constructor parameters
-        (0, test_1.ex)(Test).toHaveFirstParam().ok;
-        // Deserialization
-        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
-        const a = Test.deserialize({ nested: { _key: "B", "value": 1 } });
-        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
-        // Inherited prototype on deserialization
-        (0, test_1.ex)(a.nested).toBeInstanceOf(A).ok;
-        (0, test_1.ex)(a.nested.value).toStrictEqual(new B({ value: 1 })).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ nested: { _key: "B", value: 1 } })
-            .ok;
-        // Instantiation
-        const b = new Test({ nested: new A(new C({ value: "1" })) });
-        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
-        // Inherited prototype on instantiation
-        (0, test_1.ex)(b.nested.value).toStrictEqual(new C({ value: "1" })).ok;
-    });
-    it("mixin extension", () => {
-        const Mixin = (either) => {
-            class Mix extends (0, either_1.Either)(either) {
-                deep = true;
-                static deep = true;
-            }
-            return Mix;
-        };
-        class A extends (0, _1.Shape)({ value: Number }) {
-        }
-        class B extends (0, _1.Shape)({ value: String }) {
-        }
-        class Test extends Mixin({ A, B }) {
-            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({ _key: "A", value: 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.value).toStrictEqual(new A({ value: 1 })).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ _key: "A", value: 1 }).ok;
-        // Instantiation
-        const b = new Test(new B({ value: "1" }));
-        (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.value).toStrictEqual(new B({ value: "1" })).ok;
-    });
-    it("mixin supersede", () => {
-        const Testable = (config) => {
-            class I {
-                deep = true;
-                static deep = true;
-            }
-            return (0, either_1.Either)(config, I);
-        };
-        class A extends (0, _1.Shape)({ value: Number }) {
-        }
-        class B extends (0, _1.Shape)({ value: String }) {
-        }
-        class Test extends Testable({ A, B }) {
-            test = true;
-            // @ts-expect-error is not assignable to parameter of type 'true'
-            abstract = false;
-        }
-        // Constructor type
-        (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({ _key: "A", value: 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.value).toStrictEqual(new A({ value: 1 })).ok;
-        // Serialization
-        (0, test_1.ex)(a.serialize()).toStrictEqual({ _key: "A", value: 1 }).ok;
-        // Instantiation
-        const b = new Test(new B({ value: "1" }));
-        (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.value).toStrictEqual(new B({ value: "1" })).ok;
-    });
-});
-//# sourceMappingURL=either.spec.js.map

package/dist/either.spec.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"either.spec.js","sourceRoot":"","sources":["../src/either.spec.ts"],"names":[],"mappings":";;AAAA,qCAAuD;AACvD,iCAA8B;AAC9B,iCAA4B;AAC5B,0BAA4B;AAE5B,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAE,SAAQ,IAAA,QAAK,EAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAAI;QAC5C,MAAM,CAAE,SAAQ,IAAA,QAAK,EAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAAI;QAC5C,MAAM,IAAK,SAAQ,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YACjC,IAAI,GAAG,IAAa,CAAC;SACtB;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAS,CAAC,EAAE,CAAC;QAEtC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACpD,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,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEzD,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAExE,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1C,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAE,SAAQ,IAAA,WAAI,EAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;SAAI;QACvC,MAAM,CAAC;YACL,CAAC,CAAU;YACX,YAAY,EAAE,CAAC,EAAiB;gBAC9B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAC7B,CAAC;YAED,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,EAAiB;gBACrC,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACtB,CAAC;YAED,SAAS;gBACP,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YACvB,CAAC;SACF;QAED,MAAM,IAAK,SAAQ,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YACjC,IAAI,GAAG,IAAa,CAAC;SACtB;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAS,CAAC,EAAE,CAAC;QAEtC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACrD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACrD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uBAAuB;QACvB,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,IAAa;YACtB,CAAC,EAAE,GAAG,EAAE,CAAC,KAAc;SACxB,CAAC,CACH,CAAC,IAAI,CAAe,IAAa,CAAC,CAAC,EAAE,CAAC;QACvC,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,IAAa;SACvB,CAAC,CACH,CAAC,IAAI,CAAO,IAAa,CAAC,CAAC,EAAE,CAAC;QAC/B,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,IAAa;SACvB,EAAE,GAAG,EAAE,CAAC,KAAc,CAAC,CACzB,CAAC,IAAI,CAAe,KAAc,CAAC,CAAC,EAAE,CAAC;QAExC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAClC,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,CAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,CAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;QAEtD,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QACzE,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QAEzE,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,sBAAsB;QACtB,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,CAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAE9B,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,CAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAE,SAAQ,IAAA,QAAK,EAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAAI;QAC5C,MAAM,CAAE,SAAQ,IAAA,QAAK,EAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAAI;QAC5C,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;SAAI;QAIzD,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAqB,CAAC,EAAE,CAAC;QAElD,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAS,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtE,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAE1D,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;aAC7E,EAAE,CAAC;QAEN,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACtD,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAE,SAAQ,IAAA,QAAK,EAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAAI;QAC5C,MAAM,CAAE,SAAQ,IAAA,QAAK,EAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAAI;QAC5C,MAAM,CAAE,SAAQ,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;SAAI;QACpC,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;SAAI;QAI1C,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,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAS,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACxE,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEhE,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;aAC7E,EAAE,CAAC;QAEN,gBAAgB;QAChB,MAAM,CAAC,GAAS,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACnE,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,KAAK,GAAG,CAAsC,MAAS,EAAE,EAAE;YAC/D,MAAe,GAAI,SAAQ,IAAA,eAAM,EAAC,MAAM,CAAC;gBACvC,IAAI,GAAG,IAAa,CAAC;gBACrB,MAAM,CAAC,IAAI,GAAG,IAAa,CAAC;;YAI9B,OAAO,GAAG,CAAC;QACb,CAAC,CAAC;QAEF,MAAM,CAAE,SAAQ,IAAA,QAAK,EAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAAI;QAC5C,MAAM,CAAE,SAAQ,IAAA,QAAK,EAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAAI;QAC5C,MAAM,IAAK,SAAQ,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,IAAI,GAAG,IAAa,CAAC;YAErB,iEAAiE;YACjE,QAAQ,GAAG,KAAc,CAAC;SAC3B;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAS,CAAC,EAAE,CAAC;QAEtC,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,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACpD,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,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEzD,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAExE,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1C,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,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,CAAsC,MAAS,EAAE,EAAE;YAClE,MAAe,CAAC;gBACd,IAAI,GAAG,IAAa,CAAC;gBACrB,MAAM,CAAC,IAAI,GAAG,IAAa,CAAC;;YAK9B,OAAO,IAAA,eAAM,EAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC;QAEF,MAAM,CAAE,SAAQ,IAAA,QAAK,EAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAAI;QAC5C,MAAM,CAAE,SAAQ,IAAA,QAAK,EAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAAI;QAE5C,MAAM,IAAK,SAAQ,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YACnC,IAAI,GAAG,IAAa,CAAC;YAErB,iEAAiE;YACjE,QAAQ,GAAG,KAAc,CAAC;SAC3B;QAED,mBAAmB;QACnB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAS,CAAC,EAAE,CAAC;QAEtC,8BAA8B;QAC9B,IAAA,SAAE,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAIrC,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACpD,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,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEzD,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAExE,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1C,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,KAAK,CAAC,CAAC,aAAa,CAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["import { Either, EitherConfiguration } from \"./either\";\nimport { Dict } from \"./dict\";\nimport { ex } from \"./test\";\nimport { Shape } from \"./_\";\n\ndescribe(\"Either\", () => {\n  it(\"class definition with two arguments\", () => {\n    class A extends Shape({ value: Number }) { }\n    class B extends Shape({ value: String }) { }\n    class Test extends Either({ A, B }) {\n      test = true as const;\n    }\n\n    type Serialized = { _key: \"A\", value: number } | { _key: \"B\", value: string };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<A | B>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ _key: \"A\", value: 1 });\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).toStrictEqual<A | B>(new A({ value: 1 })).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({ _key: \"A\", value: 1 }).ok;\n\n    // Instantiation\n    const b = new Test(new B({ value: \"1\" }));\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on instantiation\n    ex(b.value).toStrictEqual<A | B>(new B({ value: \"1\" })).ok;\n  });\n\n  it(\"class definition with constructors\", () => {\n    class A extends Dict({ a: String }) { }\n    class B {\n      a!: string;\n      constructor({ a }: { a: string }) {\n        Object.assign(this, { a });\n      }\n\n      static deserialize({ a }: { a: string }) {\n        return new B({ a });\n      }\n\n      serialize() {\n        return { a: this.a };\n      }\n    }\n\n    class Test extends Either({ A, B }) {\n      test = true as const;\n    }\n\n    type Serialized = { _key: \"A\", a: string } | { _key: \"B\", a: string };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<A | B>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ _key: \"A\", a: \"test\" });\n    ex(a).toBeInstanceOf(Test).ok;\n    const b = Test.deserialize({ _key: \"B\", a: \"test\" });\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Additional prototype\n    ex(\n      a.match({\n        A: () => true as const,\n        B: () => false as const,\n      })\n    ).toBe<true | false>(true as const).ok;\n    ex(\n      a.match({\n        _: () => true as const,\n      })\n    ).toBe<true>(true as const).ok;\n    ex(\n      a.match({\n        B: () => true as const,\n      }, () => false as const)\n    ).toBe<true | false>(false as const).ok;\n\n    ex(a.test).toBe(true as const).ok;\n    // Inherited prototype on deserialization\n    ex(a.value).toBeInstanceOf<typeof A | typeof B>(A).ok;\n    ex(b.value).toBeInstanceOf<typeof A | typeof B>(B).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({ _key: \"A\", a: \"test\" }).ok;\n    ex(b.serialize()).toStrictEqual<Serialized>({ _key: \"B\", a: \"test\" }).ok;\n\n    // Instantiation\n    const c = new Test(new A({ a: \"test\" }));\n    ex(c).toBeInstanceOf(Test).ok;\n\n    const d = new Test(new B({ a: \"test\" }));\n    ex(d).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype\n    ex(c.value).toBeInstanceOf<typeof A | typeof B>(A).ok;\n    ex(c.value.a).toBe(\"test\").ok;\n\n    ex(d.value).toBeInstanceOf<typeof A | typeof B>(B).ok;\n    ex(d.value.a).toBe(\"test\").ok;\n  });\n\n  it(\"inline definition\", () => {\n    class A extends Shape({ value: Number }) { }\n    class B extends Shape({ value: String }) { }\n    class Test extends Dict({ nested: Either({ A, B }) }) { }\n\n    type Serialized = { nested: { _key: \"A\", value: number } | { _key: \"B\", value: string } };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<{ nested: A | B }>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a: Test = Test.deserialize({ nested: { _key: \"A\", value: 1 } });\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on deserialization\n    ex(a.nested).toStrictEqual<A | B>(new A({ value: 1 })).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({ nested: { _key: \"A\", value: 1 } })\n      .ok;\n\n    // Instantiation\n    const b = new Test({ nested: new B({ value: \"1\" }) });\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on instantiation\n    ex(b.nested).toStrictEqual<A | B>(new B({ value: \"1\" })).ok;\n  });\n\n  it(\"referenced definition\", () => {\n    class B extends Shape({ value: Number }) { }\n    class C extends Shape({ value: String }) { }\n    class A extends Either({ B, C }) { }\n    class Test extends Dict({ nested: A }) { }\n\n    type Serialized = { nested: { _key: \"B\", value: number } | { _key: \"C\", value: string } };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<{ nested: A }>().ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a: Test = Test.deserialize({ nested: { _key: \"B\", \"value\": 1 } });\n    ex(a).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on deserialization\n    ex(a.nested).toBeInstanceOf(A).ok;\n    ex(a.nested.value).toStrictEqual<B | C>(new B({ value: 1 })).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({ nested: { _key: \"B\", value: 1 } })\n      .ok;\n\n    // Instantiation\n    const b: Test = new Test({ nested: new A(new C({ value: \"1\" })) });\n    ex(b).toBeInstanceOf(Test).ok;\n\n    // Inherited prototype on instantiation\n    ex(b.nested.value).toStrictEqual<B | C>(new C({ value: \"1\" })).ok;\n  });\n\n  it(\"mixin extension\", () => {\n    const Mixin = <const S extends EitherConfiguration>(either: S) => {\n      abstract class Mix extends Either(either) {\n        deep = true as const;\n        static deep = true as const;\n        abstract abstract: true;\n      }\n\n      return Mix;\n    };\n\n    class A extends Shape({ value: Number }) { }\n    class B extends Shape({ value: String }) { }\n    class Test extends Mixin({ A, B }) {\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 = { _key: \"A\", value: number } | { _key: \"B\", value: string };\n\n    // Constructor parameters\n    ex(Test).toHaveFirstParam<A | B>().ok;\n\n    // Additional static prototype\n    ex(Test.deep).toBe(true as const).ok;\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ _key: \"A\", value: 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.value).toStrictEqual<A | B>(new A({ value: 1 })).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({ _key: \"A\", value: 1 }).ok;\n\n    // Instantiation\n    const b = new Test(new B({ value: \"1\" }));\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.value).toStrictEqual<A | B>(new B({ value: \"1\" })).ok;\n  });\n\n  it(\"mixin supersede\", () => {\n    const Testable = <const C extends EitherConfiguration>(config: C) => {\n      abstract class I {\n        deep = true as const;\n        static deep = true as const;\n\n        abstract abstract: true;\n      }\n\n      return Either(config, I);\n    };\n\n    class A extends Shape({ value: Number }) { }\n    class B extends Shape({ value: String }) { }\n\n    class Test extends Testable({ A, B }) {\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 type\n    ex(Test).toHaveFirstParam<A | B>().ok;\n\n    // Additional static prototype\n    ex(Test.deep).toBe(true as const).ok;\n\n    type Serialized = { _key: \"A\", value: number } | { _key: \"B\", value: string };\n\n    // Deserialization\n    ex(Test.deserialize).toHaveFirstParam<Serialized>().ok;\n    const a = Test.deserialize({ _key: \"A\", value: 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.value).toStrictEqual<A | B>(new A({ value: 1 })).ok;\n\n    // Serialization\n    ex(a.serialize()).toStrictEqual<Serialized>({ _key: \"A\", value: 1 }).ok;\n\n    // Instantiation\n    const b = new Test(new B({ value: \"1\" }));\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.value).toStrictEqual<A | B>(new B({ value: \"1\" })).ok;\n  });\n});\n"]}

package/dist/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,sCAAoB;AACpB,2CAAyB;AACzB,0CAAwB;AACxB,yCAAuB;AACvB,2CAAyB;AACzB,8CAA4B;AAC5B,4CAA0B;AAC1B,wDAAsC;AACtC,4CAA0B;AAC1B,6CAA2B;AAC3B,4CAA0B;AAC1B,6CAA2B;AAC3B,iEAA+C","sourcesContent":["export * from \"./_\";\nexport * from \"./choice\";\nexport * from \"./class\";\nexport * from \"./dict\";\nexport * from \"./either\";\nexport * from \"./primitive\";\nexport * from \"./literal\";\nexport * from \"./discriminated-union\";\nexport * from \"./mapping\";\nexport * from \"./multiple\";\nexport * from \"./nothing\";\nexport * from \"./optional\";\nexport * from \"./addons/microsecond-timestamp\";\n"]}

package/dist/literal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"literal.js","sourceRoot":"","sources":["../src/literal.ts"],"names":[],"mappings":";;;AAAA,0BAAsE;AAI/D,MAAM,OAAO,GAAG,CAIrB,EAAK,EACL,OAAU,QAAY,EACN,EAAE;IAGlB,MAAe,QAAS,SAAS,IAA+B;QAC9C,KAAK,GAAG,EAAE,CAAC;QAC3B,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC;QAClB,MAAM,CAAC,MAAM,GAAG,SAAkB,CAAC;QACnC,SAAS;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,CAAC,WAAW,CAEhB,KAAa;YAEb,OAAO,IAAK,IAAY,EAAqB,CAAC;QAChD,CAAC;QAED,MAAM,CAAC,UAAU,CAAC,KAAa;YAC7B,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,CAAC,YAAY,CAAC,KAAa;YAC/B,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,CAAC,OAAO,CAAS;;IAGzB,OAAO,QAAe,CAAC;AACzB,CAAC,CAAC;AApCW,QAAA,OAAO,WAoClB","sourcesContent":["import { AbstractConstructor, Constructor, Empty, Expand } from \"./_\";\n\nexport type LiteralShorthand = string | number;\n\nexport const Literal = <\n  const S extends LiteralShorthand,\n  B extends AbstractConstructor<{}> = typeof Empty,\n>(\n  of: S,\n  base: B = Empty as any,\n): ILiteral<S, B> => {\n  type Inline = S;\n\n  abstract class $Literal extends (base as any as Constructor<{}>) {\n    public readonly value = of;\n    static value = of;\n    static $shape = \"literal\" as const;\n    serialize(): S {\n      return of;\n    }\n\n    static deserialize<T extends typeof $Literal>(\n      this: T,\n      value: Inline,\n    ): InstanceType<T> {\n      return new (this as any)() as InstanceType<T>;\n    }\n\n    static $serialize(value: Inline): Inline {\n      return of;\n    }\n\n    static $deserialize(value: Inline): Inline {\n      return of;\n    }\n\n    static $inline: Inline;\n  }\n\n  return $Literal as any;\n};\n\nexport type ILiteral<\n  S extends LiteralShorthand,\n  B extends AbstractConstructor<{}> = typeof Empty,\n> = Omit<B, \"prototype\"> & {\n  value: S;\n  $shape: \"literal\";\n  deserialize<T extends Constructor>(this: T, value: S): InstanceType<T>;\n  $serialize(value: S): S;\n  $deserialize(value: S): S;\n  $inline: S;\n} & (abstract new (\n    value: Expand<S>,\n  ) => InstanceType<B> & {\n    readonly value: S;\n    serialize(): S;\n  });\n"]}