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

package/dist/discriminated-union.spec.js

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

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

package/dist/either.d.ts

@@ -0,0 +1,51 @@
+import { 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;
+};
+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, ...__0_1: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
+}) & {
+    serialized: { [K in keyof S]: {
+        _key: K;
+    } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S];
+    of: S;
+    $shape: "either";
+    deserialize<T extends any>(this: T, value: Expand<{ [K in keyof S]: {
+        _key: K;
+    } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S]>): InstanceType<T>;
+    $deserialize<T_1 extends any>(this: T_1, value: { [K in keyof S]: {
+        _key: K;
+    } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S]): DefinitionOf<S[keyof S]>["$inline"];
+    $serialize<T_2 extends any>(this: T_2, 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, ...__0_1: F): (M[keyof M] extends (...args: any[]) => any ? ReturnType<M[keyof M]> : never) | (F[0] extends (...args: any[]) => any ? ReturnType<F[0]> : never);
+});
+export {};
+//# sourceMappingURL=either.d.ts.map

package/dist/either.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"either.d.ts","sourceRoot":"","sources":["../src/either.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,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,eAAO,MAAM,MAAM,SA2CuC,CAAC,oCAsEvC,CAAC,qDAtEqC,CAAC,AAvCpD,SA6Ga,CAAC,AA5GZ;;2BAGmB,CAAC;cAAD,CAAC;;UA2CA,CAAC,qBAE6B,CAAC,6IAV3C,YAAY,CAAC,IAAI,CAAwB,CAAC,AAAvB,EAAE,MAQT,CAAC,AARe,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,MAQhC,CAAC,AARsC,CAAC,CAAC,CAAC,KAC1D,GAAG,kCAMR,CACqB,CAAC,AADpB,CAAC,MACkB,CAAC,AADZ,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GACzC,UAAU,CAAS,CAAC,AAAR,CAAC,MAAM,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,GACR,CAAmD,CAAC,AAAlD,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;;mBA7C7C,CAAC;cAAD,CAAC;;;;gBAkET,CAAC,oBAAD,CAAC,AAFR,mBAhEe,CAAC;cAAD,CAAC;oEAkEtB,YAAY,CAAC,CAAC,CAAC;iBAKV,GAAC,oBAAD,GAAC,YAvEe,CAAC;cAAD,CAAC;;eAmFjB,GAAC,oBAAD,GAAC,kDAnFe,CAAC;cAAD,CAAC;;;;;2BAAD,CAAC;cAAD,CAAC;;UA2CA,CAAC,qBAE6B,CAAC,6IAV3C,YAAY,CAAC,IAAI,CAAwB,CAAC,AAAvB,EAAE,MAQT,CAAC,AARe,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,MAQhC,CAAC,AARsC,CAAC,CAAC,CAAC,KAC1D,GAAG,kCAMR,CACqB,CAAC,AADpB,CAAC,MACkB,CAAC,AADZ,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GACzC,UAAU,CAAS,CAAC,AAAR,CAAC,MAAM,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,GACR,CAAmD,CAAC,AAAlD,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;EAkExE,CAAC"}

package/dist/either.js

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

@@ -0,0 +1 @@
+{"version":3,"file":"either.js","sourceRoot":"","sources":["../src/either.ts"],"names":[],"mappings":";;;AAAA,0BAOa;AA6BN,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"}

package/dist/either.spec.d.ts

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

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

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

package/dist/either.spec.js

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