shapedef 1.0.0

package/dist/cjs/shape.js

@@ -0,0 +1,258 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.annotate = exports.shapes = exports.ShapeBrandSymbol = void 0;
+exports.isShape = isShape;
+const common_1 = require("./common");
+const phantom_1 = require("./phantom");
+exports.ShapeBrandSymbol = Symbol("Shape");
+const createPhantom = () => {
+    return { __phantom: { out: phantom_1.Phantom }, [exports.ShapeBrandSymbol]: true };
+};
+function isShape(x) {
+    return ((0, common_1.has)(x, exports.ShapeBrandSymbol) &&
+        x[exports.ShapeBrandSymbol] === true);
+}
+var shapes;
+(function (shapes) {
+    function float() {
+        return {
+            type: "float",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.float = float;
+    function int() {
+        return {
+            type: "int",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.int = int;
+    function number() {
+        return {
+            type: "number",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.number = number;
+    function bool() {
+        return {
+            type: "bool",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.bool = bool;
+    function str() {
+        return {
+            type: "str",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.str = str;
+    function date() {
+        return {
+            type: "date",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.date = date;
+    function nil() {
+        return {
+            type: "nil",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.nil = nil;
+    function unknown() {
+        return {
+            type: "unknown",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.unknown = unknown;
+    function literalFloat(value) {
+        return {
+            type: "literal-float",
+            value: value,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.literalFloat = literalFloat;
+    function literalInt(value) {
+        return {
+            type: "literal-int",
+            value: value,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.literalInt = literalInt;
+    function literalNumber(value) {
+        return {
+            type: "literal-number",
+            value: value,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.literalNumber = literalNumber;
+    function literalBool(value) {
+        return {
+            type: "literal-bool",
+            value: value,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.literalBool = literalBool;
+    function literalStr(value) {
+        return {
+            type: "literal-str",
+            value: value,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.literalStr = literalStr;
+    function literal(value) {
+        if (typeof value === "number")
+            return literalNumber(value);
+        if (typeof value === "boolean")
+            return literalBool(value);
+        return literalStr(value);
+    }
+    shapes.literal = literal;
+    function ref(name, hint) {
+        return {
+            type: "ref",
+            name: name,
+            anno: {},
+            ...(hint ?
+                {
+                    hint: hint,
+                }
+                : {}),
+            ...createPhantom(),
+        };
+    }
+    shapes.ref = ref;
+    function array(item) {
+        return {
+            type: "array",
+            item: item,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.array = array;
+    function tuple(...items) {
+        return {
+            type: "tuple",
+            tup: items,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.tuple = tuple;
+    function mapping(rec) {
+        return {
+            type: "mapping",
+            rec: rec,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.mapping = mapping;
+    function vector(dims) {
+        return {
+            type: "vector",
+            dims: dims,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.vector = vector;
+    function union(...ofs) {
+        return {
+            type: "union",
+            ofs: ofs,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.union = union;
+})(shapes || (exports.shapes = shapes = {}));
+var annotate;
+(function (annotate) {
+    function by(shape, anno) {
+        return {
+            ...shape,
+            anno: {
+                ...anno,
+                ...shape.anno,
+            },
+        };
+    }
+    annotate.by = by;
+    function optional(shape) {
+        return by(shape, { optional: true });
+    }
+    annotate.optional = optional;
+    function primary(shape) {
+        return by(shape, { primary: true });
+    }
+    annotate.primary = primary;
+    function unique(shape) {
+        return by(shape, { unique: true });
+    }
+    annotate.unique = unique;
+    function named(shape, name) {
+        return by(shape, { name: name });
+    }
+    annotate.named = named;
+    function foreign(shape, shapeName, fieldName) {
+        return by(shape, { foreign: { shapeName, fieldName } });
+    }
+    annotate.foreign = foreign;
+    function auto(x, options = {}) {
+        if (isShape(x))
+            return x;
+        if (x === null)
+            return shapes.nil();
+        if (typeof x === "undefined")
+            return shapes.unknown();
+        if (typeof x === "number")
+            return options.preferLiterals ? shapes.literalNumber(x) : shapes.number();
+        if (typeof x === "string")
+            return options.preferLiterals ? shapes.literalStr(x) : shapes.str();
+        if (typeof x === "boolean")
+            return options.preferLiterals ? shapes.literalBool(x) : shapes.bool();
+        if (x instanceof Date)
+            return shapes.date();
+        if (Array.isArray(x)) {
+            if (x.length <= 0)
+                return shapes.array(shapes.unknown());
+            if (x.length === 1)
+                return shapes.array(auto(x[0], options));
+            const types = new Set(x.map((v) => typeof v));
+            return shapes.array(types.size === 1 ?
+                auto(x[0], options)
+                : shapes.union(...x.map((v) => auto(v, options))));
+        }
+        if ((0, common_1.isPlainObject)(x)) {
+            return shapes.mapping(Object.fromEntries(Object.entries(x).map(([k, v]) => [k, auto(v, options)])));
+        }
+        return shapes.unknown();
+    }
+    annotate.auto = auto;
+})(annotate || (exports.annotate = annotate = {}));
+//# sourceMappingURL=shape.js.map

package/dist/cjs/shape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape.js","sourceRoot":"","sources":["../../src/shape.ts"],"names":[],"mappings":";;;AAkLA,0BAKC;AAvLD,qCAA8C;AAE9C,uCAAmD;AAEtC,QAAA,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;AAuKhD,MAAM,aAAa,GAAG,GAGpB,EAAE;IACF,OAAO,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,iBAAO,EAAE,EAAE,CAAC,wBAAgB,CAAC,EAAE,IAAI,EAAE,CAAC;AACnE,CAAC,CAAC;AAEF,SAAgB,OAAO,CAAC,CAAU;IAChC,OAAO,CACL,IAAA,YAAG,EAAC,CAAC,EAAE,wBAAgB,CAAC;QACvB,CAAqC,CAAC,wBAAgB,CAAC,KAAK,IAAI,CAClE,CAAC;AACJ,CAAC;AAED,IAAiB,MAAM,CAmNtB;AAnND,WAAiB,MAAM;IACrB,SAAgB,KAAK;QACnB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,YAAK,QAMpB,CAAA;IAED,SAAgB,GAAG;QACjB,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,UAAG,MAMlB,CAAA;IAED,SAAgB,MAAM;QACpB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,aAAM,SAMrB,CAAA;IAED,SAAgB,IAAI;QAClB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,WAAI,OAMnB,CAAA;IAED,SAAgB,GAAG;QACjB,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,UAAG,MAMlB,CAAA;IAED,SAAgB,IAAI;QAClB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,WAAI,OAMnB,CAAA;IAED,SAAgB,GAAG;QACjB,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,UAAG,MAMlB,CAAA;IAED,SAAgB,OAAO;QACrB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,cAAO,UAMtB,CAAA;IAED,SAAgB,YAAY,CAC1B,KAAY;QAEZ,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,mBAAY,eAS3B,CAAA;IAED,SAAgB,UAAU,CACxB,KAAY;QAEZ,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,iBAAU,aASzB,CAAA;IAED,SAAgB,aAAa,CAC3B,KAAY;QAEZ,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,oBAAa,gBAS5B,CAAA;IAED,SAAgB,WAAW,CACzB,KAAY;QAEZ,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,kBAAW,cAS1B,CAAA;IAED,SAAgB,UAAU,CACxB,KAAY;QAEZ,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,iBAAU,aASzB,CAAA;IAcD,SAAgB,OAAO,CACrB,KAAgC;QAEhC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;QAC3D,IAAI,OAAO,KAAK,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;QAC1D,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IANe,cAAO,UAMtB,CAAA;IAED,SAAgB,GAAG,CACjB,IAAU,EACV,IAAW;QAEX,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE;YACR,GAAG,CAAC,IAAI,CAAC,CAAC;gBACR;oBACE,IAAI,EAAE,IAAI;iBACX;gBACH,CAAC,CAAC,EAAE,CAAC;YACL,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IAfe,UAAG,MAelB,CAAA;IAED,SAAgB,KAAK,CAAqB,IAAU;QAClD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IAPe,YAAK,QAOpB,CAAA;IAED,SAAgB,KAAK,CACnB,GAAG,KAAY;QAEf,OAAO;YACL,IAAI,EAAE,OAAO;YACb,GAAG,EAAE,KAAK;YACV,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,YAAK,QASpB,CAAA;IAED,SAAgB,OAAO,CACrB,GAAQ;QAER,OAAO;YACL,IAAI,EAAE,SAAS;YACf,GAAG,EAAE,GAAG;YACR,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,cAAO,UAStB,CAAA;IAED,SAAgB,MAAM,CAAsB,IAAU;QACpD,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IAPe,aAAM,SAOrB,CAAA;IAMD,SAAgB,KAAK,CACnB,GAAG,GAAQ;QAEX,OAAO;YACL,IAAI,EAAE,OAAO;YACb,GAAG,EAAE,GAAG;YACR,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,YAAK,QASpB,CAAA;AACH,CAAC,EAnNgB,MAAM,sBAAN,MAAM,QAmNtB;AAED,IAAiB,QAAQ,CAyFxB;AAzFD,WAAiB,QAAQ;IACvB,SAAgB,EAAE,CAChB,KAAQ,EACR,IAAU;QAEV,OAAO;YACL,GAAG,KAAK;YACR,IAAI,EAAE;gBACJ,GAAG,IAAI;gBACP,GAAG,KAAK,CAAC,IAAI;aACd;SACF,CAAC;IACJ,CAAC;IAXe,WAAE,KAWjB,CAAA;IAED,SAAgB,QAAQ,CACtB,KAAQ;QAER,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IAJe,iBAAQ,WAIvB,CAAA;IAED,SAAgB,OAAO,CACrB,KAAQ;QAER,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;IAJe,gBAAO,UAItB,CAAA;IAED,SAAgB,MAAM,CACpB,KAAQ;QAER,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACrC,CAAC;IAJe,eAAM,SAIrB,CAAA;IAED,SAAgB,KAAK,CACnB,KAAQ,EACR,IAAU;QAEV,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC;IALe,cAAK,QAKpB,CAAA;IAED,SAAgB,OAAO,CAKrB,KAAQ,EACR,SAAoB,EACpB,SAAoB;QAKpB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IAC1D,CAAC;IAbe,gBAAO,UAatB,CAAA;IAED,SAAgB,IAAI,CAClB,CAAU,EACV,UAEI,EAAE;QAEN,IAAI,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC;QACtD,IAAI,OAAO,CAAC,KAAK,QAAQ;YACvB,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC5E,IAAI,OAAO,CAAC,KAAK,QAAQ;YACvB,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QACtE,IAAI,OAAO,CAAC,KAAK,SAAS;YACxB,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACxE,IAAI,CAAC,YAAY,IAAI;YAAE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;gBAAE,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YACzD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC9C,OAAO,MAAM,CAAC,KAAK,CACjB,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;gBAChB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;gBACrB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAClD,CAAC;QACJ,CAAC;QACD,IAAI,IAAA,sBAAa,EAAC,CAAC,CAAC,EAAE,CAAC;YACrB,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CACzD,CACF,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC;IAC1B,CAAC;IAlCe,aAAI,OAkCnB,CAAA;AACH,CAAC,EAzFgB,QAAQ,wBAAR,QAAQ,QAyFxB"}

package/dist/cjs/translations/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./translation";
+export * from "./typescript";
+export * from "./postgres";
+//# sourceMappingURL=index.d.ts.map

package/dist/cjs/translations/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/translations/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}

package/dist/cjs/translations/index.js

@@ -0,0 +1,20 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./translation"), exports);
+__exportStar(require("./typescript"), exports);
+__exportStar(require("./postgres"), exports);
+//# sourceMappingURL=index.js.map

package/dist/cjs/translations/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/translations/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,gDAA8B;AAC9B,+CAA6B;AAC7B,6CAA2B"}

package/dist/cjs/translations/postgres.d.ts

@@ -0,0 +1,3 @@
+import { TranslationFunc } from "./translation";
+export declare const postgres: TranslationFunc<string>;
+//# sourceMappingURL=postgres.d.ts.map

package/dist/cjs/translations/postgres.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres.d.ts","sourceRoot":"","sources":["../../../src/translations/postgres.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AA+DhD,eAAO,MAAM,QAAQ,EAAE,eAAe,CAAC,MAAM,CAQ5C,CAAC"}

package/dist/cjs/translations/postgres.js

@@ -0,0 +1,72 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.postgres = void 0;
+const pgType = (shape) => {
+    switch (shape.type) {
+        case "int":
+            return "INTEGER";
+        case "float":
+            return "DOUBLE PRECISION";
+        case "number":
+            return "NUMERIC";
+        case "str":
+            return "TEXT";
+        case "bool":
+            return "BOOLEAN";
+        case "date":
+            return "TIMESTAMPTZ";
+        case "nil":
+            return "NULL";
+        case "unknown":
+            return "JSONB";
+        case "literal-int":
+        case "literal-float":
+        case "literal-number":
+            return "NUMERIC";
+        case "literal-str":
+            return "TEXT";
+        case "literal-bool":
+            return "BOOLEAN";
+        case "ref":
+            return shape.name;
+        case "array": {
+            const inner = pgType(shape.item);
+            return inner === "JSONB" ? "JSONB" : `${inner}[]`;
+        }
+        case "tuple":
+            return "JSONB";
+        case "union":
+            return "JSONB";
+        case "vector":
+            return `vector(${shape.dims})`;
+        case "mapping":
+            return "JSONB";
+    }
+};
+const pgColumnDef = (colName, shape) => {
+    const parts = [colName, pgType(shape)];
+    if (shape.anno.primary) {
+        parts.push("PRIMARY KEY");
+    }
+    else if (!shape.anno.optional) {
+        parts.push("NOT NULL");
+    }
+    if (shape.anno.unique && !shape.anno.primary) {
+        parts.push("UNIQUE");
+    }
+    if (shape.anno.foreign) {
+        parts.push(`REFERENCES ${shape.anno.foreign.shapeName}(${shape.anno.foreign.fieldName})`);
+    }
+    return parts.join(" ");
+};
+const postgres = (shape) => {
+    if (shape.type === "mapping" && shape.anno.name) {
+        const cols = Object.entries(shape.rec)
+            .map(([k, v]) => `  ${pgColumnDef(k, v)}`)
+            .join(",\n");
+        return `CREATE TABLE IF NOT EXISTS ${shape.anno.name} (\n${cols}\n)`;
+    }
+    return pgType(shape);
+};
+exports.postgres = postgres;
+//# sourceMappingURL=postgres.js.map

package/dist/cjs/translations/postgres.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres.js","sourceRoot":"","sources":["../../../src/translations/postgres.ts"],"names":[],"mappings":";;;AAGA,MAAM,MAAM,GAAG,CAAC,KAAY,EAAU,EAAE;IACtC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,SAAS,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,kBAAkB,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,MAAM,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,aAAa,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,MAAM,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe,CAAC;QACrB,KAAK,gBAAgB;YACnB,OAAO,SAAS,CAAC;QACnB,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC;QAChB,KAAK,cAAc;YACjB,OAAO,SAAS,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,IAAI,CAAC;QACpB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,OAAO,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC;QACpD,CAAC;QACD,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,UAAU,KAAK,CAAC,IAAI,GAAG,CAAC;QACjC,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,OAAe,EAAE,KAAY,EAAU,EAAE;IAC5D,MAAM,KAAK,GAAa,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5B,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CACR,cAAc,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,GAAG,CAC9E,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC,CAAC;AAEK,MAAM,QAAQ,GAA4B,CAAC,KAAK,EAAE,EAAE;IACzD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;aACzC,IAAI,CAAC,KAAK,CAAC,CAAC;QACf,OAAO,8BAA8B,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,KAAK,CAAC;IACvE,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AARW,QAAA,QAAQ,YAQnB"}

package/dist/cjs/translations/translation.d.ts

@@ -0,0 +1,3 @@
+import { Shape } from "../shape";
+export type TranslationFunc<T extends any = any> = (shape: Shape) => T;
+//# sourceMappingURL=translation.d.ts.map

package/dist/cjs/translations/translation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"translation.d.ts","sourceRoot":"","sources":["../../../src/translations/translation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEjC,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,KAAK,CAAC,CAAC"}

package/dist/cjs/translations/translation.js

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

package/dist/cjs/translations/translation.js.map

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

package/dist/cjs/translations/typescript.d.ts

@@ -0,0 +1,3 @@
+import { TranslationFunc } from "./translation";
+export declare const typescript: TranslationFunc<string>;
+//# sourceMappingURL=typescript.d.ts.map

package/dist/cjs/translations/typescript.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript.d.ts","sourceRoot":"","sources":["../../../src/translations/typescript.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAyIhD,eAAO,MAAM,UAAU,EAAE,eAAe,CAAC,MAAM,CAE9C,CAAC"}

package/dist/cjs/translations/typescript.js

@@ -0,0 +1,122 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.typescript = void 0;
+const padding_1 = require("../common/padding");
+const incDepth = (ctx) => ({ ...ctx, depth: ctx.depth + 1 });
+const maybeTypeAlias = (shape, ctx, out) => {
+    if (ctx.depth > 0)
+        return out;
+    const name = shape.anno.name || shape.anno.title;
+    if (name && !name.includes(" "))
+        return `export type ${name} = ${out}`;
+    return out;
+};
+const toBatched = (arr, batchSize) => {
+    const batches = [];
+    for (let i = 0; i < arr.length; i += batchSize) {
+        batches.push(arr.slice(i, i + batchSize));
+    }
+    return batches;
+};
+const createComments = (shape) => {
+    const parts = [];
+    const description = (shape.anno.description || "").trim();
+    if (description.length > 0) {
+        const chars = Array.from(description.trim());
+        const batches = toBatched(chars, 80);
+        const lines = batches.map((x) => x.join(""));
+        parts.push(...lines);
+    }
+    if (typeof shape.anno.min === "number") {
+        parts.push(`min: ${shape.anno.min}`);
+    }
+    if (typeof shape.anno.max === "number") {
+        parts.push(`max: ${shape.anno.max}`);
+    }
+    return parts;
+};
+const ts = (shape, ctx) => {
+    switch (shape.type) {
+        case "vector":
+            return "number[]";
+        case "number":
+            return "number";
+        case "int":
+            return "number";
+        case "float":
+            return "number";
+        case "str":
+            return "string";
+        case "bool":
+            return "boolean";
+        case "date":
+            return "Date";
+        case "nil":
+            return "null";
+        case "unknown":
+            return "unknown";
+        case "literal-number":
+            return `${shape.value}`;
+        case "literal-int":
+            return `${shape.value}`;
+        case "literal-float":
+            return `${shape.value}`;
+        case "literal-str":
+            return `'${shape.value}'`;
+        case "literal-bool":
+            return `${shape.value}`;
+        case "ref":
+            return shape.name
+                .replaceAll("#/definitions/", "")
+                .replaceAll("#/$defs/", "")
+                .replaceAll("-", "_");
+        case "array":
+            return maybeTypeAlias(shape, ctx, `Array<${ts(shape.item, incDepth(ctx))}>`);
+        case "tuple":
+            return `[${shape.tup.map((x) => ts(x, incDepth(ctx))).join(", ")}]`;
+        case "union":
+            return maybeTypeAlias(shape, ctx, Array.from(new Set(shape.ofs.map((x) => ts(x, incDepth(ctx))))).join(" | "));
+        case "mapping": {
+            const parts = [];
+            const members = [];
+            const name = shape.anno.name;
+            if (name) {
+                const replaced = name.replaceAll("-", "_");
+                parts.push(`export interface ${replaced} `);
+            }
+            parts.push("{");
+            parts.push("\n");
+            for (const [k, v] of Object.entries(shape.rec)) {
+                const member = [];
+                const comments = createComments(v);
+                if (comments.length > 0) {
+                    member.push((0, padding_1.mkpad)(ctx.padding + 2) + "/**");
+                    member.push("\n");
+                    member.push(comments
+                        .map((cmt) => `${(0, padding_1.mkpad)(ctx.padding + 2)}* ${cmt}`)
+                        .join("\n"));
+                    member.push("\n");
+                    member.push((0, padding_1.mkpad)(ctx.padding + 2) + "**/");
+                    member.push("\n");
+                }
+                member.push((0, padding_1.mkpad)(ctx.padding + 2));
+                member.push(k);
+                if (v.anno.optional)
+                    member.push("?");
+                member.push(": ");
+                member.push(ts(v, incDepth({ ...ctx, padding: ctx.padding + 2 })));
+                members.push(member.join(""));
+            }
+            parts.push(members.join(",\n"));
+            parts.push("\n");
+            parts.push((0, padding_1.mkpad)(ctx.padding));
+            parts.push("}");
+            return parts.join("");
+        }
+    }
+};
+const typescript = (shape) => {
+    return ts(shape, { padding: 0, depth: 0 });
+};
+exports.typescript = typescript;
+//# sourceMappingURL=typescript.js.map

package/dist/cjs/translations/typescript.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript.js","sourceRoot":"","sources":["../../../src/translations/typescript.ts"],"names":[],"mappings":";;;AAAA,+CAA0C;AAS1C,MAAM,QAAQ,GAAG,CAAC,GAAY,EAAW,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;AAE/E,MAAM,cAAc,GAAG,CAAC,KAAY,EAAE,GAAY,EAAE,GAAW,EAAU,EAAE;IACzE,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;IACjD,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,eAAe,IAAI,MAAM,GAAG,EAAE,CAAC;IACvE,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAI,GAAQ,EAAE,SAAiB,EAAc,EAAE;IAC/D,MAAM,OAAO,GAAe,EAAE,CAAC;IAE/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;QAC/C,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,KAAY,EAAY,EAAE;IAChD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,WAAW,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1D,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7C,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,EAAE,GAAG,CAAC,KAAY,EAAE,GAAY,EAAU,EAAE;IAChD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK;YACR,OAAO,MAAM,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,gBAAgB;YACnB,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,aAAa;YAChB,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,eAAe;YAClB,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,aAAa;YAChB,OAAO,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC;QAC5B,KAAK,cAAc;YACjB,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,IAAI;iBACd,UAAU,CAAC,gBAAgB,EAAE,EAAE,CAAC;iBAChC,UAAU,CAAC,UAAU,EAAE,EAAE,CAAC;iBAC1B,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,KAAK,OAAO;YACV,OAAO,cAAc,CACnB,KAAK,EACL,GAAG,EACH,SAAS,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,CAC1C,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACtE,KAAK,OAAO;YACV,OAAO,cAAc,CACnB,KAAK,EACL,GAAG,EACH,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAClE,KAAK,CACN,CACF,CAAC;QACJ,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7B,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBAC3C,KAAK,CAAC,IAAI,CAAC,oBAAoB,QAAQ,GAAG,CAAC,CAAC;YAC9C,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/C,MAAM,MAAM,GAAa,EAAE,CAAC;gBAE5B,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACxB,MAAM,CAAC,IAAI,CAAC,IAAA,eAAK,EAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;oBAC5C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClB,MAAM,CAAC,IAAI,CACT,QAAQ;yBACL,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAA,eAAK,EAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;yBACjD,IAAI,CAAC,IAAI,CAAC,CACd,CAAC;oBACF,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClB,MAAM,CAAC,IAAI,CAAC,IAAA,eAAK,EAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;oBAC5C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpB,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,IAAA,eAAK,EAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACf,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ;oBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACtC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACnE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,IAAA,eAAK,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEK,MAAM,UAAU,GAA4B,CAAC,KAAK,EAAE,EAAE;IAC3D,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAC7C,CAAC,CAAC;AAFW,QAAA,UAAU,cAErB"}

package/dist/cjs/validation.d.ts

@@ -0,0 +1,10 @@
+import { Shape } from "./shape";
+export type ValidationResult = {
+    ok: true;
+} | {
+    ok: false;
+    error: string;
+    path: PropertyKey[];
+};
+export declare function validate(x: unknown, shape: Shape): ValidationResult;
+//# sourceMappingURL=validation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/validation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAEhC,MAAM,MAAM,gBAAgB,GACxB;IACE,EAAE,EAAE,IAAI,CAAC;CACV,GACD;IACE,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,WAAW,EAAE,CAAC;CACrB,CAAC;AAkBN,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,gBAAgB,CAyGnE"}

package/dist/cjs/validation.js

@@ -0,0 +1,101 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.validate = validate;
+const common_1 = require("./common");
+const ok = () => ({ ok: true });
+const err = (error, path) => ({
+    ok: false,
+    error,
+    path,
+});
+const maybe = (result, error, path) => (result ? ok() : err(error, path));
+function validate(x, shape) {
+    function check(x, shape, path) {
+        switch (shape.type) {
+            case "literal-bool":
+            case "literal-str":
+            case "literal-int":
+            case "literal-float":
+            case "literal-number":
+                return maybe(x === shape.value, `expected literal ${shape.value}`, path);
+            case "str":
+                return maybe(typeof x === "string", "expected a string", path);
+            case "bool":
+                return maybe(typeof x === "boolean", "expected a boolean", path);
+            case "int":
+                return maybe(typeof x === "number" && Number.isInteger(x), "expected an integer", path);
+            case "float":
+                return maybe(typeof x === "number" && !Number.isInteger(x), "expected a float", path);
+            case "number":
+                return maybe(typeof x === "number", "expected a number", path);
+            case "nil":
+                return maybe(x === null, "expected null", path);
+            case "date":
+                return maybe(x instanceof Date, "expected a date", path);
+            case "unknown":
+                return ok();
+            case "array": {
+                if (!Array.isArray(x))
+                    return err("expected an array", path);
+                for (let i = 0; i < x.length; i++) {
+                    const item = x[i];
+                    const result = check(item, shape.item, [...path, i]);
+                    if (!result.ok)
+                        return result;
+                }
+                return ok();
+            }
+            case "mapping": {
+                if (!(0, common_1.isPlainObject)(x))
+                    return err("expected a plain object", path);
+                for (const [k, v] of Object.entries(shape.rec)) {
+                    if (!(0, common_1.has)(x, k) || typeof x[k] === "undefined") {
+                        if (v.anno.optional || v.type === "unknown")
+                            continue;
+                        return err(`expected property ${k} to exist`, [...path, k]);
+                    }
+                    const result = check(x[k], v, [...path, k]);
+                    if (!result.ok)
+                        return result;
+                }
+                return ok();
+            }
+            case "ref":
+                return err(`cannot validate ref`, path);
+            case "tuple": {
+                if (!Array.isArray(x))
+                    return err("expected a tuple / array", path);
+                if (x.length !== shape.tup.length)
+                    return err(`expected a tuple of length ${shape.tup.length} but got a tuple / array of length ${x.length}`, path);
+                for (let i = 0; i < shape.tup.length; i++) {
+                    const v = shape.tup[i];
+                    const result = check(x[i], v, [...path, i]);
+                    if (!result.ok)
+                        return result;
+                }
+                return ok();
+            }
+            case "vector": {
+                if (!Array.isArray(x))
+                    return err(`expected an array (vector)`, path);
+                if (x.length !== shape.dims)
+                    return err(`expected a vector with dimension ${shape.dims} but got dimensions ${x.length}`, path);
+                if (!x.every((v) => typeof v === "number"))
+                    return err(`expected a numeric vector but it contained other types`, path);
+                return ok();
+            }
+            case "union": {
+                let lastResult = ok();
+                for (const v of shape.ofs) {
+                    const result = check(x, v, path);
+                    if (result.ok)
+                        return ok();
+                    lastResult = result;
+                }
+                return lastResult;
+            }
+        }
+    }
+    return check(x, shape, []);
+}
+//# sourceMappingURL=validation.js.map