@ddd-ts/shape 0.0.37 → 0.0.39

package/dist/dict.mjs

@@ -0,0 +1,41 @@
+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/dict.spec.d.ts

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

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

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

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,66 @@
+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 {
+		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,64 @@
+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 {
+		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

@@ -0,0 +1,84 @@
+import { type Constructor, type Expand, type DefinitionOf, type AbstractConstructor, Empty } from "./_";
+import type { 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

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

package/dist/either.js

@@ -0,0 +1,51 @@
+const require__ = require('./_.js');
+
+//#region src/either.ts
+const Either = (of, base = require__.Empty) => {
+	const definitions = Object.fromEntries(Object.entries(of).map(([key, value]) => {
+		return [key, require__.Shape(value)];
+	}));
+	class $Either extends base {
+		constructor(value) {
+			super();
+			this.value = value;
+		}
+		static serialized;
+		static of = of;
+		static $shape = "either";
+		serialize() {
+			return $Either.$serialize(this.value);
+		}
+		match(...[matcher, fallback]) {
+			const handler = matcher[Object.entries(of).find(([_, v]) => v === this.value.constructor)?.[0]];
+			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;
+};
+
+//#endregion
+exports.Either = Either;

package/dist/either.mjs

@@ -0,0 +1,51 @@
+import { Empty, Shape } from "./_.mjs";
+
+//#region src/either.ts
+const Either = (of, base = Empty) => {
+	const definitions = Object.fromEntries(Object.entries(of).map(([key, value]) => {
+		return [key, Shape(value)];
+	}));
+	class $Either extends base {
+		constructor(value) {
+			super();
+			this.value = value;
+		}
+		static serialized;
+		static of = of;
+		static $shape = "either";
+		serialize() {
+			return $Either.$serialize(this.value);
+		}
+		match(...[matcher, fallback]) {
+			const handler = matcher[Object.entries(of).find(([_, v]) => v === this.value.constructor)?.[0]];
+			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;
+};
+
+//#endregion
+export { Either };

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

@@ -0,0 +1,14 @@
+export * from "./_";
+export * from "./choice";
+export * from "./class";
+export * from "./dict";
+export * from "./either";
+export * from "./primitive";
+export * from "./literal";
+export * from "./discriminated-union";
+export * from "./mapping";
+export * from "./multiple";
+export * from "./nothing";
+export * from "./optional";
+export * from "./addons/microsecond-timestamp";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,KAAK,CAAC;AACpB,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,QAAQ,CAAC;AACvB,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,uBAAuB,CAAC;AACtC,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,gCAAgC,CAAC"}

package/dist/index.js

@@ -0,0 +1,32 @@
+Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
+const require_class = require('./class.js');
+const require_dict = require('./dict.js');
+const require_primitive = require('./primitive.js');
+const require_multiple = require('./multiple.js');
+const require_nothing = require('./nothing.js');
+const require_literal = require('./literal.js');
+const require__ = require('./_.js');
+const require_choice = require('./choice.js');
+const require_either = require('./either.js');
+const require_discriminated_union = require('./discriminated-union.js');
+const require_mapping = require('./mapping.js');
+const require_optional = require('./optional.js');
+const require_microsecond_timestamp = require('./addons/microsecond-timestamp.js');
+
+exports.Choice = require_choice.Choice;
+exports.Class = require_class.Class;
+exports.Dict = require_dict.Dict;
+exports.DiscriminatedUnion = require_discriminated_union.DiscriminatedUnion;
+exports.Either = require_either.Either;
+exports.Empty = require__.Empty;
+exports.Literal = require_literal.Literal;
+exports.Mapping = require_mapping.Mapping;
+exports.MicrosecondTimestamp = require_microsecond_timestamp.MicrosecondTimestamp;
+exports.Multiple = require_multiple.Multiple;
+exports.Nothing = require_nothing.Nothing;
+exports.Optional = require_optional.Optional;
+exports.Primitive = require_primitive.Primitive;
+exports.Shape = require__.Shape;
+exports.findBestKey = require_discriminated_union.findBestKey;
+exports.forward = require__.forward;
+exports.prepareShapeMap = require_discriminated_union.prepareShapeMap;

package/dist/index.mjs

@@ -0,0 +1,15 @@
+import { Class } from "./class.mjs";
+import { Dict } from "./dict.mjs";
+import { Primitive } from "./primitive.mjs";
+import { Multiple } from "./multiple.mjs";
+import { Nothing } from "./nothing.mjs";
+import { Literal } from "./literal.mjs";
+import { Empty, Shape, forward } from "./_.mjs";
+import { Choice } from "./choice.mjs";
+import { Either } from "./either.mjs";
+import { DiscriminatedUnion, findBestKey, prepareShapeMap } from "./discriminated-union.mjs";
+import { Mapping } from "./mapping.mjs";
+import { Optional } from "./optional.mjs";
+import { MicrosecondTimestamp } from "./addons/microsecond-timestamp.mjs";
+
+export { Choice, Class, Dict, DiscriminatedUnion, Either, Empty, Literal, Mapping, MicrosecondTimestamp, Multiple, Nothing, Optional, Primitive, Shape, findBestKey, forward, prepareShapeMap };

package/dist/literal.d.ts

@@ -0,0 +1,15 @@
+import { type AbstractConstructor, type Constructor, Empty, type Expand } from "./_";
+export type LiteralShorthand = string | number;
+export declare const Literal: <const S extends LiteralShorthand, B extends AbstractConstructor<{}> = typeof Empty>(of: S, base?: B) => ILiteral<S, B>;
+export type ILiteral<S extends LiteralShorthand, B extends AbstractConstructor<{}> = typeof Empty> = Omit<B, "prototype"> & {
+    value: S;
+    $shape: "literal";
+    deserialize<T extends Constructor>(this: T, value: S): InstanceType<T>;
+    $serialize(value: S): S;
+    $deserialize(value: S): S;
+    $inline: S;
+} & (abstract new (value: Expand<S>) => InstanceType<B> & {
+    readonly value: S;
+    serialize(): S;
+});
+//# sourceMappingURL=literal.d.ts.map

package/dist/literal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal.d.ts","sourceRoot":"","sources":["../src/literal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,mBAAmB,EAAE,KAAK,WAAW,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,KAAK,CAAC;AAErF,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,MAAM,CAAC;AAE/C,eAAO,MAAM,OAAO,SACZ,CAAC,SAAS,gBAAgB,EAChC,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,qBAE7B,CAAC,SACC,CAAC,KACN,QAAQ,CAAC,CAAC,EAAE,CAAC,CA8Bf,CAAC;AAEF,MAAM,MAAM,QAAQ,CAClB,CAAC,SAAS,gBAAgB,EAC1B,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,GAAG,OAAO,KAAK,IAC9C,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG;IACzB,KAAK,EAAE,CAAC,CAAC;IACT,MAAM,EAAE,SAAS,CAAC;IAClB,WAAW,CAAC,CAAC,SAAS,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACvE,UAAU,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC;IACxB,YAAY,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC;CACZ,GAAG,CAAC,QAAQ,MACT,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,KACb,YAAY,CAAC,CAAC,CAAC,GAAG;IACrB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,SAAS,IAAI,CAAC,CAAC;CAChB,CAAC,CAAC"}

package/dist/literal.js

@@ -0,0 +1,27 @@
+const require__ = require('./_.js');
+
+//#region src/literal.ts
+const Literal = (of, base = require__.Empty) => {
+	class $Literal extends base {
+		value = of;
+		static value = of;
+		static $shape = "literal";
+		serialize() {
+			return of;
+		}
+		static deserialize(value) {
+			return new this();
+		}
+		static $serialize(value) {
+			return of;
+		}
+		static $deserialize(value) {
+			return of;
+		}
+		static $inline;
+	}
+	return $Literal;
+};
+
+//#endregion
+exports.Literal = Literal;

package/dist/literal.mjs

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

package/dist/literal.spec.d.ts

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

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

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