@ddd-ts/shape 0.0.3-54 → 0.0.3-56

package/dist/_.d.ts

@@ -0,0 +1,39 @@
+import { Class, ClassShorthand } from "./class";
+import { Dict, DictShorthand } from "./dict";
+import { Literal, LiteralShorthand } from "./literal";
+import { Multiple, MultipleShorthand } from "./multiple";
+import { Nothing, NothingShorthand } from "./nothing";
+export declare abstract class Empty {
+}
+export interface Constructor<T = any, P extends any[] = any[]> {
+    new (...args: P): T;
+}
+export type AbstractConstructor<T = any, P extends any[] = any[]> = abstract new (...args: P) => T;
+export interface Definition {
+    $name: string;
+    $inline: any;
+    $serialize(value: any): any;
+    $deserialize(value: any): any;
+}
+export type MakeAbstract<T> = T extends new (...params: infer P) => infer R ? Omit<T, ""> & (abstract new (...params: P) => R) : never;
+export type Concrete<T extends AbstractConstructor<any>> = T extends abstract new (...params: infer P) => infer R ? Omit<T, ""> & {
+    new (...params: P): R;
+} : never;
+export type Shorthand = Definition | DictShorthand | LiteralShorthand | MultipleShorthand | NothingShorthand | ClassShorthand;
+export type DefinitionOf<T extends Shorthand | Definition, B extends AbstractConstructor<{}> = typeof Empty> = T extends LiteralShorthand ? ReturnType<typeof Literal<T, B>> : T extends undefined ? ReturnType<typeof Nothing<B>> : T extends LiteralShorthand ? ReturnType<typeof Literal<T, B>> : T extends MultipleShorthand ? ReturnType<typeof Multiple<T[0], B>> : T extends ClassShorthand ? ReturnType<typeof Class<T, B>> : T extends {
+    prototype: any;
+} ? T : T extends DictShorthand ? ReturnType<typeof Dict<T, B>> : never;
+export declare function Shape<const S extends Definition | Shorthand, B extends AbstractConstructor<{}> = typeof Empty>(shorthand: S, base?: B): DefinitionOf<S, B>;
+export type Expand<T> = T extends {
+    serialize(): any;
+} ? T : T extends Date ? T : T extends Record<string, any> ? {
+    [key in keyof T]: Expand<T[key]>;
+} : T;
+export declare function forward<T extends AbstractConstructor<{
+    value: any;
+}>, const Forward extends T extends AbstractConstructor<{
+    value: infer U;
+}> ? (keyof U)[] : never>(base: T, forward: Forward): MakeAbstract<T & (new (...args: ConstructorParameters<T>) => InstanceType<T> & {
+    [K in Forward[number]]: InstanceType<T>["value"][K];
+})>;
+//# sourceMappingURL=_.d.ts.map

package/dist/_.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_.d.ts","sourceRoot":"","sources":["../src/_.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAEtD,8BAAsB,KAAK;CAAG;AAE9B,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE;IAC3D,KAAK,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;CACrB;AACD,MAAM,MAAM,mBAAmB,CAC7B,CAAC,GAAG,GAAG,EACP,CAAC,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,IACrB,QAAQ,MAAM,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC;AAEnC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,GAAG,CAAC;IACb,UAAU,CAAC,KAAK,EAAE,GAAG,GAAG,GAAG,CAAC;IAC5B,YAAY,CAAC,KAAK,EAAE,GAAG,GAAG,GAAG,CAAC;CAC/B;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,KACtC,GAAG,MAAM,EAAE,MAAM,CAAC,KACf,MAAM,CAAC,GACR,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,MAAM,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,GAChD,KAAK,CAAC;AAEV,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,mBAAmB,CAAC,GAAG,CAAC,IACrD,CAAC,SAAS,QAAQ,MAChB,GAAG,MAAM,EAAE,MAAM,CAAC,KACf,MAAM,CAAC,GACR,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;IACZ,KAAK,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC;CACvB,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,SAAS,GACjB,UAAU,GACV,aAAa,GACb,gBAAgB,GAChB,iBAAiB,GACjB,gBAAgB,GAChB,cAAc,CAAC;AAEnB,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,SAAS,GAAG,UAAU,EAChC,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,GAAG,OAAO,KAAK,IAC9C,CAAC,SAAS,gBAAgB,GAC1B,UAAU,CAAC,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,SAAS,GACjB,UAAU,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,GAC7B,CAAC,SAAS,gBAAgB,GACxB,UAAU,CAAC,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,iBAAiB,GACzB,UAAU,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACpC,CAAC,SAAS,cAAc,GACtB,UAAU,CAAC,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC9B,CAAC,SAAS;IAAE,SAAS,EAAE,GAAG,CAAA;CAAE,GAC1B,CAAC,GACD,CAAC,SAAS,aAAa,GACrB,UAAU,CAAC,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC7B,KAAK,CAAC;AAEtB,wBAAgB,KAAK,CACnB,KAAK,CAAC,CAAC,SAAS,UAAU,GAAG,SAAS,EACtC,CAAC,SAAS,mBAAmB,CAAC,EAAE,CAAC,GAAG,OAAO,KAAK,EAChD,SAAS,EAAE,CAAC,EAAE,IAAI,GAAE,CAAgB,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAiC1D;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,SAAS,IAAI,GAAG,CAAA;CAAE,GAClD,CAAC,GACD,CAAC,SAAS,IAAI,GACZ,CAAC,GACD,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAC3B;KAAG,GAAG,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;CAAE,GACpC,CAAC,CAAC;AAEV,wBAAgB,OAAO,CACrB,CAAC,SAAS,mBAAmB,CAAC;IAAE,KAAK,EAAE,GAAG,CAAA;CAAE,CAAC,EAC7C,KAAK,CAAC,OAAO,SAAS,CAAC,SAAS,mBAAmB,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,CAAC,GACnE,CAAC,MAAM,CAAC,CAAC,EAAE,GACX,KAAK,EAET,IAAI,EAAE,CAAC,EACP,OAAO,EAAE,OAAO,GACf,YAAY,CACb,CAAC,GACC,CAAC,KACC,GAAG,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAC9B,YAAY,CAAC,CAAC,CAAC,GAAG;KACpB,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC,CACL,CASA"}

package/dist/_.js

@@ -0,0 +1,51 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.forward = exports.Shape = exports.Empty = void 0;
+const class_1 = require("./class");
+const dict_1 = require("./dict");
+const literal_1 = require("./literal");
+const multiple_1 = require("./multiple");
+const nothing_1 = require("./nothing");
+class Empty {
+}
+exports.Empty = Empty;
+function Shape(shorthand, base = Empty) {
+    if (shorthand &&
+        "$name" in shorthand &&
+        "name" in shorthand &&
+        typeof shorthand.name === "string") {
+        if (shorthand.name.startsWith("$")) {
+            return shorthand;
+        }
+        return (0, class_1.Class)(shorthand, base);
+    }
+    if (shorthand === undefined) {
+        return (0, nothing_1.Nothing)(undefined, base);
+    }
+    if ([String, Number, Date, Boolean].includes(shorthand)) {
+        return (0, literal_1.Literal)(shorthand, base);
+    }
+    if (shorthand && "prototype" in shorthand) {
+        return (0, class_1.Class)(shorthand, base);
+    }
+    if (Array.isArray(shorthand)) {
+        return multiple_1.Multiple(shorthand[0], base);
+    }
+    if (typeof shorthand === "object") {
+        return (0, dict_1.Dict)(shorthand, base);
+    }
+    throw new Error(`Could not determine longhand from shorthand ${JSON.stringify(shorthand)}`);
+}
+exports.Shape = Shape;
+function forward(base, forward) {
+    for (const key of forward) {
+        Object.defineProperty(base.prototype, key, {
+            get() {
+                return this.value[key].bind(this.value);
+            },
+        });
+    }
+    return base;
+}
+exports.forward = forward;
+//# sourceMappingURL=_.js.map

package/dist/_.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_.js","sourceRoot":"","sources":["../src/_.ts"],"names":[],"mappings":";;;AAAA,mCAAgD;AAChD,iCAA6C;AAC7C,uCAAsD;AACtD,yCAAyD;AACzD,uCAAsD;AAEtD,MAAsB,KAAK;CAAG;AAA9B,sBAA8B;AA2D9B,SAAgB,KAAK,CAGnB,SAAY,EAAE,OAAU,KAAY;IACpC,IACE,SAAS;QACT,OAAO,IAAI,SAAS;QACpB,MAAM,IAAI,SAAS;QACnB,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;QACD,IAAK,SAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,OAAO,SAAgB,CAAC;QAC1B,CAAC;QACD,OAAO,IAAA,aAAK,EAAC,SAAgB,EAAE,IAAI,CAAQ,CAAC;IAC9C,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAA,iBAAO,EAAC,SAAS,EAAE,IAAI,CAAQ,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,SAAgB,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAA,iBAAO,EAAC,SAAgB,EAAE,IAAI,CAAQ,CAAC;IAChD,CAAC;IACD,IAAI,SAAS,IAAI,WAAW,IAAI,SAAS,EAAE,CAAC;QAC1C,OAAO,IAAA,aAAK,EAAC,SAAgB,EAAE,IAAI,CAAQ,CAAC;IAC9C,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,OAAQ,mBAAgB,CAAC,SAAS,CAAC,CAAC,CAAQ,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,IAAA,WAAI,EAAC,SAAgB,EAAE,IAAI,CAAQ,CAAC;IAC7C,CAAC;IAED,MAAM,IAAI,KAAK,CACb,+CAA+C,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAC3E,CAAC;AACJ,CAAC;AApCD,sBAoCC;AAUD,SAAgB,OAAO,CAMrB,IAAO,EACP,OAAgB;IAShB,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE;YACzC,GAAG;gBACD,OAAQ,IAAI,CAAC,KAAa,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnD,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAW,CAAC;AACrB,CAAC;AAxBD,0BAwBC"}

package/dist/allcases.d.ts

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

package/dist/allcases.d.ts.map

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

package/dist/allcases.js

@@ -0,0 +1,4 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const a = 2;
+//# sourceMappingURL=allcases.js.map

package/dist/allcases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"allcases.js","sourceRoot":"","sources":["../src/allcases.ts"],"names":[],"mappings":";;AA2DA,MAAM,CAAC,GAAM,CAAC,CAAC"}

package/dist/choice.d.ts

@@ -0,0 +1,41 @@
+import { AbstractConstructor, Empty, Expand, Constructor } from "./_";
+type Matcher<S extends string[]> = {
+    [key in S[number]]: () => any;
+} | ({
+    _: () => any;
+} & {
+    [key in S[number]]?: () => any;
+});
+type MatcherResult<M extends Matcher<any>> = M[keyof M] extends () => infer R ? R : never;
+type ActuallyGenerateAllTheThings<B extends AbstractConstructor, Current extends AbstractConstructor> = abstract new (...args: ConstructorParameters<Current>) => InstanceType<B> & InstanceType<Current>;
+export declare const Choice: <const S extends string[], B extends AbstractConstructor<{}> = typeof Empty>(config: S, base?: B) => ActuallyGenerateAllTheThings<B, (abstract new (value: Expand<S[number]>) => {
+    value: Expand<S[number]>;
+    is<T extends S[number]>(value: T): this is Omit<any, "serialize" | "value"> & {
+        value: T;
+        serialize(): T;
+    };
+    match<M extends Matcher<S>>(matcher: M): MatcherResult<M>;
+    serialize(): S[number];
+}) & {
+    $name: "choice";
+    deserialize<T_1 extends any>(this: T_1, value: S[number]): InstanceType<T_1>;
+    $deserialize<T_2 extends any>(this: T_2, value: S[number]): S[number];
+    $serialize<T_3 extends any>(this: T_3, value: S[number]): S[number];
+    $inline: S[number];
+}> & Omit<B, ""> & Omit<(abstract new (value: Expand<S[number]>) => {
+    value: Expand<S[number]>;
+    is<T extends S[number]>(value: T): this is Omit<any, "serialize" | "value"> & {
+        value: T;
+        serialize(): T;
+    };
+    match<M extends Matcher<S>>(matcher: M): MatcherResult<M>;
+    serialize(): S[number];
+}) & {
+    $name: "choice";
+    deserialize<T_1 extends any>(this: T_1, value: S[number]): InstanceType<T_1>;
+    $deserialize<T_2 extends any>(this: T_2, value: S[number]): S[number];
+    $serialize<T_3 extends any>(this: T_3, value: S[number]): S[number];
+    $inline: S[number];
+}, ""> & { [K in S[number]]: <T_4 extends Constructor<any, any[]>>(this: T_4) => InstanceType<T_4>; };
+export {};
+//# sourceMappingURL=choice.d.ts.map

package/dist/choice.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"choice.d.ts","sourceRoot":"","sources":["../src/choice.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,KAAK,EAAY,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,CAAC;AAEhF,KAAK,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,IAC3B;KACG,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG;CAC9B,GACD,CAAC;IACC,CAAC,EAAE,MAAM,GAAG,CAAC;CACd,GAAG;KACD,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG;CAC/B,CAAC,CAAC;AAEP,KAAK,aAAa,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,MAAM,MAAM,CAAC,GACzE,CAAC,GACD,KAAK,CAAC;AAEV,KAAK,4BAA4B,CAC/B,CAAC,SAAS,mBAAmB,EAC7B,OAAO,SAAS,mBAAmB,IACjC,QAAQ,MACV,GAAG,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAC,KACpC,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;AAE7C,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;qGAuElB,CAAC"}

package/dist/choice.js

@@ -0,0 +1,46 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Choice = void 0;
+const _1 = require("./_");
+const Choice = (config, base = _1.Empty) => {
+    class $Choice extends base {
+        value;
+        static $name = "choice";
+        constructor(value) {
+            super();
+            this.value = value;
+        }
+        is(value) {
+            return this.value === value;
+        }
+        match(matcher) {
+            const handler = matcher[this.value];
+            if (handler)
+                return handler();
+            return matcher._();
+        }
+        serialize() {
+            return this.value;
+        }
+        static deserialize(value) {
+            return new this(value);
+        }
+        static $deserialize(value) {
+            return value;
+        }
+        static $serialize(value) {
+            return value;
+        }
+        static $inline;
+        static {
+            for (const choice of config) {
+                this[choice] = function () {
+                    return new this(choice);
+                };
+            }
+        }
+    }
+    return $Choice;
+};
+exports.Choice = Choice;
+//# sourceMappingURL=choice.js.map

package/dist/choice.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"choice.js","sourceRoot":"","sources":["../src/choice.ts"],"names":[],"mappings":";;;AAAA,0BAAgF;AAuBzE,MAAM,MAAM,GAAG,CAIpB,MAAS,EACT,OAAU,QAAY,EACtB,EAAE;IAGF,MAAe,OAAQ,SAAS,IAA+B;QAG1C;QAFnB,MAAM,CAAC,KAAK,GAAG,QAAiB,CAAC;QAEjC,YAAmB,KAAqB;YACtC,KAAK,EAAE,CAAC;YADS,UAAK,GAAL,KAAK,CAAgB;QAExC,CAAC;QAED,EAAE,CAAmB,KAAQ;YAO3B,OAAO,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC;QAC9B,CAAC;QAED,KAAK,CAAuB,OAAU;YACpC,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,OAAO;gBAAE,OAAO,OAAO,EAAE,CAAC;YAC9B,OAAQ,OAA4B,CAAC,CAAC,EAAE,CAAC;QAC3C,CAAC;QAED,SAAS;YACP,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,CAAC;QAED,MAAM,CAAC,WAAW,CAEhB,KAAa;YAEb,OAAO,IAAK,IAAY,CAAC,KAAY,CAAoB,CAAC;QAC5D,CAAC;QACD,MAAM,CAAC,YAAY,CAEjB,KAAa;YAEb,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,CAAC,UAAU,CAEf,KAAa;YAEb,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,CAAC,OAAO,CAAS;QAEvB;YACE,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;gBAC3B,IAAY,CAAC,MAAM,CAAC,GAAG;oBACtB,OAAO,IAAI,IAAI,CAAC,MAAa,CAAC,CAAC;gBACjC,CAAC,CAAC;YACJ,CAAC;QACH,CAAC;;IAGH,OAAO,OAIJ,CAAC;AACN,CAAC,CAAC;AAvEW,QAAA,MAAM,UAuEjB"}

package/dist/choice.spec.d.ts

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

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

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

package/dist/choice.spec.js

@@ -0,0 +1,147 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const choice_1 = require("./choice");
+const dict_1 = require("./dict");
+const test_1 = require("./test");
+describe("Choice", () => {
+    it("class definition", () => {
+        class Test extends (0, choice_1.Choice)(["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("a");
+        (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).toBe("a").ok;
+        (0, test_1.ex)(a.match({
+            a: () => 1,
+            b: () => 2,
+            _: () => 3,
+        })).toBe(1).ok;
+        (0, test_1.ex)(a.is("a")).toBe(true).ok;
+        // Serialization
+        (0, test_1.ex)(a.serialize()).toBe("a").ok;
+        // Instantiation
+        const b = new Test("a");
+        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
+        // Inherited prototype on instantiation
+        (0, test_1.ex)(b.value).toBe("a").ok;
+        (0, test_1.ex)(a.match({
+            a: () => 1,
+            b: () => 2,
+            _: () => 3,
+        })).toBe(1).ok;
+        (0, test_1.ex)(b.is("a")).toBe(true).ok;
+        // Inherited statics
+        (0, test_1.ex)(Test.a()).toBeInstanceOf(Test).ok;
+        (0, test_1.ex)(Test.b()).toBeInstanceOf(Test).ok;
+        (0, test_1.ex)(Test.c()).toBeInstanceOf(Test).ok;
+    });
+    it("inlined definition", () => {
+        class Test extends (0, dict_1.Dict)({ nested: (0, choice_1.Choice)(["a", "b", "c"]) }) {
+        }
+        // Constructor parameters
+        (0, test_1.ex)(Test).toHaveFirstParam().ok;
+        // Deserialization
+        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
+        const a = Test.deserialize({ nested: "b" });
+        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
+        // Inherited prototype on deserialization
+        (0, test_1.ex)(a.nested).toBe("b").ok;
+        // Serialization
+        (0, test_1.ex)(a.serialize()).toStrictEqual({
+            nested: "b",
+        }).ok;
+        // Instantiation
+        const e = new Test({ nested: "b" });
+        (0, test_1.ex)(e).toBeInstanceOf(Test).ok;
+    });
+    it("referenced definition", () => {
+        class Reference extends (0, choice_1.Choice)(["a", "b", "c"]) {
+        }
+        class Test extends (0, dict_1.Dict)({ nested: Reference }) {
+        }
+        // Constructor parameters
+        (0, test_1.ex)(Test).toHaveFirstParam().ok;
+        // Deserialization
+        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
+        const a = Test.deserialize({ nested: "a" });
+        (0, test_1.ex)(a).toBeInstanceOf(Test);
+        // Preserve reference
+        (0, test_1.ex)(a.nested).toBeInstanceOf(Reference);
+        (0, test_1.ex)(a.nested.is("a")).toBe(true);
+        // Serialization
+        (0, test_1.ex)(a.serialize()).toStrictEqual({ nested: "a" });
+        // Instantiation
+        const b = new Test({ nested: new Reference("c") });
+        expect(b).toBeInstanceOf(Test);
+    });
+    it("mixin extension are not supported", () => {
+        const Mixin = (choices) => {
+            // @ts-expect-error https://github.com/microsoft/TypeScript/issues/57674
+            class Mix extends (0, choice_1.Choice)(choices) {
+                static d;
+            }
+            return Mix;
+        };
+        expect(true).toBe(true);
+    });
+    it("mixin supersede", () => {
+        const Testable = (choices) => {
+            class I {
+                deep = true;
+                static deep = true;
+            }
+            return (0, choice_1.Choice)(choices, I);
+        };
+        class Test extends Testable(["a", "b", "c"]) {
+            test = true;
+            // @ts-expect-error is not assignable to parameter of type 'true'
+            abstract = false;
+        }
+        // Constructor parameters
+        (0, test_1.ex)(Test).toHaveFirstParam().ok;
+        // Deserialization
+        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
+        const a = Test.deserialize("a");
+        (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).toBe("a").ok;
+        (0, test_1.ex)(a.match({
+            a: () => 1,
+            b: () => 2,
+            _: () => 3,
+        })).toBe(1).ok;
+        (0, test_1.ex)(a.is("a")).toBe(true).ok;
+        // Serialization
+        (0, test_1.ex)(a.serialize()).toBe("a").ok;
+        // Instantiation
+        const b = new Test("a");
+        (0, test_1.ex)(b).toBeInstanceOf(Test).ok;
+        // Inherited prototype on instantiation
+        (0, test_1.ex)(b.value).toBe("a").ok;
+        (0, test_1.ex)(a.match({
+            a: () => 1,
+            b: () => 2,
+            _: () => 3,
+        })).toBe(1).ok;
+        (0, test_1.ex)(b.is("a")).toBe(true).ok;
+        // Inherited statics
+        (0, test_1.ex)(Test.a()).toBeInstanceOf(Test).ok;
+        (0, test_1.ex)(Test.b()).toBeInstanceOf(Test).ok;
+        (0, test_1.ex)(Test.c()).toBeInstanceOf(Test).ok;
+        // Additional inherited static prototype
+        (0, test_1.ex)(Test.deep).toBe(true).ok;
+        // Additional inherited prototype
+        (0, test_1.ex)(b.abstract).toBe(false).ok;
+        (0, test_1.ex)(b.deep).toBe(true).ok;
+    });
+});
+//# sourceMappingURL=choice.spec.js.map

package/dist/choice.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"choice.spec.js","sourceRoot":"","sources":["../src/choice.spec.ts"],"names":[],"mappings":";;AAAA,qCAAkC;AAClC,iCAA8B;AAC9B,iCAA4B;AAE5B,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAK,SAAQ,IAAA,eAAM,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACxC,IAAI,GAAG,IAAa,CAAC;SACtB;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QAE3C,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAChC,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,IAAI,CAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1C,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;SACpB,CAAC,CACH,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE5B,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAEhD,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1C,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;SACpB,CAAC,CACH,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE5B,oBAAoB;QACpB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,IAAA,eAAM,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;SAAG;QAI/D,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QAE3C,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5C,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,yCAAyC;QACzC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAkB,GAAG,CAAC,CAAC,EAAE,CAAC;QAE3C,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAA8B;YAC3D,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC,EAAE,CAAC;QAEN,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACpC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,SAAU,SAAQ,IAAA,eAAM,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;SAAG;QAClD,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;SAAG;QAIjD,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAyB,CAAC,EAAE,CAAC;QAEtD,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5C,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAE3B,qBAAqB;QACrB,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEhC,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAa,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAE7D,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,CAA2B,OAAU,EAAE,EAAE;YACrD,wEAAwE;YACxE,MAAe,GAAI,SAAQ,IAAA,eAAM,EAAC,OAAO,CAAC;gBACxC,MAAM,CAAC,CAAC,CAAM;aACf;YAED,OAAO,GAA2C,CAAC;QACrD,CAAC,CAAC;QAEF,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,QAAQ,GAAG,CAA2B,OAAU,EAAE,EAAE;YACxD,MAAe,CAAC;gBACd,IAAI,GAAG,IAAa,CAAC;gBACrB,MAAM,CAAC,IAAI,GAAG,IAAa,CAAC;;YAK9B,OAAO,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC5B,CAAC,CAAC;QAEF,MAAM,IAAK,SAAQ,QAAQ,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC1C,IAAI,GAAG,IAAa,CAAC;YAErB,iEAAiE;YACjE,QAAQ,GAAG,KAAc,CAAC;SAC3B;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QAE3C,kBAAkB;QAClB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAChC,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,IAAI,CAAa,GAAG,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;SACpB,CAAC,CACH,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE5B,gBAAgB;QAChB,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAa,GAAG,CAAC,CAAC,EAAE,CAAC;QAE3C,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,uCAAuC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAa,GAAG,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EACA,CAAC,CAAC,KAAK,CAAC;YACN,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;YACnB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAU;SACpB,CAAC,CACH,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,IAAA,SAAE,EAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE5B,oBAAoB;QACpB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACrC,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAErC,wCAAwC;QACxC,IAAA,SAAE,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAErC,iCAAiC;QACjC,IAAA,SAAE,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAc,CAAC,CAAC,EAAE,CAAC;QACvC,IAAA,SAAE,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/choice.type.d.ts

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

package/dist/choice.type.d.ts.map

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

package/dist/choice.type.js

@@ -0,0 +1,50 @@
+"use strict";
+// import { AbstractConstructor, Empty } from ".";
+Object.defineProperty(exports, "__esModule", { value: true });
+// type Choice<
+//   S extends string[],
+//   B extends AbstractConstructor = typeof Empty,
+// > = (
+//   config: S,
+//   base?: B,
+// ) => {
+//   $name: "choice";
+//   deserialize<T extends AbstractConstructor>(
+//     this: T,
+//     value: S[number],
+//   ): InstanceType<T>;
+//   $deserialize<T extends AbstractConstructor>(
+//     this: T,
+//     value: S[number],
+//   ): S[number];
+//   $serialize<T extends AbstractConstructor>(
+//     this: T,
+//     value: S[number],
+//   ): S[number];
+//   $inline: S[number];
+// } & B & {
+//     [K in S[number]]: <T extends AbstractConstructor>(
+//       this: T,
+//     ) => InstanceType<T>;
+//   } & (abstract new (
+//     choice: S[number],
+//   ) => InstanceType<B> & {
+//     value: S[number];
+//     is<T extends AbstractConstructor, s extends S[number]>(
+//       this: T,
+//       value: s,
+//     ): this is Omit<T, "serialize" | "value"> & {
+//       value: s;
+//       serialize(): s;
+//     };
+//     match<M extends Record<S[number], () => any>>(
+//       matcher: M,
+//     ): ReturnType<M[keyof M]>;
+//     serialize(): S[number];
+//   });
+// const a: Choice<["a", "b"]> = {} as any;
+// class Test extends a(["a", "b"]) {
+//   test = true as const;
+// }
+// Test.a().is();
+//# sourceMappingURL=choice.type.js.map

package/dist/choice.type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"choice.type.js","sourceRoot":"","sources":["../src/choice.type.ts"],"names":[],"mappings":";AAAA,kDAAkD;;AAElD,eAAe;AACf,wBAAwB;AACxB,kDAAkD;AAClD,QAAQ;AACR,eAAe;AACf,cAAc;AACd,SAAS;AACT,qBAAqB;AACrB,gDAAgD;AAChD,eAAe;AACf,wBAAwB;AACxB,wBAAwB;AACxB,iDAAiD;AACjD,eAAe;AACf,wBAAwB;AACxB,kBAAkB;AAClB,+CAA+C;AAC/C,eAAe;AACf,wBAAwB;AACxB,kBAAkB;AAClB,wBAAwB;AACxB,YAAY;AACZ,yDAAyD;AACzD,iBAAiB;AACjB,4BAA4B;AAC5B,wBAAwB;AACxB,yBAAyB;AACzB,6BAA6B;AAC7B,wBAAwB;AACxB,8DAA8D;AAC9D,iBAAiB;AACjB,kBAAkB;AAClB,oDAAoD;AACpD,kBAAkB;AAClB,wBAAwB;AACxB,SAAS;AACT,qDAAqD;AACrD,oBAAoB;AACpB,iCAAiC;AACjC,8BAA8B;AAC9B,QAAQ;AAER,2CAA2C;AAE3C,qCAAqC;AACrC,0BAA0B;AAC1B,IAAI;AAEJ,iBAAiB"}

package/dist/class.d.ts

@@ -0,0 +1,21 @@
+import { AbstractConstructor, Empty, Constructor, Expand } from "./_";
+export type ClassShorthand = Constructor<{
+    serialize(): any;
+}> & {
+    deserialize(value: any): any;
+};
+export declare const Class: <S extends Constructor<{
+    serialize(): any;
+}, any[]> & {
+    deserialize(value: any): any;
+}, B extends AbstractConstructor<any> = typeof Empty>(of: S, base?: typeof Empty) => (abstract new (value: InstanceType<B>) => {
+    value: InstanceType<B>;
+    serialize<T extends any>(this: T): Expand<ReturnType<InstanceType<S>["serialize"]>>;
+}) & {
+    $name: "class";
+    deserialize<T_1 extends Constructor<any, any[]>>(this: T_1, value: Expand<ReturnType<InstanceType<S>["serialize"]>>): InstanceType<T_1>;
+    $deserialize(value: ReturnType<InstanceType<S>["serialize"]>): InstanceType<S>;
+    $serialize<T_2 extends any>(this: T_2, value: InstanceType<S>): ReturnType<InstanceType<S>["serialize"]>;
+    $inline: InstanceType<S>;
+};
+//# sourceMappingURL=class.d.ts.map

package/dist/class.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"class.d.ts","sourceRoot":"","sources":["../src/class.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,KAAK,CAAC;AAEtE,MAAM,MAAM,cAAc,GAAG,WAAW,CAAC;IAAE,SAAS,IAAI,GAAG,CAAA;CAAE,CAAC,GAAG;IAC/D,WAAW,CAAC,KAAK,EAAE,GAAG,GAAG,GAAG,CAAC;CAC9B,CAAC;AAEF,eAAO,MAAM,KAAK;iBACqB,GAAG;;uBACnB,GAAG,GAAG,GAAG;;;;;;;;;;CA6C/B,CAAC"}

package/dist/class.js

@@ -0,0 +1,30 @@
+"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;
+};
+exports.Class = Class;
+//# sourceMappingURL=class.js.map

package/dist/class.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class.js","sourceRoot":"","sources":["../src/class.ts"],"names":[],"mappings":";;;AAAA,0BAAsE;AAM/D,MAAM,KAAK,GAAG,CAMnB,EAAK,EACL,IAAI,GAAG,QAAK,EACZ,EAAE;IAIF,MAAe,MAAO,SAAQ,IAAI;QAGb;QAFnB,MAAM,CAAC,KAAK,GAAG,OAAgB,CAAC;QAEhC,YAAmB,KAAsB;YACvC,KAAK,EAAE,CAAC;YADS,UAAK,GAAL,KAAK,CAAiB;QAEzC,CAAC;QAED,MAAM,CAAC,WAAW,CAEhB,KAAyB;YAEzB,OAAO,IAAI,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAoB,CAAC;QAC5D,CAAC;QAED,SAAS;YACP,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,CAAC;QAED,MAAM,CAAC,YAAY,CAAC,KAAiB;YACnC,OAAO,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,MAAM,CAAC,UAAU,CAEf,KAAa;YAEb,OAAO,KAAK,CAAC,SAAS,EAAE,CAAC;QAC3B,CAAC;QAED,MAAM,CAAC,OAAO,CAAS;;IAKzB,OAAO,MAAe,CAAC;AACzB,CAAC,CAAC;AA/CW,QAAA,KAAK,SA+ChB"}

package/dist/class.spec.d.ts

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

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

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

package/dist/class.spec.js

@@ -0,0 +1,39 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const class_1 = require("./class");
+const dict_1 = require("./dict");
+const test_1 = require("./test");
+describe("Class", () => {
+    it("inline definition", () => {
+        class A {
+            serialize() {
+                return "a";
+            }
+            static deserialize(value) {
+                return new A();
+            }
+        }
+        class Test extends (0, dict_1.Dict)({
+            nested: (0, class_1.Class)(A),
+        }) {
+            test = true;
+        }
+        // Constructor parameters
+        (0, test_1.ex)(Test).toHaveFirstParam().ok;
+        // Deserializes to self
+        (0, test_1.ex)(Test.deserialize).toHaveFirstParam().ok;
+        const a = Test.deserialize({ nested: "a" });
+        (0, test_1.ex)(a).toBeInstanceOf(Test).ok;
+        // Property is still there
+        const b = a.test;
+        (0, test_1.ex)(b).toBe(true).ok;
+        // Serializes to a precise type
+        (0, test_1.ex)(a.serialize()).toStrictEqual({ nested: "a" }).ok;
+        // Shape is still there
+        (0, test_1.ex)(a.nested.serialize()).toBe("a").ok;
+        // Instantiates with a precise type
+        const e = new Test({ nested: new A() });
+        (0, test_1.ex)(e).toBeInstanceOf(Test).ok;
+    });
+});
+//# sourceMappingURL=class.spec.js.map

package/dist/class.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class.spec.js","sourceRoot":"","sources":["../src/class.spec.ts"],"names":[],"mappings":";;AAAA,mCAAgC;AAChC,iCAA8B;AAC9B,iCAA4B;AAE5B,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;IACrB,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC;YACL,SAAS;gBACP,OAAO,GAAG,CAAC;YACb,CAAC;YAED,MAAM,CAAC,WAAW,CAAC,KAAa;gBAC9B,OAAO,IAAI,CAAC,EAAE,CAAC;YACjB,CAAC;SACF;QAED,MAAM,IAAK,SAAQ,IAAA,WAAI,EAAC;YACtB,MAAM,EAAE,IAAA,aAAK,EAAC,CAAC,CAAC;SACjB,CAAC;YACA,IAAI,GAAG,IAAa,CAAC;SACtB;QAID,yBAAyB;QACzB,IAAA,SAAE,EAAC,IAAI,CAAC,CAAC,gBAAgB,EAAiB,CAAC,EAAE,CAAC;QAE9C,uBAAuB;QACvB,IAAA,SAAE,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,gBAAgB,EAAc,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5C,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAE9B,0BAA0B;QAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QACjB,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAa,CAAC,CAAC,EAAE,CAAC;QAE7B,+BAA+B;QAC/B,IAAA,SAAE,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;QAEpD,uBAAuB;QACvB,IAAA,SAAE,EAAC,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAEtC,mCAAmC;QACnC,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACxC,IAAA,SAAE,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/dict.d.ts

@@ -0,0 +1,20 @@
+import { DefinitionOf, Shorthand, Expand, AbstractConstructor, Constructor, Empty } from "./_";
+export type DictShorthand = {
+    [key: string]: Shorthand;
+};
+export declare const Dict: <S extends {
+    [key: string]: any;
+}, B extends AbstractConstructor<{}> = typeof Empty>(definition: S, base?: B) => Omit<B, "prototype"> & ((abstract new (...args: any[]) => {
+    serialize(): Expand<{ [K in keyof S]: ReturnType<{ [K_1 in keyof S]: DefinitionOf<S[K_1]>; }[K]["$serialize"]>; }>;
+}) & {
+    $name: "dict";
+    shape: S;
+    serialized: { [K_2 in keyof S]: DefinitionOf<S[K_2]>; };
+    deserialize<T extends Constructor<any, any[]>>(this: T, value: Expand<{ [K in keyof S]: ReturnType<{ [K_1 in keyof S]: DefinitionOf<S[K_1]>; }[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]>; }[K]["$serialize"]>; }): { [K_3 in keyof { [K_1 in keyof S]: DefinitionOf<S[K_1]>; }]: { [K_1 in keyof S]: DefinitionOf<S[K_1]>; }[K_3]["$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]>; }[K]["$serialize"]>; };
+    $inline: { [K_3 in keyof { [K_1 in keyof S]: DefinitionOf<S[K_1]>; }]: { [K_1 in keyof S]: DefinitionOf<S[K_1]>; }[K_3]["$inline"]; };
+}) & (abstract new (value: Expand<{ [K_3 in keyof { [K_1 in keyof S]: DefinitionOf<S[K_1]>; }]: { [K_1 in keyof S]: DefinitionOf<S[K_1]>; }[K_3]["$inline"]; }>) => InstanceType<B> & {
+    serialize(): Expand<{ [K in keyof S]: ReturnType<{ [K_1 in keyof S]: DefinitionOf<S[K_1]>; }[K]["$serialize"]>; }>;
+} & { [K_3 in keyof { [K_1 in keyof S]: DefinitionOf<S[K_1]>; }]: { [K_1 in keyof S]: DefinitionOf<S[K_1]>; }[K_3]["$inline"]; });
+//# sourceMappingURL=dict.d.ts.map

package/dist/dict.d.ts.map

@@ -0,0 +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;;iIAwBQ,GAAG,EAAE;;;;;;;;;;;;iIAqD7B,CAAC"}

package/dist/dict.js

@@ -0,0 +1,46 @@
+"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";
+        static shape;
+        static serialized;
+        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;
+};
+exports.Dict = Dict;
+//# sourceMappingURL=dict.js.map