shapedef 1.0.0

package/dist/cjs/inputs/json-schema.js

@@ -0,0 +1,306 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fromJSONSchemaWithDefs = exports.fromJSONSchema = void 0;
+const common_1 = require("../common");
+const shape_1 = require("../shape");
+const fromObject = (schema) => {
+    const properties = {};
+    for (const propertiesKey of ["properties", "patternProperties"]) {
+        if ((0, common_1.has)(schema, propertiesKey)) {
+            const props = schema[propertiesKey];
+            if ((0, common_1.isPlainObject)(props)) {
+                let required = [];
+                if ((0, common_1.has)(schema, "required")) {
+                    if (Array.isArray(schema.required)) {
+                        if (schema.required.every((x) => typeof x === "string")) {
+                            required = schema.required;
+                        }
+                    }
+                }
+                for (const [k, v] of Object.entries(props)) {
+                    let s = (0, exports.fromJSONSchema)(v);
+                    if (!required.includes(k)) {
+                        s = shape_1.annotate.optional(s);
+                    }
+                    const key = k.match(/\^(.*?)\$/g) || k.match(/^[0-9]/) ? `'${k}'` : k;
+                    properties[key] = s;
+                }
+            }
+        }
+    }
+    return shape_1.shapes.mapping(properties);
+};
+const fromJSONSchema = (schema, hint, typenameOverride) => {
+    if (typeof schema === "string")
+        return shape_1.shapes.literal(schema);
+    if (typeof schema === "number")
+        return shape_1.shapes.literal(schema);
+    if (typeof schema === "boolean")
+        return shape_1.shapes.literal(schema);
+    if (!(0, common_1.isPlainObject)(schema))
+        return shape_1.shapes.unknown();
+    const typename = typenameOverride ||
+        ((0, common_1.has)(schema, "type") ? schema.type : "object") ||
+        "object";
+    let shape = shape_1.shapes.unknown();
+    if (typeof typename === "string") {
+        switch (typename) {
+            case "vector":
+                {
+                    const size = (0, common_1.has)(schema, "size") ? Number(schema.size)
+                        : (0, common_1.has)(schema, "dims") ? Number(schema.dims)
+                            : (0, common_1.has)(schema, "dimensions") ? Number(schema.dimensions)
+                                : 0;
+                    shape = shape_1.shapes.vector(size);
+                }
+                break;
+            case "date":
+                shape = shape_1.shapes.date();
+                break;
+            case "datetime":
+                shape = shape_1.shapes.date();
+                break;
+            case "date-time":
+                shape = shape_1.shapes.date();
+                break;
+            case "timestamp":
+                shape = shape_1.shapes.date();
+                break;
+            case "timestamptz":
+                shape = shape_1.shapes.date();
+                break;
+            case "string":
+                shape = shape_1.shapes.str();
+                break;
+            case "number":
+                shape = shape_1.shapes.float();
+                break;
+            case "integer":
+                shape = shape_1.shapes.int();
+                break;
+            case "boolean":
+                shape = shape_1.shapes.bool();
+                break;
+            case "null":
+                shape = shape_1.shapes.nil();
+                break;
+            case "object":
+                shape = fromObject(schema);
+                break;
+            case "array":
+                {
+                    if (!(0, common_1.has)(schema, "items")) {
+                        shape = shape_1.shapes.array(shape_1.shapes.unknown());
+                        break;
+                    }
+                    const items = schema.items;
+                    shape = shape_1.shapes.array((0, exports.fromJSONSchema)(items));
+                }
+                break;
+            default:
+                {
+                    /* noop */
+                }
+                break;
+        }
+    }
+    else if (Array.isArray(typename)) {
+        const members = [];
+        if (typename.every((x) => typeof x === "string")) {
+            for (const subtype of typename) {
+                if (subtype === "null") {
+                    members.push(shape_1.shapes.nil());
+                }
+                else if (subtype === "object") {
+                    members.push((0, exports.fromJSONSchema)(schema, undefined, subtype));
+                }
+                else if (subtype === "array") {
+                    members.push((0, exports.fromJSONSchema)(schema, undefined, subtype));
+                }
+                else if (subtype === "string") {
+                    members.push(shape_1.shapes.str());
+                }
+                else if (subtype === "boolean") {
+                    members.push(shape_1.shapes.bool());
+                }
+            }
+        }
+        if (members.length === 1) {
+            shape = members[0];
+        }
+        else if (members.length > 1) {
+            shape = shape_1.shapes.union(...members);
+        }
+    }
+    const parsedType = shape.type;
+    if ((0, common_1.has)(schema, "const")) {
+        const lit = schema.const;
+        if (typeof lit === "string") {
+            shape = shape_1.shapes.literalStr(lit);
+        }
+        else if (typeof lit === "number") {
+            if (parsedType === "int") {
+                shape = shape_1.shapes.literalInt(lit);
+            }
+            else if (parsedType === "float") {
+                shape = shape_1.shapes.literalFloat(lit);
+            }
+            else {
+                shape = shape_1.shapes.literalNumber(lit);
+            }
+        }
+        else if (typeof lit === "boolean") {
+            shape = shape_1.shapes.literalBool(lit);
+        }
+    }
+    if ((0, common_1.has)(schema, "$ref")) {
+        if (typeof schema.$ref === "string") {
+            shape = shape_1.shapes.ref(schema.$ref, shape);
+        }
+    }
+    if ((0, common_1.has)(schema, "oneOf")) {
+        if (Array.isArray(schema.oneOf)) {
+            const unionMembers = [];
+            if (shape.type === "mapping" && Object.keys(shape.rec).length > 0) {
+                unionMembers.push(shape);
+            }
+            unionMembers.push(...schema.oneOf.map((x) => (0, exports.fromJSONSchema)(x, shape)));
+            shape = shape_1.shapes.union(...unionMembers);
+        }
+    }
+    if ((0, common_1.has)(schema, "anyOf")) {
+        if (Array.isArray(schema.anyOf)) {
+            const unionMembers = [];
+            if (shape.type === "mapping" && Object.keys(shape.rec).length > 0) {
+                unionMembers.push(shape);
+            }
+            unionMembers.push(...schema.anyOf.map((x) => (0, exports.fromJSONSchema)(x, shape)));
+            shape = shape_1.shapes.union(...unionMembers);
+        }
+    }
+    if ((0, common_1.has)(schema, "enum")) {
+        if (Array.isArray(schema.enum)) {
+            if (schema.enum.length === 1) {
+                shape = (0, exports.fromJSONSchema)(schema.enum[0]);
+            }
+            else {
+                shape = shape_1.shapes.union(...schema.enum.map((x) => (0, exports.fromJSONSchema)(x, shape)));
+            }
+        }
+    }
+    if (shape.type === "unknown" && hint) {
+        switch (hint.type) {
+            case "str":
+                shape = shape_1.shapes.str();
+                break;
+            case "int":
+                shape = shape_1.shapes.int();
+                break;
+            case "float":
+                shape = shape_1.shapes.float();
+                break;
+            case "number":
+                shape = shape_1.shapes.number();
+                break;
+            case "bool":
+                shape = shape_1.shapes.bool();
+                break;
+            case "date":
+                shape = shape_1.shapes.date();
+                break;
+            default:
+                {
+                    /* noop */
+                }
+                break;
+        }
+    }
+    if ((0, common_1.has)(schema, "format")) {
+        if (typeof schema.format === "string") {
+            shape = shape_1.annotate.by(shape, { format: schema.format });
+        }
+    }
+    if ((0, common_1.has)(schema, "pattern")) {
+        if (typeof schema.pattern === "string") {
+            shape = shape_1.annotate.by(shape, { pattern: schema.pattern });
+        }
+    }
+    if ((0, common_1.has)(schema, "uniqueItems")) {
+        if (typeof schema.uniqueItems === "boolean") {
+            shape = shape_1.annotate.by(shape, { uniqueWithin: schema.uniqueItems });
+        }
+    }
+    if ((0, common_1.has)(schema, "default")) {
+        shape = shape_1.annotate.by(shape, { defaultValue: schema.default });
+    }
+    if ((0, common_1.has)(schema, "title")) {
+        if (typeof schema.title === "string") {
+            shape = shape_1.annotate.by(shape, { title: schema.title });
+        }
+    }
+    if ((0, common_1.has)(schema, "name")) {
+        if (typeof schema.name === "string") {
+            shape = shape_1.annotate.by(shape, { name: schema.name });
+        }
+    }
+    if ((0, common_1.has)(schema, "description")) {
+        if (typeof schema.description === "string") {
+            shape = shape_1.annotate.by(shape, { description: schema.description });
+        }
+    }
+    if ((0, common_1.has)(schema, "minimum")) {
+        if (typeof schema.minimum === "number") {
+            shape = shape_1.annotate.by(shape, { min: schema.minimum });
+        }
+    }
+    if ((0, common_1.has)(schema, "maximum")) {
+        if (typeof schema.maximum === "number") {
+            shape = shape_1.annotate.by(shape, { max: schema.maximum });
+        }
+    }
+    if ((0, common_1.has)(schema, "minLength")) {
+        if (typeof schema.minLength === "number") {
+            shape = shape_1.annotate.by(shape, { min: schema.minLength });
+        }
+    }
+    if ((0, common_1.has)(schema, "maxLength")) {
+        if (typeof schema.maxLength === "number") {
+            shape = shape_1.annotate.by(shape, { max: schema.maxLength });
+        }
+    }
+    if ((0, common_1.has)(schema, "minItems")) {
+        if (typeof schema.minItems === "number") {
+            shape = shape_1.annotate.by(shape, { min: schema.minItems });
+        }
+    }
+    if ((0, common_1.has)(schema, "maxItems")) {
+        if (typeof schema.maxItems === "number") {
+            shape = shape_1.annotate.by(shape, { max: schema.maxItems });
+        }
+    }
+    return shape;
+};
+exports.fromJSONSchema = fromJSONSchema;
+const fromJSONSchemaWithDefs = (schema) => {
+    if (!(0, common_1.isPlainObject)(schema))
+        return [{}, shape_1.shapes.unknown()];
+    const items = {};
+    const definitions = (0, common_1.has)(schema, "$defs") ? schema.$defs
+        : (0, common_1.has)(schema, "$definitions") ? schema.$definitions
+            : (0, common_1.has)(schema, "definitions") ? schema.definitions
+                : (0, common_1.has)(schema, "defs") ? schema.defs
+                    : null;
+    if ((0, common_1.isPlainObject)(definitions)) {
+        for (const [k, v] of Object.entries(definitions)) {
+            const shape = (0, exports.fromJSONSchema)(v);
+            if (shape.type === "unknown")
+                continue;
+            if (shape.type === "mapping" && Object.keys(shape.rec).length <= 0)
+                continue;
+            items[k] = shape_1.annotate.named(shape, k);
+        }
+    }
+    return [items, (0, exports.fromJSONSchema)(schema)];
+};
+exports.fromJSONSchemaWithDefs = fromJSONSchemaWithDefs;
+//# sourceMappingURL=json-schema.js.map

package/dist/cjs/inputs/json-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-schema.js","sourceRoot":"","sources":["../../../src/inputs/json-schema.ts"],"names":[],"mappings":";;;AAAA,sCAA+C;AAC/C,oCAAmD;AAEnD,MAAM,UAAU,GAAG,CAAC,MAAe,EAAS,EAAE;IAC5C,MAAM,UAAU,GAA0B,EAAE,CAAC;IAE7C,KAAK,MAAM,aAAa,IAAI,CAAC,YAAY,EAAE,mBAAmB,CAAC,EAAE,CAAC;QAChE,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;YACpC,IAAI,IAAA,sBAAa,EAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,IAAI,QAAQ,GAAa,EAAE,CAAC;gBAC5B,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC;oBAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;4BACxD,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;wBAC7B,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC3C,IAAI,CAAC,GAAG,IAAA,sBAAc,EAAC,CAAC,CAAC,CAAC;oBAE1B,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC1B,CAAC,GAAG,gBAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;oBAC3B,CAAC;oBAED,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;oBAEtE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,cAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AACpC,CAAC,CAAC;AAEK,MAAM,cAAc,GAAG,CAC5B,MAAe,EACf,IAAY,EACZ,gBAAyB,EAClB,EAAE;IACT,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,cAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9D,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,cAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9D,IAAI,OAAO,MAAM,KAAK,SAAS;QAAE,OAAO,cAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAE/D,IAAI,CAAC,IAAA,sBAAa,EAAC,MAAM,CAAC;QAAE,OAAO,cAAM,CAAC,OAAO,EAAE,CAAC;IAEpD,MAAM,QAAQ,GACZ,gBAAgB;QAChB,CAAC,IAAA,YAAG,EAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC9C,QAAQ,CAAC;IAEX,IAAI,KAAK,GAAU,cAAM,CAAC,OAAO,EAAE,CAAC;IAEpC,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,QAAQ;gBACX,CAAC;oBACC,MAAM,IAAI,GACR,IAAA,YAAG,EAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;wBACzC,CAAC,CAAC,IAAA,YAAG,EAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;4BAC3C,CAAC,CAAC,IAAA,YAAG,EAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;gCACvD,CAAC,CAAC,CAAC,CAAC;oBACN,KAAK,GAAG,cAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC9B,CAAC;gBACD,MAAM;YACR,KAAK,MAAM;gBACT,KAAK,GAAG,cAAM,CAAC,IAAI,EAAE,CAAC;gBACtB,MAAM;YACR,KAAK,UAAU;gBACb,KAAK,GAAG,cAAM,CAAC,IAAI,EAAE,CAAC;gBACtB,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,GAAG,cAAM,CAAC,IAAI,EAAE,CAAC;gBACtB,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,GAAG,cAAM,CAAC,IAAI,EAAE,CAAC;gBACtB,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,GAAG,cAAM,CAAC,IAAI,EAAE,CAAC;gBACtB,MAAM;YACR,KAAK,QAAQ;gBACX,KAAK,GAAG,cAAM,CAAC,GAAG,EAAE,CAAC;gBACrB,MAAM;YACR,KAAK,QAAQ;gBACX,KAAK,GAAG,cAAM,CAAC,KAAK,EAAE,CAAC;gBACvB,MAAM;YACR,KAAK,SAAS;gBACZ,KAAK,GAAG,cAAM,CAAC,GAAG,EAAE,CAAC;gBACrB,MAAM;YACR,KAAK,SAAS;gBACZ,KAAK,GAAG,cAAM,CAAC,IAAI,EAAE,CAAC;gBACtB,MAAM;YACR,KAAK,MAAM;gBACT,KAAK,GAAG,cAAM,CAAC,GAAG,EAAE,CAAC;gBACrB,MAAM;YACR,KAAK,QAAQ;gBACX,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;gBAC3B,MAAM;YACR,KAAK,OAAO;gBACV,CAAC;oBACC,IAAI,CAAC,IAAA,YAAG,EAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;wBAC1B,KAAK,GAAG,cAAM,CAAC,KAAK,CAAC,cAAM,CAAC,OAAO,EAAE,CAAC,CAAC;wBACvC,MAAM;oBACR,CAAC;oBACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;oBAC3B,KAAK,GAAG,cAAM,CAAC,KAAK,CAAC,IAAA,sBAAc,EAAC,KAAK,CAAC,CAAC,CAAC;gBAC9C,CAAC;gBACD,MAAM;YACR;gBACE,CAAC;oBACC,UAAU;gBACZ,CAAC;gBACD,MAAM;QACV,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,MAAM,OAAO,GAAY,EAAE,CAAC;QAC5B,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;YACjD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;oBACvB,OAAO,CAAC,IAAI,CAAC,cAAM,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC7B,CAAC;qBAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAChC,OAAO,CAAC,IAAI,CAAC,IAAA,sBAAc,EAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC3D,CAAC;qBAAM,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;oBAC/B,OAAO,CAAC,IAAI,CAAC,IAAA,sBAAc,EAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC3D,CAAC;qBAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAChC,OAAO,CAAC,IAAI,CAAC,cAAM,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC7B,CAAC;qBAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBACjC,OAAO,CAAC,IAAI,CAAC,cAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QACtB,CAAC;aAAM,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,KAAK,GAAG,cAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC;IAE9B,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC;QACzB,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,KAAK,GAAG,cAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACnC,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;gBACzB,KAAK,GAAG,cAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACjC,CAAC;iBAAM,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;gBAClC,KAAK,GAAG,cAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,cAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;YACpC,KAAK,GAAG,cAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACxB,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpC,KAAK,GAAG,cAAM,CAAC,GAAG,CAAc,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,YAAY,GAAY,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YACxE,KAAK,GAAG,cAAM,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,YAAY,GAAY,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YACxE,KAAK,GAAG,cAAM,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,KAAK,GAAG,IAAA,sBAAc,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,cAAM,CAAC,KAAK,CAClB,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,sBAAc,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CACpD,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,EAAE,CAAC;QACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,KAAK;gBACR,KAAK,GAAG,cAAM,CAAC,GAAG,EAAE,CAAC;gBACrB,MAAM;YACR,KAAK,KAAK;gBACR,KAAK,GAAG,cAAM,CAAC,GAAG,EAAE,CAAC;gBACrB,MAAM;YACR,KAAK,OAAO;gBACV,KAAK,GAAG,cAAM,CAAC,KAAK,EAAE,CAAC;gBACvB,MAAM;YACR,KAAK,QAAQ;gBACX,KAAK,GAAG,cAAM,CAAC,MAAM,EAAE,CAAC;gBACxB,MAAM;YACR,KAAK,MAAM;gBACT,KAAK,GAAG,cAAM,CAAC,IAAI,EAAE,CAAC;gBACtB,MAAM;YACR,KAAK,MAAM;gBACT,KAAK,GAAG,cAAM,CAAC,IAAI,EAAE,CAAC;gBACtB,MAAM;YACR;gBACE,CAAC;oBACC,UAAU;gBACZ,CAAC;gBACD,MAAM;QACV,CAAC;IACH,CAAC;IAED,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC1B,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACtC,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;QAC3B,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACvC,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC;QAC/B,IAAI,OAAO,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YAC5C,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;QAC3B,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACzB,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACrC,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACxB,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpC,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC;QAC/B,IAAI,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC3C,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IACD,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;QAC3B,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACvC,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;QAC3B,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACvC,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QAC7B,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YACzC,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QAC7B,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YACzC,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5B,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACxC,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,IAAI,IAAA,YAAG,EAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5B,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACxC,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAnQW,QAAA,cAAc,kBAmQzB;AAEK,MAAM,sBAAsB,GAAG,CACpC,MAAe,EACiB,EAAE;IAClC,IAAI,CAAC,IAAA,sBAAa,EAAC,MAAM,CAAC;QAAE,OAAO,CAAC,EAAE,EAAE,cAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAE1D,MAAM,KAAK,GAA0B,EAAE,CAAC;IAExC,MAAM,WAAW,GACf,IAAA,YAAG,EAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK;QACnC,CAAC,CAAC,IAAA,YAAG,EAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY;YACnD,CAAC,CAAC,IAAA,YAAG,EAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW;gBACjD,CAAC,CAAC,IAAA,YAAG,EAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI;oBACnC,CAAC,CAAC,IAAI,CAAC;IAET,IAAI,IAAA,sBAAa,EAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,IAAA,sBAAc,EAAC,CAAC,CAAC,CAAC;YAChC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,SAAS;YACvC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC;gBAChE,SAAS;YAEX,KAAK,CAAC,CAAC,CAAC,GAAG,gBAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,EAAE,IAAA,sBAAc,EAAC,MAAM,CAAC,CAAC,CAAC;AACzC,CAAC,CAAC;AA1BW,QAAA,sBAAsB,0BA0BjC"}

package/dist/cjs/phantom.d.ts

@@ -0,0 +1,4 @@
+export declare const Phantom: unique symbol;
+export type Phantom = typeof Phantom;
+export type PhantomIgnore = unknown & any;
+//# sourceMappingURL=phantom.d.ts.map

package/dist/cjs/phantom.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"phantom.d.ts","sourceRoot":"","sources":["../../src/phantom.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,eAAoB,CAAC;AACzC,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC;AACrC,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,GAAG,CAAC"}

package/dist/cjs/phantom.js

@@ -0,0 +1,5 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Phantom = void 0;
+exports.Phantom = Symbol("Phantom");
+//# sourceMappingURL=phantom.js.map

package/dist/cjs/phantom.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"phantom.js","sourceRoot":"","sources":["../../src/phantom.ts"],"names":[],"mappings":";;;AAAa,QAAA,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC"}

package/dist/cjs/shape-utils.d.ts

@@ -0,0 +1,4 @@
+import { Shape } from "./shape";
+export declare const shapeCompare: (a: Shape, b: Shape) => boolean;
+export declare const simplifyShape: (shape: Shape) => Shape;
+//# sourceMappingURL=shape-utils.d.ts.map

package/dist/cjs/shape-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape-utils.d.ts","sourceRoot":"","sources":["../../src/shape-utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAEhC,eAAO,MAAM,YAAY,GAAI,GAAG,KAAK,EAAE,GAAG,KAAK,KAAG,OACT,CAAC;AAE1C,eAAO,MAAM,aAAa,GAAI,OAAO,KAAK,KAAG,KAuC5C,CAAC"}

package/dist/cjs/shape-utils.js

@@ -0,0 +1,43 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.simplifyShape = exports.shapeCompare = void 0;
+const shapeCompare = (a, b) => JSON.stringify(a) === JSON.stringify(b);
+exports.shapeCompare = shapeCompare;
+const simplifyShape = (shape) => {
+    switch (shape.type) {
+        case "union": {
+            const lookup = new Map(shape.ofs.map((s, i) => [JSON.stringify(s), i]));
+            if (lookup.size === 1)
+                return {
+                    ...shape,
+                    ofs: [(0, exports.simplifyShape)(shape.ofs[0])],
+                };
+            return {
+                ...shape,
+                ofs: [...shape.ofs.map((x) => (0, exports.simplifyShape)(x))],
+            };
+        }
+        case "array": {
+            return {
+                ...shape,
+                item: (0, exports.simplifyShape)(shape.item),
+            };
+        }
+        case "tuple": {
+            return {
+                ...shape,
+                tup: [...shape.tup.map((x) => (0, exports.simplifyShape)(x))],
+            };
+        }
+        case "mapping": {
+            return {
+                ...shape,
+                rec: Object.fromEntries(Object.entries(shape.rec).map(([k, v]) => [k, (0, exports.simplifyShape)(v)])),
+            };
+        }
+        default:
+            return shape;
+    }
+};
+exports.simplifyShape = simplifyShape;
+//# sourceMappingURL=shape-utils.js.map

package/dist/cjs/shape-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape-utils.js","sourceRoot":"","sources":["../../src/shape-utils.ts"],"names":[],"mappings":";;;AAGO,MAAM,YAAY,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE,CAC1D,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAD7B,QAAA,YAAY,gBACiB;AAEnC,MAAM,aAAa,GAAG,CAAC,KAAY,EAAS,EAAE;IACnD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAChD,CAAC;YACF,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;gBACnB,OAAO;oBACL,GAAG,KAAK;oBACR,GAAG,EAAE,CAAC,IAAA,qBAAa,EAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;iBACpC,CAAC;YACJ,OAAO;gBACL,GAAG,KAAK;gBACR,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,qBAAa,EAAC,CAAC,CAAC,CAAC,CAAC;aACjD,CAAC;QACJ,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO;gBACL,GAAG,KAAK;gBACR,IAAI,EAAE,IAAA,qBAAa,EAAC,KAAK,CAAC,IAAI,CAAC;aAChC,CAAC;QACJ,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO;gBACL,GAAG,KAAK;gBACR,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,qBAAa,EAAC,CAAC,CAAC,CAAC,CAAmB;aACnE,CAAC;QACJ,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,OAAO;gBACL,GAAG,KAAK;gBACR,GAAG,EAAE,MAAM,CAAC,WAAW,CACrB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,qBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,CACjE;aACF,CAAC;QACJ,CAAC;QACD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAvCW,QAAA,aAAa,iBAuCxB"}

package/dist/cjs/shape.d.ts

@@ -0,0 +1,169 @@
+import { Prettify, TupleOf } from "./common/types";
+export declare const ShapeBrandSymbol: unique symbol;
+export type ShapeBrandSymbol = typeof ShapeBrandSymbol;
+export type ShapeAnnotation = {
+    name?: string;
+    title?: string;
+    description?: string;
+    optional?: boolean;
+    primary?: boolean;
+    unique?: boolean;
+    min?: number;
+    max?: number;
+    format?: string;
+    pattern?: string;
+    uniqueWithin?: boolean;
+    defaultValue?: any;
+    foreign?: {
+        shapeName: string;
+        fieldName: string;
+    };
+};
+export type PhantomShape = {
+    out: any;
+};
+export type LooseShape = {
+    type: string;
+    __phantom: PhantomShape;
+    anno: ShapeAnnotation;
+};
+export type OutputOfShape<T> = [
+    T
+] extends [LooseShape] ? T["__phantom"]["out"] : never;
+export type AnnoOfShape<T> = [T] extends [LooseShape] ? T["anno"] : never;
+export type ShapeIsOptional<T> = [
+    AnnoOfShape<T>["optional"]
+] extends [true] ? true : false;
+export type AnnotateShape<T extends LooseShape, Anno extends ShapeAnnotation> = T & {
+    anno: T["anno"] & Anno;
+};
+export interface ShapeBase<Type extends string> extends LooseShape {
+    type: Type;
+    [ShapeBrandSymbol]: true;
+}
+export interface ShapeWithOutput<Type extends string, Out> extends ShapeBase<Type> {
+    __phantom: {
+        out: Out;
+    };
+}
+export interface ShapeFloat extends ShapeWithOutput<"float", number> {
+}
+export interface ShapeInt extends ShapeWithOutput<"int", number> {
+}
+export interface ShapeNumber extends ShapeWithOutput<"number", number> {
+}
+export interface ShapeBool extends ShapeWithOutput<"bool", boolean> {
+}
+export interface ShapeStr extends ShapeWithOutput<"str", string> {
+}
+export interface ShapeDate extends ShapeWithOutput<"date", Date> {
+}
+export interface ShapeNil extends ShapeWithOutput<"nil", null> {
+}
+export interface ShapeUnknown extends ShapeWithOutput<"unknown", unknown> {
+}
+export interface ShapeLiteralFloat<Value extends number = number> extends ShapeWithOutput<"literal-float", Value> {
+    value: Value;
+}
+export interface ShapeLiteralInt<Value extends number = number> extends ShapeWithOutput<"literal-int", Value> {
+    value: Value;
+}
+export interface ShapeLiteralNumber<Value extends number = number> extends ShapeWithOutput<"literal-number", Value> {
+    value: Value;
+}
+export interface ShapeLiteralBool<Value extends boolean = boolean> extends ShapeWithOutput<"literal-bool", Value> {
+    value: Value;
+}
+export interface ShapeLiteralStr<Value extends string = string> extends ShapeWithOutput<"literal-str", Value> {
+    value: Value;
+}
+export interface ShapeRef<Name extends string = string, Hint extends Shape = ShapeUnknown> extends ShapeBase<"ref"> {
+    name: Name;
+    hint?: Hint;
+    __phantom: {
+        out: unknown;
+    };
+}
+export interface ShapeArray<Item extends Shape = Shape> extends ShapeBase<"array"> {
+    item: Item;
+    __phantom: {
+        out: Array<OutputOfShape<Item>>;
+    };
+}
+export interface ShapeTuple<out Items extends TupleOf<Shape> = TupleOf<Shape>> extends ShapeBase<"tuple"> {
+    tup: Items;
+    __phantom: {
+        out: {
+            -readonly [P in keyof Items]: Items[P];
+        };
+    };
+}
+export interface ShapeMapping<Rec extends Record<string, Shape> = Record<string, Shape>> extends ShapeBase<"mapping"> {
+    rec: Rec;
+    __phantom: {
+        out: Prettify<{
+            -readonly [P in keyof Rec as [ShapeIsOptional<Rec[P]>] extends [true] ? never : P]: OutputOfShape<Rec[P]>;
+        } & {
+            -readonly [P in keyof Rec as [ShapeIsOptional<Rec[P]>] extends [true] ? P : never]?: OutputOfShape<Rec[P]>;
+        }>;
+    };
+}
+export interface ShapeVector<Dims extends number = number> extends ShapeWithOutput<"vector", number[]> {
+    dims: Dims;
+}
+export interface ShapeUnion<out Ofs extends TupleOf<Shape> | Array<Shape> = TupleOf<Shape> | Array<Shape>> extends ShapeWithOutput<"union", OutputOfShape<Ofs[number]>> {
+    ofs: Ofs;
+}
+export type Shape = ShapeFloat | ShapeInt | ShapeNumber | ShapeBool | ShapeStr | ShapeDate | ShapeNil | ShapeUnknown | ShapeLiteralFloat | ShapeLiteralInt | ShapeLiteralNumber | ShapeLiteralBool | ShapeLiteralStr | ShapeRef | ShapeArray | ShapeMapping | ShapeTuple | ShapeVector | ShapeUnion;
+export declare function isShape(x: unknown): x is Shape;
+export declare namespace shapes {
+    function float(): ShapeFloat;
+    function int(): ShapeInt;
+    function number(): ShapeNumber;
+    function bool(): ShapeBool;
+    function str(): ShapeStr;
+    function date(): ShapeDate;
+    function nil(): ShapeNil;
+    function unknown(): ShapeUnknown;
+    function literalFloat<Value extends number>(value: Value): ShapeLiteralFloat<Value>;
+    function literalInt<Value extends number>(value: Value): ShapeLiteralInt<Value>;
+    function literalNumber<Value extends number>(value: Value): ShapeLiteralNumber<Value>;
+    function literalBool<Value extends boolean>(value: Value): ShapeLiteralBool<Value>;
+    function literalStr<Value extends string>(value: Value): ShapeLiteralStr<Value>;
+    function literal<Value extends number>(value: Value): ShapeLiteralNumber<Value>;
+    function literal<Value extends boolean>(value: Value): ShapeLiteralBool<Value>;
+    function literal<Value extends string>(value: Value): ShapeLiteralStr<Value>;
+    function literal(value: number | boolean | string): ShapeLiteralNumber | ShapeLiteralBool | ShapeLiteralStr;
+    function ref<Name extends string, Hint extends Shape = ShapeUnknown>(name: Name, hint?: Hint): ShapeRef<Name, Hint>;
+    function array<Item extends Shape>(item: Item): ShapeArray<Item>;
+    function tuple<Items extends TupleOf<Shape>>(...items: Items): ShapeTuple<Items>;
+    function mapping<Rec extends Record<string, Shape>>(rec: Rec): ShapeMapping<Rec>;
+    function vector<Dims extends number>(dims: Dims): ShapeVector<Dims>;
+    function union<Ofs extends Array<Shape>>(...ofs: Ofs): ShapeUnion<Ofs>;
+    function union<Ofs extends TupleOf<Shape>>(...ofs: Ofs): ShapeUnion<Ofs>;
+}
+export declare namespace annotate {
+    function by<S extends Shape, Anno extends ShapeAnnotation>(shape: S, anno: Anno): AnnotateShape<S, Anno>;
+    function optional<S extends Shape>(shape: S): AnnotateShape<S, {
+        optional: true;
+    }>;
+    function primary<S extends Shape>(shape: S): AnnotateShape<S, {
+        primary: true;
+    }>;
+    function unique<S extends Shape>(shape: S): AnnotateShape<S, {
+        unique: true;
+    }>;
+    function named<S extends Shape, Name extends string>(shape: S, name: Name): AnnotateShape<S, {
+        name: Name;
+    }>;
+    function foreign<S extends Shape, ShapeName extends string, FieldName extends string>(shape: S, shapeName: ShapeName, fieldName: FieldName): AnnotateShape<S, {
+        foreign: {
+            shapeName: ShapeName;
+            fieldName: FieldName;
+        };
+    }>;
+    function auto(x: unknown, options?: {
+        preferLiterals?: boolean;
+    }): Shape;
+}
+//# sourceMappingURL=shape.d.ts.map

package/dist/cjs/shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape.d.ts","sourceRoot":"","sources":["../../src/shape.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAGnD,eAAO,MAAM,gBAAgB,eAAkB,CAAC;AAChD,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC;AAEvD,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,YAAY,CAAC,EAAE,GAAG,CAAC;IACnB,OAAO,CAAC,EAAE;QACR,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,GAAG,EAAE,GAAG,CAAC;CACV,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,YAAY,CAAC;IACxB,IAAI,EAAE,eAAe,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,CAAC,IACzB;IAAC,CAAC;CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;AAE3D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;AAE1E,MAAM,MAAM,eAAe,CAAC,CAAC,IAC3B;IAAC,WAAW,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE7D,MAAM,MAAM,aAAa,CACvB,CAAC,SAAS,UAAU,EACpB,IAAI,SAAS,eAAe,IAC1B,CAAC,GAAG;IAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAA;CAAE,CAAC;AAEnC,MAAM,WAAW,SAAS,CAAC,IAAI,SAAS,MAAM,CAAE,SAAQ,UAAU;IAChE,IAAI,EAAE,IAAI,CAAC;IACX,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe,CAC9B,IAAI,SAAS,MAAM,EACnB,GAAG,CACH,SAAQ,SAAS,CAAC,IAAI,CAAC;IACvB,SAAS,EAAE;QAAE,GAAG,EAAE,GAAG,CAAA;KAAE,CAAC;CACzB;AAED,MAAM,WAAW,UAAW,SAAQ,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC;CAAG;AACvE,MAAM,WAAW,QAAS,SAAQ,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC;CAAG;AACnE,MAAM,WAAW,WAAY,SAAQ,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC;CAAG;AACzE,MAAM,WAAW,SAAU,SAAQ,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC;CAAG;AACtE,MAAM,WAAW,QAAS,SAAQ,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC;CAAG;AACnE,MAAM,WAAW,SAAU,SAAQ,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC;CAAG;AACnE,MAAM,WAAW,QAAS,SAAQ,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC;CAAG;AACjE,MAAM,WAAW,YAAa,SAAQ,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;CAAG;AAE5E,MAAM,WAAW,iBAAiB,CAChC,KAAK,SAAS,MAAM,GAAG,MAAM,CAC7B,SAAQ,eAAe,CAAC,eAAe,EAAE,KAAK,CAAC;IAC/C,KAAK,EAAE,KAAK,CAAC;CACd;AACD,MAAM,WAAW,eAAe,CAC9B,KAAK,SAAS,MAAM,GAAG,MAAM,CAC7B,SAAQ,eAAe,CAAC,aAAa,EAAE,KAAK,CAAC;IAC7C,KAAK,EAAE,KAAK,CAAC;CACd;AACD,MAAM,WAAW,kBAAkB,CACjC,KAAK,SAAS,MAAM,GAAG,MAAM,CAC7B,SAAQ,eAAe,CAAC,gBAAgB,EAAE,KAAK,CAAC;IAChD,KAAK,EAAE,KAAK,CAAC;CACd;AACD,MAAM,WAAW,gBAAgB,CAC/B,KAAK,SAAS,OAAO,GAAG,OAAO,CAC/B,SAAQ,eAAe,CAAC,cAAc,EAAE,KAAK,CAAC;IAC9C,KAAK,EAAE,KAAK,CAAC;CACd;AACD,MAAM,WAAW,eAAe,CAC9B,KAAK,SAAS,MAAM,GAAG,MAAM,CAC7B,SAAQ,eAAe,CAAC,aAAa,EAAE,KAAK,CAAC;IAC7C,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,QAAQ,CACvB,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,IAAI,SAAS,KAAK,GAAG,YAAY,CACjC,SAAQ,SAAS,CAAC,KAAK,CAAC;IACxB,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,SAAS,EAAE;QAAE,GAAG,EAAE,OAAO,CAAA;KAAE,CAAC;CAC7B;AAED,MAAM,WAAW,UAAU,CACzB,IAAI,SAAS,KAAK,GAAG,KAAK,CAC1B,SAAQ,SAAS,CAAC,OAAO,CAAC;IAC1B,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE;QAAE,GAAG,EAAE,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAA;KAAE,CAAC;CAChD;AAED,MAAM,WAAW,UAAU,CACzB,GAAG,CAAC,KAAK,SAAS,OAAO,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CACjD,SAAQ,SAAS,CAAC,OAAO,CAAC;IAC1B,GAAG,EAAE,KAAK,CAAC;IACX,SAAS,EAAE;QAAE,GAAG,EAAE;YAAE,CAAC,UAAU,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC;SAAE,CAAA;KAAE,CAAC;CAChE;AAED,MAAM,WAAW,YAAY,CAC3B,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACzD,SAAQ,SAAS,CAAC,SAAS,CAAC;IAC5B,GAAG,EAAE,GAAG,CAAC;IACT,SAAS,EAAE;QACT,GAAG,EAAE,QAAQ,CACX;YACE,CAAC,UAAU,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACnE,KAAK,GACL,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC5B,GAAG;YACF,CAAC,UAAU,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACnE,CAAC,GACD,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACjC,CACF,CAAC;KACH,CAAC;CACH;AAED,MAAM,WAAW,WAAW,CAC1B,IAAI,SAAS,MAAM,GAAG,MAAM,CAC5B,SAAQ,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC3C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,UAAU,CACzB,GAAG,CAAC,GAAG,SAAS,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAC7E,SAAQ,eAAe,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5D,GAAG,EAAE,GAAG,CAAC;CACV;AAED,MAAM,MAAM,KAAK,GACb,UAAU,GACV,QAAQ,GACR,WAAW,GACX,SAAS,GACT,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,YAAY,GACZ,iBAAiB,GACjB,eAAe,GACf,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,QAAQ,GACR,UAAU,GACV,YAAY,GACZ,UAAU,GACV,WAAW,GACX,UAAU,CAAC;AASf,wBAAgB,OAAO,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,KAAK,CAK9C;AAED,yBAAiB,MAAM,CAAC;IACtB,SAAgB,KAAK,IAAI,UAAU,CAMlC;IAED,SAAgB,GAAG,IAAI,QAAQ,CAM9B;IAED,SAAgB,MAAM,IAAI,WAAW,CAMpC;IAED,SAAgB,IAAI,IAAI,SAAS,CAMhC;IAED,SAAgB,GAAG,IAAI,QAAQ,CAM9B;IAED,SAAgB,IAAI,IAAI,SAAS,CAMhC;IAED,SAAgB,GAAG,IAAI,QAAQ,CAM9B;IAED,SAAgB,OAAO,IAAI,YAAY,CAMtC;IAED,SAAgB,YAAY,CAAC,KAAK,SAAS,MAAM,EAC/C,KAAK,EAAE,KAAK,GACX,iBAAiB,CAAC,KAAK,CAAC,CAO1B;IAED,SAAgB,UAAU,CAAC,KAAK,SAAS,MAAM,EAC7C,KAAK,EAAE,KAAK,GACX,eAAe,CAAC,KAAK,CAAC,CAOxB;IAED,SAAgB,aAAa,CAAC,KAAK,SAAS,MAAM,EAChD,KAAK,EAAE,KAAK,GACX,kBAAkB,CAAC,KAAK,CAAC,CAO3B;IAED,SAAgB,WAAW,CAAC,KAAK,SAAS,OAAO,EAC/C,KAAK,EAAE,KAAK,GACX,gBAAgB,CAAC,KAAK,CAAC,CAOzB;IAED,SAAgB,UAAU,CAAC,KAAK,SAAS,MAAM,EAC7C,KAAK,EAAE,KAAK,GACX,eAAe,CAAC,KAAK,CAAC,CAOxB;IAED,SAAgB,OAAO,CAAC,KAAK,SAAS,MAAM,EAC1C,KAAK,EAAE,KAAK,GACX,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC7B,SAAgB,OAAO,CAAC,KAAK,SAAS,OAAO,EAC3C,KAAK,EAAE,KAAK,GACX,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC3B,SAAgB,OAAO,CAAC,KAAK,SAAS,MAAM,EAC1C,KAAK,EAAE,KAAK,GACX,eAAe,CAAC,KAAK,CAAC,CAAC;IAC1B,SAAgB,OAAO,CACrB,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,GAC/B,kBAAkB,GAAG,gBAAgB,GAAG,eAAe,CAAC;IAS3D,SAAgB,GAAG,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,SAAS,KAAK,GAAG,YAAY,EACxE,IAAI,EAAE,IAAI,EACV,IAAI,CAAC,EAAE,IAAI,GACV,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAYtB;IAED,SAAgB,KAAK,CAAC,IAAI,SAAS,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAOtE;IAED,SAAgB,KAAK,CAAC,KAAK,SAAS,OAAO,CAAC,KAAK,CAAC,EAChD,GAAG,KAAK,EAAE,KAAK,GACd,UAAU,CAAC,KAAK,CAAC,CAOnB;IAED,SAAgB,OAAO,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EACvD,GAAG,EAAE,GAAG,GACP,YAAY,CAAC,GAAG,CAAC,CAOnB;IAED,SAAgB,MAAM,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAOzE;IAED,SAAgB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9E,SAAgB,KAAK,CAAC,GAAG,SAAS,OAAO,CAAC,KAAK,CAAC,EAC9C,GAAG,GAAG,EAAE,GAAG,GACV,UAAU,CAAC,GAAG,CAAC,CAAC;CAWpB;AAED,yBAAiB,QAAQ,CAAC;IACxB,SAAgB,EAAE,CAAC,CAAC,SAAS,KAAK,EAAE,IAAI,SAAS,eAAe,EAC9D,KAAK,EAAE,CAAC,EACR,IAAI,EAAE,IAAI,GACT,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAQxB;IAED,SAAgB,QAAQ,CAAC,CAAC,SAAS,KAAK,EACtC,KAAK,EAAE,CAAC,GACP,aAAa,CAAC,CAAC,EAAE;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,CAAC,CAEtC;IAED,SAAgB,OAAO,CAAC,CAAC,SAAS,KAAK,EACrC,KAAK,EAAE,CAAC,GACP,aAAa,CAAC,CAAC,EAAE;QAAE,OAAO,EAAE,IAAI,CAAA;KAAE,CAAC,CAErC;IAED,SAAgB,MAAM,CAAC,CAAC,SAAS,KAAK,EACpC,KAAK,EAAE,CAAC,GACP,aAAa,CAAC,CAAC,EAAE;QAAE,MAAM,EAAE,IAAI,CAAA;KAAE,CAAC,CAEpC;IAED,SAAgB,KAAK,CAAC,CAAC,SAAS,KAAK,EAAE,IAAI,SAAS,MAAM,EACxD,KAAK,EAAE,CAAC,EACR,IAAI,EAAE,IAAI,GACT,aAAa,CAAC,CAAC,EAAE;QAAE,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC,CAElC;IAED,SAAgB,OAAO,CACrB,CAAC,SAAS,KAAK,EACf,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EAExB,KAAK,EAAE,CAAC,EACR,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,GACnB,aAAa,CACd,CAAC,EACD;QAAE,OAAO,EAAE;YAAE,SAAS,EAAE,SAAS,CAAC;YAAC,SAAS,EAAE,SAAS,CAAA;SAAE,CAAA;KAAE,CAC5D,CAEA;IAED,SAAgB,IAAI,CAClB,CAAC,EAAE,OAAO,EACV,OAAO,GAAE;QACP,cAAc,CAAC,EAAE,OAAO,CAAC;KACrB,GACL,KAAK,CA6BP;CACF"}