ramosedb 0.0.1 → 0.4.0

package/dist/db/shapes.js

@@ -0,0 +1,246 @@
+import { lowerAttr } from "./attrRef.js";
+import { lowerElemFilter } from "./query/elemFilter.js";
+import { assertAgainDepth, assertAgainInShape, assertNotAgain, inspectPullField, assertDirectField, isAgain, isAllShape, isPullDefault, isPullNested, isPullOptional, nested, optional, pullDefault, } from "./Pull.js";
+export const pathOf = (attr) => attr.__path ?? [attr.ident];
+export const cardsOf = (attr) => attr.__cards ?? [attr.cardinality ?? "one"];
+export const revsOf = (attr) => attr.__revs ?? pathOf(attr).map(() => false);
+const isRefNav = (attr) => attr.valueType === "ref";
+const nestedCount = (n, what) => {
+    if (typeof n !== "number" || !Number.isInteger(n) || n < 0) {
+        throw new Error(`ramose/query: nested ${what} takes a non-negative integer, got ${String(n)}`);
+    }
+    return n;
+};
+const lowerElemOrder = (key, dir, empty) => {
+    const path = pathOf(key);
+    if (cardsOf(key).includes("many")) {
+        throw new Error(`ramose/query: orderBy(${path.join(" → ")}) crosses a cardinality-many attribute — the sort key would be a set, not a value`);
+    }
+    const revs = revsOf(key);
+    return {
+        path: [...path],
+        ...(revs.some(Boolean) ? { reverse: [...revs] } : {}),
+        dir,
+        ...(empty !== undefined ? { empty } : {}),
+    };
+};
+const isOrderSpec = (k) => typeof k === "object" && k !== null && !("ident" in k) && "key" in k;
+const lowerNestedOpts = (attr, opts) => {
+    for (const key of Object.keys(opts)) {
+        if (key !== "where" && key !== "orderBy" && key !== "limit" && key !== "offset") {
+            throw new Error(`ramose/query: unknown select option "${key}" — a nested collection takes { where, orderBy, limit, offset }`);
+        }
+    }
+    let where;
+    if (opts.where !== undefined) {
+        where = lowerElemFilter(opts.where, attr);
+    }
+    let order;
+    if (opts.orderBy !== undefined) {
+        if (!isRefNav(attr)) {
+            throw new Error(`ramose/query: orderBy on ${pathOf(attr).join(" → ")} — a scalar collection's elements are its values; only a reference collection has attributes to sort by`);
+        }
+        const keys = Array.isArray(opts.orderBy)
+            ? opts.orderBy
+            : [opts.orderBy];
+        order = keys.map((k) => isOrderSpec(k)
+            ? lowerElemOrder(k.key, k.dir ?? "asc", k.empty)
+            : lowerElemOrder(k, "asc", undefined));
+    }
+    const limit = opts.limit !== undefined ? nestedCount(opts.limit, "limit") : undefined;
+    const offset = opts.offset !== undefined ? nestedCount(opts.offset, "offset") : undefined;
+    return {
+        ...(where !== undefined && { where }),
+        ...(order !== undefined && { order }),
+        ...(limit !== undefined && { limit }),
+        ...(offset !== undefined && { offset }),
+    };
+};
+const assertManyForOpts = (attr, spelling) => {
+    const cards = cardsOf(attr);
+    if (cards[cards.length - 1] !== "many") {
+        throw new Error(`ramose/query: ${spelling} on ${pathOf(attr).join(" → ")} — the options record filters and pages the elements of a cardinality-many collection; constrain rows in the query itself`);
+    }
+};
+/**
+ * A card-many **scalar** collection with pull-phase constraints — the map
+ * form's spelling for a hop that has no shape to `.select` through, because
+ * its elements are the values themselves. `where` fragments are handed the
+ * value var directly; `orderBy` does not apply.
+ *
+ * ```ts
+ * aTags: Ramose.values(User.tags, { where: [(v) => Q.startsWith(v, "a")] }),
+ * ```
+ */
+export const values = (attr, opts) => {
+    if (typeof attr !== "object" || attr === null || typeof attr.ident !== "string") {
+        throw new Error("ramose/query: values(...) takes a card-many scalar attribute");
+    }
+    if (isRefNav(attr)) {
+        throw new Error(`ramose/query: values(${pathOf(attr).join(" → ")}) — a reference collection has a shape to select; write .select({ … }, { where, orderBy, limit, offset })`);
+    }
+    assertManyForOpts(attr, "values(...)");
+    return {
+        _tag: "collection",
+        attr,
+        constraints: opts === undefined ? {} : lowerNestedOpts(attr, opts),
+    };
+};
+export const makeSelectNested = (attr, shape, constraints) => {
+    if (isAgain(shape)) {
+        assertAgainDepth(shape.depth);
+        if (!isRefNav(attr)) {
+            throw new Error("ramose/query: again is only legal on a reference — write ref.select(Ramose.again(n))");
+        }
+        const cards = cardsOf(attr);
+        if (cards[cards.length - 1] === "many" && constraints?.limit === undefined) {
+            throw new Error(`ramose/query: ${pathOf(attr).join(" → ")} is a card-many again edge — pass a width in the select options, .select(Ramose.again(${shape.depth}), { limit: n }); the engine default of 1000 is not a tree budget`);
+        }
+    }
+    const nestedSelect = {
+        _tag: "select",
+        attr,
+        shape,
+        ...(constraints !== undefined ? { constraints } : {}),
+        get optional() {
+            return { _tag: "optional", field: nestedSelect };
+        },
+    };
+    return nestedSelect;
+};
+export const attachAttrNav = (attr) => {
+    const api = {
+        select(shape, opts) {
+            if (!isRefNav(this)) {
+                throw new Error(`ramose/query: ${pathOf(this).join(" → ")}.select(...) — only a reference has a nested shape to select`);
+            }
+            if (opts !== undefined)
+                assertManyForOpts(this, "select options");
+            return makeSelectNested(this, shape, opts === undefined ? undefined : lowerNestedOpts(this, opts));
+        },
+        orDefault(value) {
+            return pullDefault(this, value);
+        },
+    };
+    return new Proxy(attr, {
+        get(target, prop, receiver) {
+            if (prop === "optional")
+                return optional(receiver);
+            if (typeof prop === "string" && prop in api) {
+                const v = api[prop];
+                return typeof v === "function" ? v.bind(receiver) : v;
+            }
+            return Reflect.get(target, prop, receiver);
+        },
+    });
+};
+export const isSelectNested = (x) => typeof x === "object" &&
+    x !== null &&
+    x._tag === "select";
+const assertNotAll = (shape, key) => {
+    if (!isAllShape(shape))
+        return;
+    throw new Error(key === undefined
+        ? "ramose/query: all(N) is a shape — write `select(Ramose.all(N))` on the query itself, not as the contents of a field map"
+        : `ramose/query: select field "${key}": all(N) is a shape, not a field — write \`ref.select(Ramose.all(N))\``);
+};
+export const shapeToPullMap = (shape) => {
+    assertNotAll(shape);
+    assertNotAgain(shape);
+    const fields = shape;
+    assertAgainInShape(fields);
+    const out = {};
+    for (const [key, field] of Object.entries(fields)) {
+        assertNotAll(field, key);
+        assertNotAgain(field, key);
+        out[key] = shapeFieldToPull(field);
+    }
+    return out;
+};
+const shapeFieldToPull = (field) => {
+    if (isPullOptional(field)) {
+        return optional(shapeFieldToPull(field.field));
+    }
+    if (isPullDefault(field)) {
+        return pullDefault(shapeFieldToPull(field.field), field.value);
+    }
+    if (isSelectNested(field)) {
+        if (isAllShape(field.shape) || isAgain(field.shape))
+            return field;
+        return nested(field.attr, shapeToPullMap(field.shape), field.constraints);
+    }
+    if (isPullNested(field)) {
+        return field;
+    }
+    return field;
+};
+let fresh = 0;
+const gensym = (prefix) => `?${prefix}${fresh++}`;
+export const resetGensym = () => {
+    fresh = 0;
+};
+const ID = ":db/id";
+const hopClauses = (root, path, revs, value) => {
+    const clauses = [];
+    let e = root;
+    for (let i = 0; i < path.length - 1; i++) {
+        const next = gensym("j");
+        clauses.push(revs[i] ? [next, path[i], e] : [e, path[i], next]);
+        e = next;
+    }
+    const last = path.length - 1;
+    return [
+        ...clauses,
+        revs[last] ? [value, path[last], e] : [e, path[last], value],
+    ];
+};
+export const lowerOrderPath = (root, path, revs) => {
+    if (path.length === 1 && path[0] === ID)
+        return { var: root, clauses: [] };
+    const bound = gensym("o");
+    return {
+        var: bound,
+        clauses: [
+            [
+                "or-join",
+                [root, bound],
+                ["and", ...hopClauses(root, path, revs, bound)],
+                [
+                    "and",
+                    ["not", ...hopClauses(root, path, revs, "_")],
+                    [["ground", [null]], [bound, "..."]],
+                ],
+            ],
+        ],
+    };
+};
+export const requiredClauses = (e, pattern) => {
+    if (Array.isArray(pattern) || isAllShape(pattern) || isAgain(pattern))
+        return [];
+    const out = [];
+    for (const [key, field] of Object.entries(fieldsOf(pattern))) {
+        const info = inspectPullField(field);
+        assertDirectField(key, info.attr, info.nestedPattern !== undefined);
+        if (info.optional || info.many || info.hasDefault)
+            continue;
+        const ident = lowerAttr(info.attr);
+        if (ident === ID)
+            continue;
+        if (info.nestedPattern === undefined || isAgain(info.nestedPattern)) {
+            out.push(info.reverse ? [gensym("r"), ident, e] : [e, ident, "_"]);
+            continue;
+        }
+        const target = gensym("r");
+        const sub = requiredClauses(target, info.nestedPattern);
+        if (info.reverse) {
+            out.push([target, ident, e], ...sub);
+            continue;
+        }
+        out.push([e, ident, sub.length > 0 ? target : "_"], ...sub);
+    }
+    return out;
+};
+const fieldsOf = (pattern) => typeof pattern === "object" && pattern !== null && !Array.isArray(pattern)
+    ? pattern
+    : {};
+//# sourceMappingURL=shapes.js.map

package/dist/db/shapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shapes.js","sourceRoot":"","sources":["../../src/db/shapes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAKzC,OAAO,EAAE,eAAe,EAA2B,MAAM,uBAAuB,CAAC;AAEjF,OAAO,EAiBL,gBAAgB,EAChB,kBAAkB,EAClB,cAAc,EACd,gBAAgB,EAChB,iBAAiB,EACjB,OAAO,EACP,UAAU,EACV,aAAa,EACb,YAAY,EACZ,cAAc,EACd,MAAM,EACN,QAAQ,EACR,WAAW,GACZ,MAAM,WAAW,CAAC;AAWnB,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAiB,EAAqB,EAAE,CAC7D,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAE9B,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAiB,EAA0B,EAAE,CACnE,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC,CAAC;AAE9C,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAiB,EAAsB,EAAE,CAC9D,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AAmB/C,MAAM,QAAQ,GAAG,CAAC,IAAiB,EAAW,EAAE,CAC7C,IAAgC,CAAC,SAAS,KAAK,KAAK,CAAC;AA+IxD,MAAM,WAAW,GAAG,CAAC,CAAU,EAAE,IAAY,EAAU,EAAE;IACvD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,sCAAsC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,GAAgB,EAChB,GAAa,EACb,KAA6B,EAC+C,EAAE;IAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACzB,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,mFAAmF,CAC7H,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO;QACL,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;QACf,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG;QACH,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,CAAmC,EAAwB,EAAE,CAChF,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAEvE,MAAM,eAAe,GAAG,CAAC,IAAiB,EAAE,IAAuB,EAAyB,EAAE;IAC5F,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YAChF,MAAM,IAAI,KAAK,CACb,wCAAwC,GAAG,iEAAiE,CAC7G,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,KAAqC,CAAC;IAC1C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,KAAsC,EAAE,IAAI,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,KAAqC,CAAC;IAC1C,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CACb,4BAA4B,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,yGAAyG,CAC9J,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YACtC,CAAC,CAAE,IAAI,CAAC,OAAyD;YACjE,CAAC,CAAC,CAAC,IAAI,CAAC,OAA2C,CAAC,CAAC;QACvD,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrB,WAAW,CAAC,CAAC,CAAC;YACZ,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC;YAChD,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CACxC,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1F,OAAO;QACL,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAiB,EAAE,QAAgB,EAAQ,EAAE;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CACb,iBAAiB,QAAQ,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,2HAA2H,CACpL,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,IAAO,EACP,IAAqC,EACrB,EAAE;IAClB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACb,wBAAwB,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,2GAA2G,CAC5J,CAAC;IACJ,CAAC;IACD,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACvC,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,IAAI;QACJ,WAAW,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,IAAyB,CAAC;KACxF,CAAC;AACJ,CAAC,CAAC;AAaF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAiB,EACjB,KAA+B,EAC/B,WAAmC,EACkB,EAAE;IACvD,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACnB,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CACb,sFAAsF,CACvF,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,MAAM,IAAI,WAAW,EAAE,KAAK,KAAK,SAAS,EAAE,CAAC;YAC3E,MAAM,IAAI,KAAK,CACb,iBAAiB,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,yFAAyF,KAAK,CAAC,KAAK,mEAAmE,CACjN,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,YAAY,GAAwD;QACxE,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK;QACL,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,IAAI,QAAQ;YACV,OAAO,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QAC5D,CAAC;KACF,CAAC;IACF,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAwB,IAAO,EAAc,EAAE;IAC1E,MAAM,GAAG,GAAG;QACV,MAAM,CAAoB,KAA+B,EAAE,IAAwB;YACjF,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,KAAK,CACb,iBAAiB,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,8DAA8D,CACxG,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,KAAK,SAAS;gBAAE,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;YAClE,OAAO,gBAAgB,CACrB,IAAI,EACJ,KAAK,EACL,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAC7D,CAAC;QACJ,CAAC;QACD,SAAS,CAAoB,KAAc;YACzC,OAAO,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC;KACF,CAAC;IAEF,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE;QACrB,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ;YACxB,IAAI,IAAI,KAAK,UAAU;gBAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACnD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;gBAC5C,MAAM,CAAC,GAAI,GAA+B,CAAC,IAAI,CAAC,CAAC;gBACjD,OAAO,OAAO,CAAC,KAAK,UAAU,CAAC,CAAC,CAAE,CAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtE,CAAC;YACD,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC;KACF,CAAe,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAU,EAAqB,EAAE,CAC9D,OAAO,CAAC,KAAK,QAAQ;IACrB,CAAC,KAAK,IAAI;IACT,CAAwB,CAAC,IAAI,KAAK,QAAQ,CAAC;AAE9C,MAAM,YAAY,GAAG,CAAC,KAAc,EAAE,GAAY,EAAQ,EAAE;IAC1D,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO;IAC/B,MAAM,IAAI,KAAK,CACb,GAAG,KAAK,SAAS;QACf,CAAC,CAAC,yHAAyH;QAC3H,CAAC,CAAC,+BAA+B,GAAG,yEAAyE,CAChH,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAY,EAA2B,EAAE;IACtE,YAAY,CAAC,KAAK,CAAC,CAAC;IACpB,cAAc,CAAC,KAAK,CAAC,CAAC;IACtB,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3B,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACzB,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC3B,GAAG,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAAW,EAAE;IACnD,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,WAAW,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAClE,OAAO,MAAM,CACX,KAAK,CAAC,IAAqC,EAC3C,cAAc,CAAC,KAAK,CAAC,KAAc,CAAC,EACpC,KAAK,CAAC,WAAW,CAClB,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAuEF,IAAI,KAAK,GAAG,CAAC,CAAC;AACd,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,IAAI,MAAM,GAAG,KAAK,EAAE,EAAE,CAAC;AAE1D,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,EAAE;IAC9B,KAAK,GAAG,CAAC,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,EAAE,GAAG,QAAQ,CAAC;AAEpB,MAAM,UAAU,GAAG,CACjB,IAAY,EACZ,IAAuB,EACvB,IAAwB,EACxB,KAAc,EACH,EAAE;IACb,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC,GAAG,IAAI,CAAC;IACX,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7B,OAAO;QACL,GAAG,OAAO;QACV,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;KAC7D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAY,EACZ,IAAuB,EACvB,IAAwB,EAC+B,EAAE;IACzD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC3E,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,OAAO;QACL,GAAG,EAAE,KAAK;QACV,OAAO,EAAE;YACP;gBACE,SAAS;gBACT,CAAC,IAAI,EAAE,KAAK,CAAC;gBACb,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC/C;oBACE,KAAK;oBACL,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;oBAC7C,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;iBACrC;aACF;SACF;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAS,EAAE,OAAgB,EAAa,EAAE;IACxE,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACjF,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACrC,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC;QACpE,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU;YAAE,SAAS;QAC5D,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,EAAE;YAAE,SAAS;QAC3B,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YACpE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;YACnE,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,OAAgB,EAA2B,EAAE,CAC7D,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;IACxE,CAAC,CAAE,OAAmC;IACtC,CAAC,CAAC,EAAE,CAAC"}

package/dist/db/valueTypes.d.ts

@@ -0,0 +1,92 @@
+import type * as SchemaNS from "effect/Schema";
+import * as Schema from "effect/Schema";
+export type DbValueType = "string" | "long" | "double" | "boolean" | "ref" | "uuid" | "instant" | "bytes";
+export declare const toWireValueType: (vt: DbValueType) => `:db.type/${DbValueType}`;
+declare const RamoseVt: unique symbol;
+declare const RefTarget: unique symbol;
+declare const SelfRef: unique symbol;
+export type RamoseVt<VT extends DbValueType> = {
+    readonly [RamoseVt]: VT;
+};
+export type InferDbValueType<S> = S extends RamoseVt<infer V> ? V : S extends {
+    readonly ast: {
+        readonly _tag: infer Tag;
+    };
+} ? Tag extends "String" ? "string" : Tag extends "Number" ? "double" : Tag extends "Boolean" ? "boolean" : undefined : undefined;
+type JsOfVt<VT extends DbValueType> = VT extends "string" | "uuid" ? string : VT extends "long" | "double" | "ref" ? number : VT extends "boolean" ? boolean : VT extends "instant" ? Date : VT extends "bytes" ? Uint8Array : never;
+type PairableType<S extends Schema.Top, VT extends DbValueType> = Exclude<Schema.Schema.Type<S>, null | undefined> extends JsOfVt<VT> ? S : S & {
+    readonly "stored(schema, vt): this Schema's Type does not match the value type": true;
+};
+type PairableSchema<S extends Schema.Top, VT extends DbValueType> = S extends RamoseVt<infer V> ? [V, VT] extends [VT, V] ? PairableType<S, VT> : S & {
+    readonly "stored(schema, vt): already branded — pass the unbranded Schema": true;
+} : PairableType<S, VT>;
+/**
+ * Brand a raw Effect Schema with its storage form so {@link Field} can
+ * infer `:db.type/*`. The advanced-form hatch — `valueType` is not a
+ * field option.
+ *
+ * ```ts
+ * Field(stored(Schema.Literals(["on", "off"]), "string"))
+ * Field(stored(Schema.String, "uuid"))
+ * ```
+ *
+ * The pair is checked: `"instant"` needs a `Date`-typed schema,
+ * `"string"` / `"uuid"` a string-typed one, and so on. A mismatch
+ * (`stored(Schema.Boolean, "string")`) is a type error. An already
+ * branded helper (`Uuid`, `Long`, a previous `stored`) may only
+ * re-brand with the same vt — pass the unbranded Schema to change it.
+ */
+export declare const stored: <S extends Schema.Top, const VT extends DbValueType>(schema: PairableSchema<S, VT>, vt: VT) => S & RamoseVt<VT>;
+/**
+ * UUID as a canonical string. Lowers to `:db.type/uuid`. The `{ vt: 6, v }`
+ * tagged form is wire-internal — the public type is `string`.
+ */
+export declare const Uuid: SchemaNS.String & RamoseVt<"uuid">;
+export type Uuid = Schema.Schema.Type<typeof Uuid>;
+export type TargetedRef<TargetFields extends object = object, Ns extends string = string, Target = unknown> = Schema.Schema<number> & {
+    readonly [RefTarget]?: TargetFields;
+    readonly _resolve?: () => {
+        readonly fields: TargetFields;
+        readonly ns: Ns;
+    };
+    readonly _self?: boolean;
+    readonly _target?: Target;
+} & RamoseVt<"ref">;
+export type SelfMarker = {
+    readonly [SelfRef]: true;
+};
+type EntityLike = {
+    readonly _tag?: "Entity" | "Trait";
+    readonly fields: object;
+    readonly ns: string;
+};
+type RefFn = {
+    <const N extends EntityLike>(target: N): TargetedRef<N["fields"], N["ns"], N>;
+    <const N extends EntityLike>(target: () => N): TargetedRef<N["fields"], N["ns"], N>;
+    readonly self: TargetedRef<SelfMarker>;
+} & RamoseVt<"ref">;
+export declare const untargetedRef: SchemaNS.Finite & RamoseVt<"ref">;
+export declare const Ref: RefFn;
+export declare const rememberValueType: (schema: object, vt: DbValueType) => void;
+export type Ref = number;
+export declare const isSelfRefSchema: (schema: unknown) => boolean;
+export declare const refTargetOf: (schema: unknown) => (() => {
+    readonly _tag?: "Entity" | "Trait";
+    readonly fields: object;
+    readonly ns?: string;
+}) | undefined;
+/** Integer long. Lowers to `:db.type/long` (plain `Schema.Number` is double). */
+export declare const Long: SchemaNS.Finite & RamoseVt<"long">;
+export type Long = Schema.Schema.Type<typeof Long>;
+/** Instant. Lowers to `:db.type/instant`. */
+export declare const Instant: SchemaNS.Date & RamoseVt<"instant">;
+export type Instant = Schema.Schema.Type<typeof Instant>;
+/** Byte array. Lowers to `:db.type/bytes`. */
+export declare const Bytes: SchemaNS.Uint8Array & RamoseVt<"bytes">;
+export type Bytes = Schema.Schema.Type<typeof Bytes>;
+export declare const enumSchema: <const L extends readonly [string, ...string[]]>(values: L) => Schema.Literals<L> & RamoseVt<"string">;
+export declare const enumMembersOf: (schema: object) => readonly [string, ...string[]] | undefined;
+export declare const tryInferDbValueType: (schema: SchemaNS.Top, override?: DbValueType) => DbValueType | undefined;
+export declare const inferDbValueType: (schema: SchemaNS.Top, override?: DbValueType) => DbValueType;
+export {};
+//# sourceMappingURL=valueTypes.d.ts.map

package/dist/db/valueTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"valueTypes.d.ts","sourceRoot":"","sources":["../../src/db/valueTypes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC/C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,MAAM,MAAM,WAAW,GACnB,QAAQ,GACR,MAAM,GACN,QAAQ,GACR,SAAS,GACT,KAAK,GACL,MAAM,GACN,SAAS,GACT,OAAO,CAAC;AAEZ,eAAO,MAAM,eAAe,OAAQ,WAAW,KAAG,YAAY,WAAW,EACvD,CAAC;AAEnB,OAAO,CAAC,MAAM,QAAQ,EAAE,OAAO,MAAM,CAAC;AACtC,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAC;AACvC,OAAO,CAAC,MAAM,OAAO,EAAE,OAAO,MAAM,CAAC;AAErC,MAAM,MAAM,QAAQ,CAAC,EAAE,SAAS,WAAW,IAAI;IAC7C,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,CAAC,GACzD,CAAC,GACD,CAAC,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,CAAA;KAAE,CAAA;CAAE,GACtD,GAAG,SAAS,QAAQ,GAClB,QAAQ,GACR,GAAG,SAAS,QAAQ,GAClB,QAAQ,GACR,GAAG,SAAS,SAAS,GACnB,SAAS,GACT,SAAS,GACf,SAAS,CAAC;AAYhB,KAAK,MAAM,CAAC,EAAE,SAAS,WAAW,IAAI,EAAE,SAAS,QAAQ,GAAG,MAAM,GAC9D,MAAM,GACN,EAAE,SAAS,MAAM,GAAG,QAAQ,GAAG,KAAK,GAClC,MAAM,GACN,EAAE,SAAS,SAAS,GAClB,OAAO,GACP,EAAE,SAAS,SAAS,GAClB,IAAI,GACJ,EAAE,SAAS,OAAO,GAChB,UAAU,GACV,KAAK,CAAC;AAElB,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,WAAW,IAC5D,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,SAAS,MAAM,CAAC,EAAE,CAAC,GAC/D,CAAC,GACD,CAAC,GAAG;IACF,QAAQ,CAAC,sEAAsE,EAAE,IAAI,CAAC;CACvF,CAAC;AAER,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,WAAW,IAC9D,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,CAAC,GACvB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,GACrB,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,GACnB,CAAC,GAAG;IACF,QAAQ,CAAC,iEAAiE,EAAE,IAAI,CAAC;CAClF,GACH,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAE1B;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,SAAS,WAAW,UAC/D,cAAc,CAAC,CAAC,EAAE,EAAE,CAAC,MACzB,EAAE,KACL,CAAC,GAAG,QAAQ,CAAC,EAAE,CAIf,CAAC;AAEJ;;;GAGG;AACH,eAAO,MAAM,IAAI,oCAGhB,CAAC;AACF,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;AAEnD,MAAM,MAAM,WAAW,CACrB,YAAY,SAAS,MAAM,GAAG,MAAM,EACpC,EAAE,SAAS,MAAM,GAAG,MAAM,EAC1B,MAAM,GAAG,OAAO,IACd,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG;IAC1B,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM;QAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;KAAE,CAAC;IAC7E,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;AAEpB,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAEtD,KAAK,UAAU,GAAG;IAChB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAQF,KAAK,KAAK,GAAG;IACX,CAAC,KAAK,CAAC,CAAC,SAAS,UAAU,EACzB,MAAM,EAAE,CAAC,GACR,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC,KAAK,CAAC,CAAC,SAAS,UAAU,EACzB,MAAM,EAAE,MAAM,CAAC,GACd,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;CACxC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;AAEpB,eAAO,MAAM,aAAa,mCAGzB,CAAC;AAEF,eAAO,MAAM,GAAG,EAAE,KAgBR,CAAC;AAKX,eAAO,MAAM,iBAAiB,WACpB,MAAM,MACV,WAAW,KACd,IAEF,CAAC;AAEF,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AAEzB,eAAO,MAAM,eAAe,WAAY,OAAO,KAAG,OAGF,CAAC;AAEjD,eAAO,MAAM,WAAW,WACd,OAAO,KAEb,CAAC,MAAM;IACL,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC,GACF,SAkBH,CAAC;AAEF,iFAAiF;AACjF,eAAO,MAAM,IAAI,oCAGhB,CAAC;AACF,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;AAEnD,6CAA6C;AAC7C,eAAO,MAAM,OAAO,qCAGnB,CAAC;AACF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAC;AAEzD,8CAA8C;AAC9C,eAAO,MAAM,KAAK,yCAGjB,CAAC;AACF,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAC;AAIrD,eAAO,MAAM,UAAU,GACrB,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,UAEtC,CAAC,KACR,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAOxC,CAAC;AAEF,eAAO,MAAM,aAAa,WAChB,MAAM,KACb,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,SAAoC,CAAC;AAEzE,eAAO,MAAM,mBAAmB,WACtB,QAAQ,CAAC,GAAG,aACT,WAAW,KACrB,WAAW,GAAG,SAchB,CAAC;AAEF,eAAO,MAAM,gBAAgB,WACnB,QAAQ,CAAC,GAAG,aACT,WAAW,KACrB,WAMF,CAAC"}

package/dist/db/valueTypes.js

@@ -0,0 +1,105 @@
+import * as Schema from "effect/Schema";
+import { isComposer } from "./Composer.js";
+export const toWireValueType = (vt) => `:db.type/${vt}`;
+const known = new WeakMap();
+const asVt = (schema, vt) => {
+    known.set(schema, vt);
+    return schema;
+};
+/**
+ * Brand a raw Effect Schema with its storage form so {@link Field} can
+ * infer `:db.type/*`. The advanced-form hatch — `valueType` is not a
+ * field option.
+ *
+ * ```ts
+ * Field(stored(Schema.Literals(["on", "off"]), "string"))
+ * Field(stored(Schema.String, "uuid"))
+ * ```
+ *
+ * The pair is checked: `"instant"` needs a `Date`-typed schema,
+ * `"string"` / `"uuid"` a string-typed one, and so on. A mismatch
+ * (`stored(Schema.Boolean, "string")`) is a type error. An already
+ * branded helper (`Uuid`, `Long`, a previous `stored`) may only
+ * re-brand with the same vt — pass the unbranded Schema to change it.
+ */
+export const stored = (schema, vt) => asVt(schema.annotate({ identifier: `ramose/stored/${vt}` }), vt);
+/**
+ * UUID as a canonical string. Lowers to `:db.type/uuid`. The `{ vt: 6, v }`
+ * tagged form is wire-internal — the public type is `string`.
+ */
+export const Uuid = asVt(Schema.String.annotate({ identifier: "ramose/uuid" }), "uuid");
+const resolveRefTarget = (target) => isComposer(target)
+    ? () => target
+    : target;
+export const untargetedRef = asVt(Schema.Finite.annotate({ identifier: "ramose/ref" }), "ref");
+export const Ref = Object.assign((target) => Object.assign(asVt(Schema.Finite.annotate({ identifier: "ramose/ref" }), "ref"), {
+    _resolve: resolveRefTarget(target),
+}), {
+    self: Object.assign(asVt(Schema.Finite.annotate({ identifier: "ramose/ref-self" }), "ref"), { _self: true }),
+});
+known.set(Ref, "ref");
+known.set(Ref.self, "ref");
+export const rememberValueType = (schema, vt) => {
+    known.set(schema, vt);
+};
+export const isSelfRefSchema = (schema) => (typeof schema === "object" || typeof schema === "function") &&
+    schema !== null &&
+    schema._self === true;
+export const refTargetOf = (schema) => {
+    if ((typeof schema !== "object" && typeof schema !== "function") || schema === null) {
+        return undefined;
+    }
+    const resolve = schema._resolve;
+    if (resolve === undefined)
+        return undefined;
+    return () => {
+        const target = resolve();
+        return {
+            ...(target._tag !== undefined
+                ? { _tag: target._tag }
+                : {}),
+            fields: target.fields ?? {},
+            ...(target.ns !== undefined && { ns: target.ns }),
+        };
+    };
+};
+/** Integer long. Lowers to `:db.type/long` (plain `Schema.Number` is double). */
+export const Long = asVt(Schema.Finite.annotate({ identifier: "ramose/long" }), "long");
+/** Instant. Lowers to `:db.type/instant`. */
+export const Instant = asVt(Schema.Date.annotate({ identifier: "ramose/instant" }), "instant");
+/** Byte array. Lowers to `:db.type/bytes`. */
+export const Bytes = asVt(Schema.Uint8Array.annotate({ identifier: "ramose/bytes" }), "bytes");
+const enumMembers = new WeakMap();
+export const enumSchema = (values) => {
+    if (values.length === 0) {
+        throw new Error("ramose/schema: Enum([...]) needs at least one value");
+    }
+    const schema = asVt(Schema.Literals(values), "string");
+    enumMembers.set(schema, values);
+    return schema;
+};
+export const enumMembersOf = (schema) => enumMembers.get(schema);
+export const tryInferDbValueType = (schema, override) => {
+    if (override !== undefined)
+        return override;
+    const mapped = known.get(schema);
+    if (mapped !== undefined)
+        return mapped;
+    switch (schema.ast._tag) {
+        case "String":
+            return "string";
+        case "Number":
+            return "double";
+        case "Boolean":
+            return "boolean";
+        default:
+            return undefined;
+    }
+};
+export const inferDbValueType = (schema, override) => {
+    const vt = tryInferDbValueType(schema, override);
+    if (vt !== undefined)
+        return vt;
+    throw new Error(`ramose/schema: cannot infer value type from this Schema (ast._tag=${schema.ast._tag}). Wrap it with stored(schema, vt).`);
+};
+//# sourceMappingURL=valueTypes.js.map

package/dist/db/valueTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"valueTypes.js","sourceRoot":"","sources":["../../src/db/valueTypes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAY3C,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,EAAe,EAA6B,EAAE,CAC5E,YAAY,EAAE,EAAE,CAAC;AAsBnB,MAAM,KAAK,GAAG,IAAI,OAAO,EAAuB,CAAC;AAEjD,MAAM,IAAI,GAAG,CACX,MAAS,EACT,EAAM,EACY,EAAE;IACpB,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACtB,OAAO,MAA0B,CAAC;AACpC,CAAC,CAAC;AA8BF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,MAA6B,EAC7B,EAAM,EACY,EAAE,CACpB,IAAI,CACD,MAAY,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAM,EAClE,EAAE,CACH,CAAC;AAEJ;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CACtB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,EACrD,MAAM,CACP,CAAC;AAsBF,MAAM,gBAAgB,GAAG,CACvB,MAAqB,EACV,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;IAChC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAW;IACnB,CAAC,CAAC,MAAiB,CAAC;AAYtB,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAC/B,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,EACpD,KAAK,CACN,CAAC;AAEF,MAAM,CAAC,MAAM,GAAG,GAAU,MAAM,CAAC,MAAM,CACrC,CACE,MAAqB,EACiB,EAAE,CACxC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE;IAC/E,QAAQ,EAAE,gBAAgB,CAAC,MAAM,CAAC;CACnC,CAAyC,EAC5C;IACE,IAAI,EAAE,MAAM,CAAC,MAAM,CACjB,IAAI,CACF,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,EACzD,KAAK,CACN,EACD,EAAE,KAAK,EAAE,IAAa,EAAE,CACE;CAC7B,CACO,CAAC;AAEX,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AACtB,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAE3B,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAAc,EACd,EAAe,EACT,EAAE;IACR,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AACxB,CAAC,CAAC;AAIF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAe,EAAW,EAAE,CAC1D,CAAC,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,UAAU,CAAC;IAC5D,MAAM,KAAK,IAAI;IACd,MAA8B,CAAC,KAAK,KAAK,IAAI,CAAC;AAEjD,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,MAAe,EAOH,EAAE;IACd,IAAI,CAAC,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,UAAU,CAAC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAI,MAEf,CAAC,QAAQ,CAAC;IACZ,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,GAAG,EAAE;QACV,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC;QACzB,OAAO;YACL,GAAG,CAAE,MAAiD,CAAC,IAAI,KAAK,SAAS;gBACvE,CAAC,CAAC,EAAE,IAAI,EAAG,MAAgD,CAAC,IAAI,EAAE;gBAClE,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE;YAC3B,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,SAAS,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;SAClD,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,iFAAiF;AACjF,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CACtB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,EACrD,MAAM,CACP,CAAC;AAGF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,CACzB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC,EACtD,SAAS,CACV,CAAC;AAGF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,KAAK,GAAG,IAAI,CACvB,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,EAC1D,OAAO,CACR,CAAC;AAGF,MAAM,WAAW,GAAG,IAAI,OAAO,EAA0C,CAAC;AAE1E,MAAM,CAAC,MAAM,UAAU,GAAG,CAGxB,MAAS,EACgC,EAAE;IAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;IACvD,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,MAAc,EAC8B,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAEzE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,MAAoB,EACpB,QAAsB,EACG,EAAE;IAC3B,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,QAAQ,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAoB,EACpB,QAAsB,EACT,EAAE;IACf,MAAM,EAAE,GAAG,mBAAmB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjD,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,IAAI,KAAK,CACb,qEAAqE,MAAM,CAAC,GAAG,CAAC,IAAI,qCAAqC,CAC1H,CAAC;AACJ,CAAC,CAAC"}

package/dist/errorHttp.d.ts

@@ -0,0 +1,27 @@
+import { type DbError } from "./db/Errors.ts";
+export interface ErrorHttp {
+    readonly status: number;
+    readonly body: Record<string, unknown>;
+    readonly headers?: Record<string, string>;
+}
+/** Status + allowlisted JSON body/headers for a {@link DbError}. */
+export declare const errorToHttp: (err: DbError) => ErrorHttp;
+/** HTTP status for a {@link DbError}. */
+export declare const statusOf: (err: DbError) => number;
+/**
+ * A `Response` for a {@link DbError}. Use {@link errorToHttp} when the
+ * framework wants status + body rather than a Fetch `Response`.
+ */
+export declare const errorResponse: (err: DbError) => Response;
+/**
+ * Classify `unknown` as a {@link DbError} when it is one; otherwise wrap
+ * as {@link InternalError}. Useful at a Worker boundary that `catch`es
+ * anything.
+ *
+ * Worker-only tags (`NotFound`, `BadRequest`, `Internal`, `UpstreamError`)
+ * are not {@link DbError}s and become `InternalError` (500) here. For the
+ * peer Worker's own request Effect, use `fromThrown` + `toHttp` instead —
+ * this helper does not know about those tags.
+ */
+export declare const toDbError: (err: unknown) => DbError;
+//# sourceMappingURL=errorHttp.d.ts.map

package/dist/errorHttp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errorHttp.d.ts","sourceRoot":"","sources":["../src/errorHttp.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,OAAO,EAAkC,MAAM,gBAAgB,CAAC;AAM9E,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC3C;AAmDD,oEAAoE;AACpE,eAAO,MAAM,WAAW,QAAS,OAAO,KAAG,SAS1C,CAAC;AAEF,yCAAyC;AACzC,eAAO,MAAM,QAAQ,QAAS,OAAO,KAAG,MAAiC,CAAC;AAE1E;;;GAGG;AACH,eAAO,MAAM,aAAa,QAAS,OAAO,KAAG,QAS5C,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,QAAS,OAAO,KAAG,OAKxC,CAAC"}

package/dist/errorHttp.js

@@ -0,0 +1,95 @@
+import { InternalError, isDatabaseError } from "./db/Errors.js";
+import { publicErrorBody, publicResponseHeaders, } from "./worker/public-observation.js";
+const errorToHttpUnchecked = (err) => {
+    switch (err._tag) {
+        case "TxRejected":
+            return {
+                status: 409,
+                body: { error: "request rejected" },
+            };
+        case "Unavailable":
+            return {
+                status: 503,
+                body: { error: "unavailable" },
+                headers: { "retry-after": String(Math.ceil(err.retryAfterMs / 1000)) },
+            };
+        case "InvalidRequest":
+            return { status: 400, body: { error: "invalid request" } };
+        case "DatabaseNotFound":
+            return { status: 404, body: { error: "not found" } };
+        case "Unauthorized":
+            return {
+                status: err.status ?? (err.code === "policy" ? 403 : 401),
+                body: { error: "unauthorized" },
+            };
+        case "QueryBudgetExceeded":
+            return {
+                status: 413,
+                body: {
+                    error: "query budget exceeded",
+                    code: "query/budget-exceeded",
+                },
+            };
+        case "InternalError":
+            return { status: 500, body: { error: "internal error" } };
+        case "NetworkError":
+            return { status: 500, body: { error: "internal error" } };
+        case "OperationRejected":
+            return {
+                status: 409,
+                body: {
+                    error: err.message,
+                    tag: "OperationRejected",
+                    message: err.message,
+                    operation: err.operation,
+                    ...(err.step === undefined ? {} : { step: err.step }),
+                    ...(err.reason === undefined ? {} : { reason: err.reason }),
+                },
+            };
+    }
+};
+/** Status + allowlisted JSON body/headers for a {@link DbError}. */
+export const errorToHttp = (err) => {
+    const http = errorToHttpUnchecked(err);
+    return {
+        ...http,
+        body: publicErrorBody(http.body),
+        ...(http.headers === undefined
+            ? {}
+            : { headers: publicResponseHeaders(http.headers) }),
+    };
+};
+/** HTTP status for a {@link DbError}. */
+export const statusOf = (err) => errorToHttp(err).status;
+/**
+ * A `Response` for a {@link DbError}. Use {@link errorToHttp} when the
+ * framework wants status + body rather than a Fetch `Response`.
+ */
+export const errorResponse = (err) => {
+    const http = errorToHttp(err);
+    return new Response(JSON.stringify(http.body), {
+        status: http.status,
+        headers: {
+            "content-type": "application/json",
+            ...publicResponseHeaders(http.headers),
+        },
+    });
+};
+/**
+ * Classify `unknown` as a {@link DbError} when it is one; otherwise wrap
+ * as {@link InternalError}. Useful at a Worker boundary that `catch`es
+ * anything.
+ *
+ * Worker-only tags (`NotFound`, `BadRequest`, `Internal`, `UpstreamError`)
+ * are not {@link DbError}s and become `InternalError` (500) here. For the
+ * peer Worker's own request Effect, use `fromThrown` + `toHttp` instead —
+ * this helper does not know about those tags.
+ */
+export const toDbError = (err) => {
+    if (isDatabaseError(err))
+        return err;
+    return new InternalError({
+        message: err instanceof Error ? err.message : String(err),
+    });
+};
+//# sourceMappingURL=errorHttp.js.map

package/dist/errorHttp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errorHttp.js","sourceRoot":"","sources":["../src/errorHttp.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,aAAa,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC9E,OAAO,EACL,eAAe,EACf,qBAAqB,GACtB,MAAM,gCAAgC,CAAC;AAQxC,MAAM,oBAAoB,GAAG,CAAC,GAAY,EAAa,EAAE;IACvD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,YAAY;YACf,OAAO;gBACL,MAAM,EAAE,GAAG;gBACX,IAAI,EAAE,EAAE,KAAK,EAAE,kBAAkB,EAAE;aACpC,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO;gBACL,MAAM,EAAE,GAAG;gBACX,IAAI,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE;gBAC9B,OAAO,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC,CAAC,EAAE;aACvE,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,EAAE,CAAC;QAC7D,KAAK,kBAAkB;YACrB,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC;QACvD,KAAK,cAAc;YACjB,OAAO;gBACL,MAAM,EAAE,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;gBACzD,IAAI,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;aAChC,CAAC;QACJ,KAAK,qBAAqB;YACxB,OAAO;gBACL,MAAM,EAAE,GAAG;gBACX,IAAI,EAAE;oBACJ,KAAK,EAAE,uBAAuB;oBAC9B,IAAI,EAAE,uBAAuB;iBAC9B;aACF,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,CAAC;QAC5D,KAAK,cAAc;YACjB,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,CAAC;QAC5D,KAAK,mBAAmB;YACtB,OAAO;gBACL,MAAM,EAAE,GAAG;gBACX,IAAI,EAAE;oBACJ,KAAK,EAAE,GAAG,CAAC,OAAO;oBAClB,GAAG,EAAE,mBAAmB;oBACxB,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;oBACrD,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;iBAC5D;aACF,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,GAAY,EAAa,EAAE;IACrD,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IACvC,OAAO;QACL,GAAG,IAAI;QACP,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS;YAC5B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,OAAO,EAAE,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;KACtD,CAAC;AACJ,CAAC,CAAC;AAEF,yCAAyC;AACzC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,GAAY,EAAU,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;AAE1E;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,GAAY,EAAY,EAAE;IACtD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC7C,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE;YACP,cAAc,EAAE,kBAAkB;YAClC,GAAG,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC;SACvC;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAY,EAAW,EAAE;IACjD,IAAI,eAAe,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IACrC,OAAO,IAAI,aAAa,CAAC;QACvB,OAAO,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAC1D,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,7 @@
+export { type AuthConfig, type Claims, claims, type ClaimsInput, type ClaimsPolicy, } from "./Auth.ts";
+export { Database } from "./Database.ts";
+export { DEFAULT_JWT_MAX_TTL, type AuthEnvValue, type ServerAuth, Server, serverBinding, } from "./Server.ts";
+export { PEER_COMPAT } from "./peer.ts";
+export { providers, Providers } from "./Providers.ts";
+export { type ErrorHttp, errorResponse, errorToHttp, statusOf, toDbError } from "./errorHttp.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,UAAU,EACf,KAAK,MAAM,EACX,MAAM,EACN,KAAK,WAAW,EAChB,KAAK,YAAY,GAClB,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EACL,mBAAmB,EACnB,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,MAAM,EACN,aAAa,GACd,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEtD,OAAO,EAAE,KAAK,SAAS,EAAE,aAAa,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/index.js

@@ -0,0 +1,7 @@
+export { claims, } from "./Auth.js";
+export { Database } from "./Database.js";
+export { DEFAULT_JWT_MAX_TTL, Server, serverBinding, } from "./Server.js";
+export { PEER_COMPAT } from "./peer.js";
+export { providers, Providers } from "./Providers.js";
+export { errorResponse, errorToHttp, statusOf, toDbError } from "./errorHttp.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,GAGP,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EACL,mBAAmB,EAGnB,MAAM,EACN,aAAa,GACd,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEtD,OAAO,EAAkB,aAAa,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC"}