@ddd-ts/shape 0.0.35 → 0.0.37

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.d.ts

@@ -1,84 +0,0 @@
-import { Constructor, Expand, DefinitionOf, AbstractConstructor, Empty } from "./_";
-import { ClassShorthand } from "./class";
-type Config = {
-    [key: string]: any;
-};
-type ExhaustiveMatcher<C extends Config> = {
-    [key in keyof C]: (value: InstanceType<C[key]>) => any;
-};
-type UnsafeFallthroughMatcher<C extends Config> = {
-    [key in keyof C]?: (value: InstanceType<C[key]>) => any;
-} & {
-    _: (value: InstanceType<C[keyof C]>) => any;
-};
-type PartialMatcher<C extends Config> = {
-    [key in keyof C]?: (value: InstanceType<C[key]>) => any;
-};
-type Matcher<C extends Config> = ExhaustiveMatcher<C> | UnsafeFallthroughMatcher<C> | PartialMatcher<C>;
-export type EitherConfiguration = {
-    [key: string]: ClassShorthand;
-};
-type Internal<S extends EitherConfiguration, B extends AbstractConstructor<{}>> = {
-    Definition: DefinitionOf<S[keyof S]>;
-    Serialized: (B extends {
-        $name: infer U;
-    } ? {
-        $name: U;
-    } : {}) & {
-        _key: keyof S;
-    } & ReturnType<DefinitionOf<S[keyof S]>["$serialize"]>;
-    Deserializing: (B extends {
-        $name: infer U;
-    } ? {
-        $name: U;
-    } : {}) & {
-        _key: keyof S;
-    } & Parameters<DefinitionOf<S[keyof S]>["$deserialize"]>[0];
-    Inline: DefinitionOf<S[keyof S]>["$inline"];
-};
-export declare const Either: <const S extends EitherConfiguration, const B extends AbstractConstructor<{}> = typeof Empty>(of: S, base?: B) => Omit<B, "prototype"> & Omit<(abstract new (value: DefinitionOf<S[keyof S]>["$inline"]) => {
-    value: DefinitionOf<S[keyof S], typeof Empty>["$inline"];
-    serialize(): Expand<{ [K in keyof S]: {
-        _key: K;
-    } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S]>;
-    match<M extends Matcher<S>, F extends M extends ExhaustiveMatcher<S> ? [] : M extends UnsafeFallthroughMatcher<S> ? [] : M extends PartialMatcher<S> ? [fallback: (value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>) => any] : []>(matcher: M, ...fallback_n: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
-}) & {
-    serialized: { [K in keyof S]: {
-        _key: K;
-    } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S];
-    of: S;
-    $shape: "either";
-    deserialize<T extends /*elided*/ any>(this: T, value: Expand<{ [K in keyof S]: {
-        _key: K;
-    } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S]>): InstanceType<T>;
-    $deserialize<T extends /*elided*/ any>(this: T, value: { [K in keyof S]: {
-        _key: K;
-    } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S]): DefinitionOf<S[keyof S]>["$inline"];
-    $serialize<T extends /*elided*/ any>(this: T, value: DefinitionOf<S[keyof S]>["$inline"]): { [K in keyof S]: {
-        _key: K;
-    } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S];
-    $inline: DefinitionOf<S[keyof S]>["$inline"];
-}, "prototype"> & (abstract new (value: Expand<DefinitionOf<S[keyof S]>["$inline"]>) => InstanceType<B> & {
-    value: DefinitionOf<S[keyof S], typeof Empty>["$inline"];
-    serialize(): Expand<{ [K in keyof S]: {
-        _key: K;
-    } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S]>;
-    match<M extends Matcher<S>, F extends M extends ExhaustiveMatcher<S> ? [] : M extends UnsafeFallthroughMatcher<S> ? [] : M extends PartialMatcher<S> ? [fallback: (value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>) => any] : []>(matcher: M, ...fallback_n: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
-});
-export type Either<S extends EitherConfiguration, B extends AbstractConstructor<{}> = typeof Empty> = Omit<B, "prototype"> & (abstract new (value: Internal<S, B>["Inline"]) => {
-    value: Internal<S, B>["Inline"];
-    serialize(): Internal<S, B>["Serialized"];
-    match<M extends Matcher<S>, F extends M extends ExhaustiveMatcher<S> ? [] : M extends UnsafeFallthroughMatcher<S> ? [] : M extends PartialMatcher<S> ? [
-        fallback: (value: InstanceType<Omit<S, keyof M>[keyof Omit<S, keyof M>]>) => any
-    ] : []>(matcher: M, ...fallback_n: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
-}) & {
-    serialized: Internal<S, B>["Serialized"];
-    of: S;
-    $shape: "either";
-    deserialize<T extends Constructor>(this: T, value: Internal<S, B>["Serialized"]): InstanceType<T>;
-    $deserialize<T>(this: T, value: Internal<S, B>["Serialized"]): Internal<S, B>["Inline"];
-    $serialize<T>(this: T, value: Internal<S, B>["Inline"]): Internal<S, B>["Serialized"];
-    $inline: Internal<S, B>["Inline"];
-};
-export {};
-//# sourceMappingURL=either.d.ts.map

package/dist/either.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"either.d.ts","sourceRoot":"","sources":["../src/either.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,MAAM,EACN,YAAY,EAEZ,mBAAmB,EACnB,KAAK,EACN,MAAM,KAAK,CAAC;AACb,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAGzC,KAAK,MAAM,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,CAAC;AAErC,KAAK,iBAAiB,CAAC,CAAC,SAAS,MAAM,IAAI;KACxC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG;CACvD,CAAC;AAEF,KAAK,wBAAwB,CAAC,CAAC,SAAS,MAAM,IAAI;KAC/C,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG;CACxD,GAAG;IACF,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;CAC7C,CAAC;AAEF,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI;KACrC,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG;CACxD,CAAC;AAEF,KAAK,OAAO,CAAC,CAAC,SAAS,MAAM,IACzB,iBAAiB,CAAC,CAAC,CAAC,GACpB,wBAAwB,CAAC,CAAC,CAAC,GAC3B,cAAc,CAAC,CAAC,CAAC,CAAC;AAEtB,MAAM,MAAM,mBAAmB,GAAG;IAChC,CAAC,GAAG,EAAE,MAAM,GAAG,cAAc,CAAC;CAC/B,CAAC;AAEF,KAAK,QAAQ,CACX,CAAC,SAAS,mBAAmB,EAC7B,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,IAC/B;IACF,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACrC,UAAU,EAAE,CAAC,CAAC,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG,EAAE,CAAC,GAAG;QAC/D,IAAI,EAAE,MAAM,CAAC,CAAC;KACf,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IACvD,aAAa,EAAE,CAAC,CAAC,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG,EAAE,CAAC,GAAG;QAClE,IAAI,EAAE,MAAM,CAAC,CAAC;KACf,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;CAC7C,CAAC;AAEF,eAAO,MAAM,MAAM,SACX,CAAC,SAAS,mBAAmB,QAC7B,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,qBAEnC,CAAC,SACC,CAAC;;iBAyBQ,MAAM,IAtBlB,CAAC;cAAsB,CAAC;iEAsBM;UAK7B,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EACpB,CAAC,SAAS,CAAC,SAAS,iBAAiB,CAAC,CAAC,CAAC,GACpC,EAAE,GACF,CAAC,SAAS,wBAAwB,CAAC,CAAC,CAAC,GACnC,EAAE,GACF,CAAC,SAAS,cAAc,CAAC,CAAC,CAAC,GACzB,CACE,QAAQ,EAAE,CACR,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAC1D,GAAG,CACT,GACD,EAAE,iCAIR,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GACvC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,GACV,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;;mBA7CpE,CAAC;cAAsB,CAAC;;;YAoBT,QAAQ;gBA2CL,CAAC,+BACZ,CAAC,SACA,MAAM,IAjEd,CAAC;cAAsB,CAAC;iEAiEE,GACxB,YAAY,CAAC,CAAC,CAAC;iBAIE,CAAC,+BACb,CAAC,YAvER,CAAC;cAAsB,CAAC;;eAkFP,CAAC,+BACX,CAAC,kDAnFR,CAAC;cAAsB,CAAC;;;wCAwGlB,MAAM,qCAAQ,KAClB,YAAY,CAAC,CAAC,CAAC;;iBAnFL,MAAM,IAtBlB,CAAC;cAAsB,CAAC;iEAsBM;UAK7B,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EACpB,CAAC,SAAS,CAAC,SAAS,iBAAiB,CAAC,CAAC,CAAC,GACpC,EAAE,GACF,CAAC,SAAS,wBAAwB,CAAC,CAAC,CAAC,GACnC,EAAE,GACF,CAAC,SAAS,cAAc,CAAC,CAAC,CAAC,GACzB,CACE,QAAQ,EAAE,CACR,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAC1D,GAAG,CACT,GACD,EAAE,iCAIR,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GACvC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,GACV,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;CA4DzC,CAM/B,CAAC;AAEF,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,mBAAmB,EAC7B,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,GAAG,OAAO,KAAK,IAC9C,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,GACtB,CAAC,QAAQ,MACP,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAC5B;IACH,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAChC,SAAS,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAC1C,KAAK,CACH,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EACpB,CAAC,SAAS,CAAC,SAAS,iBAAiB,CAAC,CAAC,CAAC,GACpC,EAAE,GACF,CAAC,SAAS,wBAAwB,CAAC,CAAC,CAAC,GACnC,EAAE,GACF,CAAC,SAAS,cAAc,CAAC,CAAC,CAAC,GACzB;QACE,QAAQ,EAAE,CACR,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAC1D,GAAG;KACT,GACD,EAAE,EAEV,OAAO,EAAE,CAAC,EACV,GAAG,UAAU,EAAE,CAAC,GAEd,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GACvC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,GACV,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;CACvE,CAAC,GAAG;IACH,UAAU,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC;IACN,MAAM,EAAE,QAAQ,CAAC;IACjB,WAAW,CAAC,CAAC,SAAS,WAAW,EAC/B,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAClC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnB,YAAY,CAAC,CAAC,EACZ,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAClC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC5B,UAAU,CAAC,CAAC,EACV,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAC9B,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAChC,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;CACnC,CAAC"}

package/dist/either.js

@@ -1,62 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Either = void 0;
-const _1 = require("./_");
-const Either = (of, base = _1.Empty) => {
-    const definitions = Object.fromEntries(Object.entries(of).map(([key, value]) => {
-        return [key, (0, _1.Shape)(value)];
-    }));
-    class $Either extends base {
-        value;
-        constructor(value) {
-            super();
-            this.value = value;
-        }
-        static serialized;
-        static of = of;
-        static $shape = "either";
-        serialize() {
-            return $Either.$serialize(this.value);
-        }
-        match(...[matcher, fallback]) {
-            const key = Object.entries(of).find(([_, v]) => v === this.value.constructor)?.[0];
-            const handler = matcher[key];
-            if (handler) {
-                return handler(this.value);
-            }
-            if (fallback) {
-                return fallback(this.value);
-            }
-            if (matcher._) {
-                return matcher._(this.value);
-            }
-            throw new Error("Non-exhaustive match");
-        }
-        static deserialize(value) {
-            return new this(this.$deserialize(value));
-        }
-        static $deserialize(value) {
-            const { _key: key, ...serialized } = value;
-            const definition = definitions[key];
-            if (!definition) {
-                throw new Error("Cannot deserialize Either");
-            }
-            return definition.$deserialize(serialized);
-        }
-        static $serialize(value) {
-            const key = Object.entries(of).find(([_, v]) => v === value.constructor)?.[0];
-            if (!key) {
-                throw new Error("Cannot serialize Either, no matching key");
-            }
-            const definition = definitions[key];
-            if (!definition) {
-                throw new Error("Cannot serialize Either");
-            }
-            return { ...definition.$serialize(value), _key: key };
-        }
-        static $inline;
-    }
-    return $Either;
-};
-exports.Either = Either;
-//# sourceMappingURL=either.js.map

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.d.ts

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

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

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