@ddd-ts/shape 0.0.0-elo.1 → 0.0.0-eventviz.10

package/dist/class.js

@@ -1,30 +1,29 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Class = void 0;
-const _1 = require("./_");
-const Class = (of, base = _1.Empty) => {
-    class $Class extends base {
-        value;
-        static $name = "class";
-        constructor(value) {
-            super();
-            this.value = value;
-        }
-        static deserialize(value) {
-            return new this(of.deserialize(value));
-        }
-        serialize() {
-            return this.value.serialize();
-        }
-        static $deserialize(value) {
-            return of.deserialize(value);
-        }
-        static $serialize(value) {
-            return value.serialize();
-        }
-        static $inline;
-    }
-    return $Class;
+const require__ = require("./_.js");
+//#region src/class.ts
+const Class = (of, base = require__.Empty) => {
+	class $Class extends base {
+		value;
+		static $shape = "class";
+		static $of = of;
+		constructor(value) {
+			super();
+			this.value = value;
+		}
+		static deserialize(value) {
+			return new this(of.deserialize(value));
+		}
+		serialize() {
+			return this.value.serialize();
+		}
+		static $deserialize(value) {
+			return of.deserialize(value);
+		}
+		static $serialize(value) {
+			return value.serialize();
+		}
+		static $inline;
+	}
+	return $Class;
 };
+//#endregion
 exports.Class = Class;
-//# sourceMappingURL=class.js.map

package/dist/class.mjs

@@ -0,0 +1,29 @@
+import { Empty } from "./_.mjs";
+//#region src/class.ts
+const Class = (of, base = Empty) => {
+	class $Class extends base {
+		value;
+		static $shape = "class";
+		static $of = of;
+		constructor(value) {
+			super();
+			this.value = value;
+		}
+		static deserialize(value) {
+			return new this(of.deserialize(value));
+		}
+		serialize() {
+			return this.value.serialize();
+		}
+		static $deserialize(value) {
+			return of.deserialize(value);
+		}
+		static $serialize(value) {
+			return value.serialize();
+		}
+		static $inline;
+	}
+	return $Class;
+};
+//#endregion
+export { Class };

package/dist/dict.d.ts

@@ -1,18 +1,43 @@
-import { DefinitionOf, Shorthand, Expand, AbstractConstructor, Constructor, Empty } from "./_";
+import { type DefinitionOf, type Shorthand, type Expand, type AbstractConstructor, type Constructor, Empty } from "./_";
 export type DictShorthand = {
     [key: string]: Shorthand;
 };
-export declare const Dict: <S extends {
+type Internal<S extends DictShorthand, B extends AbstractConstructor<{}>> = {
+    Definition: {
+        -readonly [K in keyof S]: DefinitionOf<S[K]>;
+    };
+    Serialized: (B extends {
+        $name: infer U;
+    } ? {
+        $name: U;
+    } : {}) & {
+        -readonly [K in keyof S]: ReturnType<DefinitionOf<S[K]>["$serialize"]>;
+    };
+    Deserializing: (B extends {
+        $name: infer U;
+    } ? {
+        $name: U;
+    } : {}) & {
+        -readonly [K in keyof S]: Parameters<DefinitionOf<S[K]>["$deserialize"]>[0];
+    };
+    Inline: {
+        -readonly [K in keyof S]: DefinitionOf<S[K]>["$inline"];
+    };
+};
+export declare const Dict: <const S extends {
+    [key: string]: any;
+}, B extends AbstractConstructor<{}> = typeof Empty>(of: S, base?: B) => IDict<S, B>;
+export type IDict<S extends {
     [key: string]: any;
-}, B extends AbstractConstructor<{}> = typeof Empty>(definition: S, base?: B) => Omit<B, ""> & Omit<(abstract new (...args: any[]) => {
-    serialize(): Expand<{ [K in keyof S]: ReturnType<{ [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; }>;
-}) & {
-    $name: "dict";
-    deserialize<T extends Constructor<any, any[]>>(this: T, value: Expand<{ [K in keyof S]: ReturnType<{ [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; }>): InstanceType<T>;
-    $deserialize<T_1 extends any>(this: T_1, value: { [K in keyof S]: ReturnType<{ [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; }): { [K_2 in keyof { [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }]: { [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K_2]["$inline"]; };
-    $serialize<T_2 extends any>(this: T_2, value: InstanceType<T_2>): { [K in keyof S]: ReturnType<{ [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; };
-    $inline: { [K_2 in keyof { [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }]: { [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K_2]["$inline"]; };
-}, ""> & (abstract new (value: Expand<{ [K_2 in keyof { [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }]: { [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K_2]["$inline"]; }>) => InstanceType<B> & {
-    serialize(): Expand<{ [K in keyof S]: ReturnType<{ [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K]["$serialize"]>; }>;
-} & { [K_2 in keyof { [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }]: { [K_1 in keyof S]: DefinitionOf<S[K_1], B>; }[K_2]["$inline"]; });
+}, B extends AbstractConstructor<{}> = typeof Empty> = Omit<B, ""> & {
+    $shape: "dict";
+    $of: S;
+    deserialize<T extends Constructor>(this: T, value: Expand<Internal<S, B>["Serialized"]>): InstanceType<T>;
+    $deserialize<T>(this: T, value: Internal<S, B>["Deserializing"]): Internal<S, B>["Inline"];
+    $serialize<T extends Constructor>(this: T, value: InstanceType<T>): Internal<S, B>["Serialized"];
+    $inline: Internal<S, B>["Inline"];
+} & (abstract new (value: Expand<Internal<S, B>["Inline"]>) => InstanceType<B> & {
+    serialize(): Expand<Internal<S, B>["Serialized"]>;
+} & Internal<S, B>["Inline"]);
+export {};
 //# sourceMappingURL=dict.d.ts.map

package/dist/dict.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dict.d.ts","sourceRoot":"","sources":["../src/dict.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,SAAS,EAGT,MAAM,EACN,mBAAmB,EACnB,WAAW,EACX,KAAK,EACN,MAAM,KAAK,CAAC;AAEb,MAAM,MAAM,aAAa,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEzD,eAAO,MAAM,IAAI;;iEAIH,CAAC,SACP,CAAC,gDAcgB,GAAG,EAAE;;;;yDAUlB,CAAC,oHAEN,aAAa,CAAC,CAAC;;;;;;uIAyCrB,CAAC"}
+{"version":3,"file":"dict.d.ts","sourceRoot":"","sources":["../src/dict.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,SAAS,EAEd,KAAK,MAAM,EACX,KAAK,mBAAmB,EACxB,KAAK,WAAW,EAChB,KAAK,EACN,MAAM,KAAK,CAAC;AAEb,MAAM,MAAM,aAAa,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEzD,KAAK,QAAQ,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,IAAI;IAC1E,UAAU,EAAE;QAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC;IAC7D,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,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;KACvE,CAAC;IACF,aAAa,EAAE,CAAC,CAAC,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG,EAAE,CAAC,GAAG;QAClE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;KAC5E,CAAC;IACF,MAAM,EAAE;QACN,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;KACxD,CAAC;CACH,CAAC;AAEF,eAAO,MAAM,IAAI,SACT,CAAC,SAAS;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,EACtC,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,qBAE7B,CAAC,SACC,CAAC,KACN,KAAK,CAAC,CAAC,EAAE,CAAC,CAsDZ,CAAC;AAEF,MAAM,MAAM,KAAK,CACf,CAAC,SAAS;IACR,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB,EACD,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,GAAG,OAAO,KAAK,IAC9C,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,CAAC,CAAC;IACP,WAAW,CAAC,CAAC,SAAS,WAAW,EAC/B,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAC1C,YAAY,CAAC,CAAC,CAAC,CAAC;IACnB,YAAY,CAAC,CAAC,EACZ,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,GACrC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC5B,UAAU,CAAC,CAAC,SAAS,WAAW,EAC9B,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GACrB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAChC,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;CACnC,GAAG,CAAC,QAAQ,MACT,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,KACpC,YAAY,CAAC,CAAC,CAAC,GAAG;IACrB,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;CACnD,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC"}

package/dist/dict.js

@@ -1,44 +1,39 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Dict = void 0;
-const _1 = require("./_");
-const Dict = (definition, base = _1.Empty) => {
-    class $Dict extends base {
-        static $name = "dict";
-        constructor(...args) {
-            super();
-            Object.assign(this, args[0]);
-        }
-        serialize() {
-            return $Dict.$serialize(this);
-        }
-        static deserialize(value) {
-            const runtime = this.$deserialize(value);
-            return new this(runtime);
-        }
-        static $deserialize(value) {
-            const split = Object.entries(definition);
-            const transform = split.map(([key, child]) => {
-                const longhand = (0, _1.Shape)(child);
-                const deserialized = longhand.$deserialize(value[key]);
-                return [key, deserialized];
-            });
-            const merge = Object.fromEntries(transform);
-            return merge;
-        }
-        static $serialize(value) {
-            const split = Object.entries(definition);
-            const transform = split.map(([key, child]) => {
-                const longhand = (0, _1.Shape)(child);
-                const serialized = longhand.$serialize(value[key]);
-                return [key, serialized];
-            });
-            const merge = Object.fromEntries(transform);
-            return merge;
-        }
-        static $inline;
-    }
-    return $Dict;
+const require__ = require("./_.js");
+//#region src/dict.ts
+const Dict = (of, base = require__.Empty) => {
+	class $Dict extends base {
+		static $shape = "dict";
+		static $of = of;
+		constructor(...args) {
+			super();
+			Object.assign(this, args[0]);
+		}
+		serialize() {
+			return $Dict.$serialize(this);
+		}
+		static deserialize(value) {
+			const runtime = this.$deserialize(value);
+			return new this(runtime);
+		}
+		static $deserialize(value) {
+			const transform = Object.entries(of).map(([key, child]) => {
+				return [key, require__.Shape(child).$deserialize(value[key])];
+			});
+			return Object.fromEntries(transform);
+		}
+		static $serialize(value) {
+			const transform = Object.entries(of).map(([key, child]) => {
+				return [key, require__.Shape(child).$serialize(value[key])];
+			});
+			const merge = Object.fromEntries(transform);
+			if ("$name" in base) return {
+				...merge,
+				$name: base.$name
+			};
+			return merge;
+		}
+	}
+	return $Dict;
 };
+//#endregion
 exports.Dict = Dict;
-//# sourceMappingURL=dict.js.map

package/dist/dict.mjs

@@ -0,0 +1,39 @@
+import { Empty, Shape } from "./_.mjs";
+//#region src/dict.ts
+const Dict = (of, base = Empty) => {
+	class $Dict extends base {
+		static $shape = "dict";
+		static $of = of;
+		constructor(...args) {
+			super();
+			Object.assign(this, args[0]);
+		}
+		serialize() {
+			return $Dict.$serialize(this);
+		}
+		static deserialize(value) {
+			const runtime = this.$deserialize(value);
+			return new this(runtime);
+		}
+		static $deserialize(value) {
+			const transform = Object.entries(of).map(([key, child]) => {
+				return [key, Shape(child).$deserialize(value[key])];
+			});
+			return Object.fromEntries(transform);
+		}
+		static $serialize(value) {
+			const transform = Object.entries(of).map(([key, child]) => {
+				return [key, Shape(child).$serialize(value[key])];
+			});
+			const merge = Object.fromEntries(transform);
+			if ("$name" in base) return {
+				...merge,
+				$name: base.$name
+			};
+			return merge;
+		}
+	}
+	return $Dict;
+};
+//#endregion
+export { Dict };

package/dist/discriminated-union.d.ts

@@ -0,0 +1,74 @@
+import { type Expand, type DefinitionOf, type AbstractConstructor, Empty, type Shorthand, type Definition } from "./_";
+import type { ClassShorthand } from "./class";
+import { type DictShorthand } from "./dict";
+type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+type PopUnion<U> = UnionToOvlds<U> extends (a: infer A) => void ? A : never;
+type UnionToArray<T, A extends unknown[] = []> = IsUnion<T> extends true ? UnionToArray<Exclude<T, PopUnion<T>>, [PopUnion<T>, ...A]> : [T, ...A];
+type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;
+type CountUnion<T> = UnionToArray<T> extends infer U extends any[] ? U["length"] : never;
+type UnshiftUnion<U> = UnionToArray<U> extends [infer F, ...any[]] ? F : never;
+type UnionToOvlds<U> = UnionToIntersection<U extends any ? (f: U) => void : never>;
+type IsStringLiteral<T> = T extends string ? string extends T ? false : true : false;
+type FindBestKeyForMatching<FromUnion> = UnshiftUnion<keyof FromUnion extends infer K ? K extends keyof FromUnion ? CountUnion<Pick<FromUnion, K>[K]> extends CountUnion<FromUnion> ? [IsStringLiteral<FromUnion[K]>] extends [true] ? K : never : never : never : never>;
+type MatcherConfig = {
+    [key: string]: any;
+};
+type ExhaustiveMatcher<C> = C extends MatcherConfig ? {
+    [key in keyof C]: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any;
+} : never;
+type UnsafeFallthroughMatcher<C> = C extends MatcherConfig ? {
+    [key in keyof C]?: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any;
+} & {
+    _: (value: Expand<DefinitionOf<C[keyof C]>["$inline"]>) => any;
+} : never;
+type PartialMatcher<C> = C extends MatcherConfig ? {
+    [key in keyof C]?: (value: Expand<DefinitionOf<C[key]>["$inline"]>) => any;
+} : never;
+type Matcher<C> = C extends MatcherConfig ? ExhaustiveMatcher<C> | UnsafeFallthroughMatcher<C> | PartialMatcher<C> : never;
+type Config = DictShorthandInput | ClassInput | ClassDictInput | DictInput;
+type ClassInput = ClassShorthand;
+type ClassDictInput = ClassShorthand & {
+    $of: {};
+};
+type DictInput = {
+    $of: {};
+};
+type DictShorthandInput = DictShorthand;
+type Access<T, K> = K extends keyof T ? T[K] : never;
+type Entries<T extends readonly any[], K> = UnionToIntersection<{
+    [i in keyof T]: Access<GetShape<T[i]>, K> extends infer U extends string ? IsStringLiteral<U> extends true ? {
+        [key in U]: T[i] extends DictShorthandInput ? DefinitionOf<T[i]> : T[i];
+    } : never : never;
+}[number]>;
+type GetShape<S extends Config> = S extends DictInput ? S["$of"] : S extends ClassInput ? Access<S, "prototype"> : S;
+export type BestKey<S extends readonly Config[]> = {
+    [key in keyof S]: GetShape<S[key]>;
+}[number] extends infer U ? FindBestKeyForMatching<U> : never;
+export type DiscriminatedUnionConfiguration = readonly Config[];
+export declare function findBestKey(config: DiscriminatedUnionConfiguration): string;
+export declare function prepareShapeMap(config: DiscriminatedUnionConfiguration, key: string): {
+    [key: string]: Definition;
+};
+type Internal<S extends DiscriminatedUnionConfiguration, K extends BestKey<S>> = {
+    Map: Entries<S, K>;
+    Serialized: ReturnType<DefinitionOf<S[number]>["$serialize"]>;
+    Inline: DefinitionOf<S[number]>["$inline"];
+};
+export declare const DiscriminatedUnion: <S extends DiscriminatedUnionConfiguration, K extends BestKey<S>, const B extends AbstractConstructor = typeof Empty>(of: S, base?: B | undefined) => IDiscriminatedUnion<S, K, B>;
+export type IDiscriminatedUnion<S extends DiscriminatedUnionConfiguration, K extends BestKey<S>, B extends AbstractConstructor = typeof Empty> = Omit<B, "prototype"> & {
+    $shape: "discriminated-union";
+    $of: S;
+    serialized: Internal<S, K>["Serialized"];
+    deserialize<T>(this: T, value: Expand<Internal<S, K>["Serialized"]>): T extends AbstractConstructor ? InstanceType<T> : any;
+    $deserialize<T>(this: T, value: Internal<S, K>["Serialized"]): Internal<S, K>["Inline"];
+    $serialize<T extends AbstractConstructor>(this: T, value: InstanceType<T>): Internal<S, K>["Serialized"];
+    $inline: Internal<S, K>["Inline"];
+} & (abstract new (value: Internal<S, K>["Inline"]) => InstanceType<B> & {
+    value: Internal<S, K>["Inline"];
+    serialize(): Internal<S, K>["Serialized"];
+    match<M extends Matcher<Internal<S, K>["Map"]>, F extends M extends ExhaustiveMatcher<Internal<S, K>["Map"]> ? [] : M extends UnsafeFallthroughMatcher<Internal<S, K>["Map"]> ? [] : M extends PartialMatcher<Internal<S, K>["Map"]> ? [
+        fallback: (value: Omit<Internal<S, K>["Map"], keyof M>[keyof Omit<Internal<S, K>["Map"], keyof M>] extends infer U extends Shorthand ? Expand<DefinitionOf<U>["$inline"]> : never) => 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 {};
+//# sourceMappingURL=discriminated-union.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"discriminated-union.d.ts","sourceRoot":"","sources":["../src/discriminated-union.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,MAAM,EACX,KAAK,YAAY,EACjB,KAAK,mBAAmB,EACxB,KAAK,EACL,KAAK,SAAS,EAEd,KAAK,UAAU,EAChB,MAAM,KAAK,CAAC;AACb,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,QAAQ,CAAC;AAE5C,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAC5B,CAAC,SAAS,OAAO,GACb,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GACd,KAAK,CACV,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC;AACV,KAAK,QAAQ,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAE5E,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,EAAE,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACpE,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAC1D,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACd,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAEtE,KAAK,UAAU,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,EAAE,GAC9D,CAAC,CAAC,QAAQ,CAAC,GACX,KAAK,CAAC;AAEV,KAAK,YAAY,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE/E,KAAK,YAAY,CAAC,CAAC,IAAI,mBAAmB,CACxC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CACvC,CAAC;AAEF,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACtC,MAAM,SAAS,CAAC,GACd,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEV,KAAK,sBAAsB,CAAC,SAAS,IAAI,YAAY,CACnD,MAAM,SAAS,SAAS,MAAM,CAAC,GAC3B,CAAC,SAAS,MAAM,SAAS,GACvB,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,SAAS,CAAC,GAC7D,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC5C,CAAC,GACD,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CACV,CAAC;AAEF,KAAK,aAAa,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,CAAC;AAE5C,KAAK,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GAC/C;KACG,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,GAAG;CAC1E,GACD,KAAK,CAAC;AAEV,KAAK,wBAAwB,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GACtD;KACG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CACjB,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAC3C,GAAG;CACT,GAAG;IACF,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,GAAG,CAAC;CAChE,GACD,KAAK,CAAC;AAEV,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GAC5C;KACG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CACjB,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,KAC3C,GAAG;CACT,GACD,KAAK,CAAC;AAEV,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GACrC,iBAAiB,CAAC,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GACtE,KAAK,CAAC;AAEV,KAAK,MAAM,GAAG,kBAAkB,GAAG,UAAU,GAAG,cAAc,GAAG,SAAS,CAAC;AAE3E,KAAK,UAAU,GAAG,cAAc,CAAC;AAEjC,KAAK,cAAc,GAAG,cAAc,GAAG;IAAE,GAAG,EAAE,EAAE,CAAA;CAAE,CAAC;AAEnD,KAAK,SAAS,GAAG;IAAE,GAAG,EAAE,EAAE,CAAA;CAAE,CAAC;AAE7B,KAAK,kBAAkB,GAAG,aAAa,CAAC;AAExC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AAErD,KAAK,OAAO,CAAC,CAAC,SAAS,SAAS,GAAG,EAAE,EAAE,CAAC,IAAI,mBAAmB,CAC7D;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,MAAM,GACpE,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7B;SACG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,kBAAkB,GACvC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAClB,CAAC,CAAC,CAAC,CAAC;KACT,GACD,KAAK,GACP,KAAK;CACV,CAAC,MAAM,CAAC,CACV,CAAC;AAEF,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,SAAS,GACjD,CAAC,CAAC,KAAK,CAAC,GACR,CAAC,SAAS,UAAU,GAClB,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,GACtB,CAAC,CAAC;AAER,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI;KAChD,GAAG,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;CACnC,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACrB,sBAAsB,CAAC,CAAC,CAAC,GACzB,KAAK,CAAC;AAEV,MAAM,MAAM,+BAA+B,GAAG,SAAS,MAAM,EAAE,CAAC;AAEhE,wBAAgB,WAAW,CAAC,MAAM,EAAE,+BAA+B,UAyBlE;AAED,wBAAgB,eAAe,CAC7B,MAAM,EAAE,+BAA+B,EACvC,GAAG,EAAE,MAAM;;EAuBZ;AAED,KAAK,QAAQ,CACX,CAAC,SAAS,+BAA+B,EACzC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,IAClB;IACF,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnB,UAAU,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAC9D,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;CAC5C,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAC7B,CAAC,SAAS,+BAA+B,EACzC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,QACd,CAAC,SAAS,mBAAmB,qBAE/B,CAAC,2BAEJ,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAqD7B,CAAC;AAEF,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,+BAA+B,EACzC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EACpB,CAAC,SAAS,mBAAmB,GAAG,OAAO,KAAK,IAC1C,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG;IACzB,MAAM,EAAE,qBAAqB,CAAC;IAC9B,GAAG,EAAE,CAAC,CAAC;IACP,UAAU,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACzC,WAAW,CAAC,CAAC,EACX,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACzC,CAAC,SAAS,mBAAmB,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IAC1D,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,SAAS,mBAAmB,EACtC,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GACrB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAChC,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;CACnC,GAAG,CAAC,QAAQ,MACT,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAC5B,YAAY,CAAC,CAAC,CAAC,GAAG;IACrB,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,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EACxC,CAAC,SAAS,CAAC,SAAS,iBAAiB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GACxD,EAAE,GACF,CAAC,SAAS,wBAAwB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GACvD,EAAE,GACF,CAAC,SAAS,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAC7C;QACE,QAAQ,EAAE,CACR,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,CACpD,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EACrB,MAAM,CAAC,CACR,CAAC,SAAS,MAAM,CAAC,SAAS,SAAS,GAChC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAClC,KAAK,KACN,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,CAAC"}

package/dist/discriminated-union.js

@@ -0,0 +1,65 @@
+const require__ = require("./_.js");
+//#region src/discriminated-union.ts
+function findBestKey(config) {
+	const hash = {};
+	for (const c of config) {
+		const shape = "$of" in c ? c.$of : c;
+		for (const key in shape) {
+			const k = key;
+			if (hash[key]) hash[key].add(shape[k]);
+			else hash[key] = new Set([shape[k]]);
+		}
+	}
+	const key = Object.entries(hash).map(([key, value]) => [key, value.size]).filter(([_, value]) => value === config.length).sort((a, b) => b[1] - a[1])?.[0]?.[0];
+	if (!key) throw new Error("Could not find key for DiscriminatedUnion");
+	return key;
+}
+function prepareShapeMap(config, key) {
+	return config.reduce((acc, c) => {
+		const shape = require__.Shape(c);
+		const discriminator = key in c ? c[key] : "$of" in c ? c.$of[key] : shape.$of[key];
+		acc[discriminator] = shape;
+		return acc;
+	}, {});
+}
+const DiscriminatedUnion = (of, ...args) => {
+	const base = args[0] || require__.Empty;
+	const key = findBestKey(of);
+	const map = prepareShapeMap(of, key);
+	class $DiscriminatedUnion extends base {
+		value;
+		constructor(value) {
+			super();
+			this.value = value;
+		}
+		static $of = of;
+		static $shape = "discriminated-union";
+		serialize() {
+			return $DiscriminatedUnion.$serialize(this.value);
+		}
+		match(matcher, fallback) {
+			const element = this.value;
+			const handler = matcher[element[key]];
+			if (handler) return handler(element);
+			if (fallback) return fallback(element);
+			if (matcher._) return matcher._(element);
+			throw new Error("Non-exhaustive match");
+		}
+		static deserialize(value) {
+			return new this(this.$deserialize(value));
+		}
+		static $deserialize(value) {
+			const definition = map[value[key]];
+			if (!definition) throw new Error("Cannot deserialize DiscriminatedUnion");
+			return definition.$deserialize(value);
+		}
+		static $serialize(value) {
+			return map[value[key]].$serialize(value);
+		}
+	}
+	return $DiscriminatedUnion;
+};
+//#endregion
+exports.DiscriminatedUnion = DiscriminatedUnion;
+exports.findBestKey = findBestKey;
+exports.prepareShapeMap = prepareShapeMap;

package/dist/discriminated-union.mjs

@@ -0,0 +1,63 @@
+import { Empty, Shape } from "./_.mjs";
+//#region src/discriminated-union.ts
+function findBestKey(config) {
+	const hash = {};
+	for (const c of config) {
+		const shape = "$of" in c ? c.$of : c;
+		for (const key in shape) {
+			const k = key;
+			if (hash[key]) hash[key].add(shape[k]);
+			else hash[key] = new Set([shape[k]]);
+		}
+	}
+	const key = Object.entries(hash).map(([key, value]) => [key, value.size]).filter(([_, value]) => value === config.length).sort((a, b) => b[1] - a[1])?.[0]?.[0];
+	if (!key) throw new Error("Could not find key for DiscriminatedUnion");
+	return key;
+}
+function prepareShapeMap(config, key) {
+	return config.reduce((acc, c) => {
+		const shape = Shape(c);
+		const discriminator = key in c ? c[key] : "$of" in c ? c.$of[key] : shape.$of[key];
+		acc[discriminator] = shape;
+		return acc;
+	}, {});
+}
+const DiscriminatedUnion = (of, ...args) => {
+	const base = args[0] || Empty;
+	const key = findBestKey(of);
+	const map = prepareShapeMap(of, key);
+	class $DiscriminatedUnion extends base {
+		value;
+		constructor(value) {
+			super();
+			this.value = value;
+		}
+		static $of = of;
+		static $shape = "discriminated-union";
+		serialize() {
+			return $DiscriminatedUnion.$serialize(this.value);
+		}
+		match(matcher, fallback) {
+			const element = this.value;
+			const handler = matcher[element[key]];
+			if (handler) return handler(element);
+			if (fallback) return fallback(element);
+			if (matcher._) return matcher._(element);
+			throw new Error("Non-exhaustive match");
+		}
+		static deserialize(value) {
+			return new this(this.$deserialize(value));
+		}
+		static $deserialize(value) {
+			const definition = map[value[key]];
+			if (!definition) throw new Error("Cannot deserialize DiscriminatedUnion");
+			return definition.$deserialize(value);
+		}
+		static $serialize(value) {
+			return map[value[key]].$serialize(value);
+		}
+	}
+	return $DiscriminatedUnion;
+};
+//#endregion
+export { DiscriminatedUnion, findBestKey, prepareShapeMap };

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

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

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

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

package/dist/either.d.ts

@@ -1,6 +1,5 @@
-import { Expand, DefinitionOf, AbstractConstructor, Empty } from "./_";
-import { ClassShorthand } from "./class";
-import { LiteralShorthand } from "./literal";
+import { type Constructor, type Expand, type DefinitionOf, type AbstractConstructor, Empty } from "./_";
+import type { ClassShorthand } from "./class";
 type Config = {
     [key: string]: any;
 };
@@ -17,24 +16,69 @@ type PartialMatcher<C extends Config> = {
 };
 type Matcher<C extends Config> = ExhaustiveMatcher<C> | UnsafeFallthroughMatcher<C> | PartialMatcher<C>;
 export type EitherConfiguration = {
-    [key: string]: LiteralShorthand | ClassShorthand;
+    [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]: [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>[Exclude<keyof 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);
+    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]: [K, ReturnType<DefinitionOf<S[K]>["$serialize"]>]; }[keyof S];
+    serialized: { [K in keyof S]: {
+        _key: K;
+    } & ReturnType<DefinitionOf<S[K]>["$serialize"]>; }[keyof S];
     of: S;
-    $name: "either";
-    deserialize<T extends any>(this: T, value: Expand<{ [K in keyof S]: [K, ReturnType<DefinitionOf<S[K]>["$serialize"]>]; }[keyof S]>): InstanceType<T>;
-    $deserialize<T_1 extends any>(this: T_1, value: { [K in keyof S]: [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]: [K, ReturnType<DefinitionOf<S[K]>["$serialize"]>]; }[keyof 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]: [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>[Exclude<keyof 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);
+    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 +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;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAE7C,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,gBAAgB,GAAG,cAAc,CAAC;CAClD,CAAC;AAEF,eAAO,MAAM,MAAM,oGAIb,CAAC,SACC,CAAC;;;4OAqCiF,GAAG,gEAI1D,GAAG,EAAE,KAAK,GAAG,6DAA6D,GAAG,EAAE,KAAK,GAAG;;;;;qCAmB9G,CAAC,mGAEN,aAAa,CAAC,CAAC;;;;;;;4OAzBoE,GAAG,gEAI1D,GAAG,EAAE,KAAK,GAAG,6DAA6D,GAAG,EAAE,KAAK,GAAG;EAkEzH,CAAC"}
+{"version":3,"file":"either.d.ts","sourceRoot":"","sources":["../src/either.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,MAAM,EACX,KAAK,YAAY,EAEjB,KAAK,mBAAmB,EACxB,KAAK,EACN,MAAM,KAAK,CAAC;AACb,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAG9C,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"}