@lovrozagar/honey 0.6.5 → 0.7.0

package/dist/ts-type-emitter.js

@@ -0,0 +1,150 @@
+/** JSON Schema IR → TypeScript type string emitter. Mirrors jsonSchemaToTS logic case-for-case. */
+import { arrayOf, intersectionOf, literalType, unionOf } from "./type-emitter.js";
+/* a cycle guard only — resolved specs carry no cycles, so legitimately deep nesting is kept */
+const MAX_DEPTH = 64;
+/* TS keywords that are valid identifiers but require quoting as object property keys */
+const TS_RESERVED = new Set([
+    "break",
+    "case",
+    "catch",
+    "class",
+    "const",
+    "continue",
+    "debugger",
+    "default",
+    "delete",
+    "do",
+    "else",
+    "enum",
+    "export",
+    "extends",
+    "false",
+    "finally",
+    "for",
+    "function",
+    "if",
+    "import",
+    "in",
+    "instanceof",
+    "new",
+    "null",
+    "return",
+    "super",
+    "switch",
+    "this",
+    "throw",
+    "true",
+    "try",
+    "typeof",
+    "var",
+    "void",
+    "while",
+    "with",
+    "yield",
+    "let",
+    "static",
+    "implements",
+    "interface",
+    "package",
+    "private",
+    "protected",
+    "public",
+    "abstract",
+    "as",
+    "async",
+    "await",
+    "constructor",
+    "declare",
+    "from",
+    "get",
+    "infer",
+    "is",
+    "keyof",
+    "module",
+    "namespace",
+    "never",
+    "of",
+    "readonly",
+    "require",
+    "set",
+    "satisfies",
+    "symbol",
+    "type",
+    "unique",
+    "unknown",
+    "override",
+]);
+/**
+ * `binary` is the TS type for {type:"string", format:"binary"}: a string inside JSON, a Blob
+ * (File included) inside a multipart form body.
+ */
+export function irToTs(ir, depth = 0, binary = "string") {
+    if (depth > MAX_DEPTH)
+        return "unknown";
+    switch (ir.kind) {
+        case "scalar":
+            return emitScalar(ir);
+        case "const":
+            return literalType(ir.value);
+        case "object":
+            return emitObject(ir, depth, binary);
+        case "array": {
+            return arrayOf(irToTs(ir.items, depth + 1, binary));
+        }
+        case "tuple":
+            return `[${ir.items.map((i) => irToTs(i, depth + 1, binary)).join(", ")}]`;
+        case "union":
+            return unionOf(ir.variants.map((v) => irToTs(v, depth + 1, binary)));
+        case "allOf":
+            /* `(A | B) & C`, never `A | B & C` */
+            return intersectionOf(ir.parts.map((p) => irToTs(p, depth + 1, binary)));
+        /* refs are resolved before emit; one left over names nothing this file declares */
+        case "ref":
+            return "unknown";
+        case "nullable": {
+            return unionOf([irToTs(ir.inner, depth + 1, binary), "null"]);
+        }
+        /* binary kind arises from {type: "string", format: "binary"}; see `binary` above */
+        case "binary":
+            return binary;
+        case "unknown":
+            return "unknown";
+    }
+}
+function emitScalar(ir) {
+    if (ir.enum) {
+        return unionOf(ir.enum.map(literalType));
+    }
+    if (ir.type === "string")
+        return "string";
+    if (ir.type === "number" || ir.type === "integer")
+        return "number";
+    if (ir.type === "boolean")
+        return "boolean";
+    if (ir.type === "null")
+        return "null";
+    return "unknown";
+}
+function emitObject(ir, depth, binary) {
+    const { fields, additional } = ir;
+    if (fields.length === 0) {
+        if (additional) {
+            return `Record<string, ${irToTs(additional, depth + 1, binary)}>`;
+        }
+        return "Record<string, unknown>";
+    }
+    /* code-unit order: the same output on every machine, whatever its locale */
+    const sortedFields = fields.slice().sort((a, b) => (a.name < b.name ? -1 : a.name > b.name ? 1 : 0));
+    const entries = sortedFields.map((field) => {
+        const opt = field.required ? "" : "?";
+        const needsQuote = !/^[a-zA-Z_$][a-zA-Z0-9_$]*$/.test(field.name) || TS_RESERVED.has(field.name);
+        const key = needsQuote ? JSON.stringify(field.name) : field.name;
+        return `${key}${opt}: ${irToTs(field.schema, depth + 1, binary)}`;
+    });
+    /* an index signature beside fields of other types is TS2411; an intersection says the same thing */
+    if (additional) {
+        return `{ ${entries.join("; ")} } & { [k: string]: ${irToTs(additional, depth + 1, binary)} }`;
+    }
+    return `{ ${entries.join("; ")} }`;
+}
+//# sourceMappingURL=ts-type-emitter.js.map

package/dist/ts-type-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-type-emitter.js","sourceRoot":"","sources":["../src/ts-type-emitter.ts"],"names":[],"mappings":"AAAA,mGAAmG;AAGnG,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAEjF,+FAA+F;AAC/F,MAAM,SAAS,GAAG,EAAE,CAAA;AAEpB,wFAAwF;AACxF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IAC3B,OAAO;IACP,MAAM;IACN,OAAO;IACP,OAAO;IACP,OAAO;IACP,UAAU;IACV,UAAU;IACV,SAAS;IACT,QAAQ;IACR,IAAI;IACJ,MAAM;IACN,MAAM;IACN,QAAQ;IACR,SAAS;IACT,OAAO;IACP,SAAS;IACT,KAAK;IACL,UAAU;IACV,IAAI;IACJ,QAAQ;IACR,IAAI;IACJ,YAAY;IACZ,KAAK;IACL,MAAM;IACN,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,MAAM;IACN,OAAO;IACP,MAAM;IACN,KAAK;IACL,QAAQ;IACR,KAAK;IACL,MAAM;IACN,OAAO;IACP,MAAM;IACN,OAAO;IACP,KAAK;IACL,QAAQ;IACR,YAAY;IACZ,WAAW;IACX,SAAS;IACT,SAAS;IACT,WAAW;IACX,QAAQ;IACR,UAAU;IACV,IAAI;IACJ,OAAO;IACP,OAAO;IACP,aAAa;IACb,SAAS;IACT,MAAM;IACN,KAAK;IACL,OAAO;IACP,IAAI;IACJ,OAAO;IACP,QAAQ;IACR,WAAW;IACX,OAAO;IACP,IAAI;IACJ,UAAU;IACV,SAAS;IACT,KAAK;IACL,WAAW;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,SAAS;IACT,UAAU;CACV,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,EAAY,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,GAAG,QAAQ;IAChE,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,SAAS,CAAA;IAEvC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ;YACZ,OAAO,UAAU,CAAC,EAAE,CAAC,CAAA;QAEtB,KAAK,OAAO;YACX,OAAO,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;QAE7B,KAAK,QAAQ;YACZ,OAAO,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QAErC,KAAK,OAAO,EAAE,CAAC;YACd,OAAO,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;QACpD,CAAC;QAED,KAAK,OAAO;YACX,OAAO,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QAE3E,KAAK,OAAO;YACX,OAAO,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;QAErE,KAAK,OAAO;YACX,sCAAsC;YACtC,OAAO,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;QAEzE,mFAAmF;QACnF,KAAK,KAAK;YACT,OAAO,SAAS,CAAA;QAEjB,KAAK,UAAU,EAAE,CAAC;YACjB,OAAO,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;QAC9D,CAAC;QAED,oFAAoF;QACpF,KAAK,QAAQ;YACZ,OAAO,MAAM,CAAA;QAEd,KAAK,SAAS;YACb,OAAO,SAAS,CAAA;IAClB,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,EAAyC;IAC5D,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QACb,OAAO,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAA;IACzC,CAAC;IAED,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAA;IACzC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAA;IAClE,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC3C,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAA;IACrC,OAAO,SAAS,CAAA;AACjB,CAAC;AAED,SAAS,UAAU,CAAC,EAAyC,EAAE,KAAa,EAAE,MAAc;IAC3F,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,CAAA;IAEjC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,UAAU,EAAE,CAAC;YAChB,OAAO,kBAAkB,MAAM,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAA;QAClE,CAAC;QACD,OAAO,yBAAyB,CAAA;IACjC,CAAC;IAED,4EAA4E;IAC5E,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAEpG,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAA;QACrC,MAAM,UAAU,GAAG,CAAC,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAChG,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAA;QAChE,OAAO,GAAG,GAAG,GAAG,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,EAAE,CAAA;IAClE,CAAC,CAAC,CAAA;IAEF,oGAAoG;IACpG,IAAI,UAAU,EAAE,CAAC;QAChB,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,UAAU,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,IAAI,CAAA;IAC/F,CAAC;IAED,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;AACnC,CAAC"}

package/dist/type-emitter.d.ts

@@ -1,10 +1,24 @@
 import type { StandardSchemaLike } from "./types.ts";
+/** A property key in a type literal: bare when it is an identifier, a string literal otherwise. */
+export declare function quoteKey(key: string): string;
+/** A TypeScript literal type for a runtime value; anything without one widens to its type. */
+export declare function literalType(value: unknown): string;
+/** Wrap element type in parens when union, intersection or function binds looser than `[]` */
+export declare function arrayOf(el: string): string;
+export declare function unionOf(parts: string[]): string;
+/** `(A | B) & C`, never `A | B & C` — `&` binds tighter than `|`. */
+export declare function intersectionOf(parts: string[]): string;
 /**
- * Collects named aliases for recursive `z.lazy` schemas so `generateTypes`
- * can hoist `type _LazyN = …` before `Routes`.
+ * Collects named aliases for recursive schemas — `z.lazy`, and Zod 4 getter recursion
+ * (`get children() { return z.array(Node) }`) — so `generateTypes` can hoist `type _LazyN = …`
+ * before `Routes`.
  */
 export type TypeEmitState = {
     aliases: Map<string, string>;
+    /** Schemas being emitted right now; re-entering one is recursion and gets a name */
+    inProgress: Map<object, {
+        name: string | null;
+    }>;
     lazyNames: WeakMap<object, string>;
     nextId: number;
     reserved: Set<string>;

package/dist/type-emitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-emitter.d.ts","sourceRoot":"","sources":["../src/type-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAcpD;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5B,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACrB,CAAA;AAED,wBAAgB,mBAAmB,IAAI,aAAa,CAOnD;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,kBAAkB,EAAE,KAAK,CAAC,EAAE,aAAa,GAAG,MAAM,CAQxF"}
+{"version":3,"file":"type-emitter.d.ts","sourceRoot":"","sources":["../src/type-emitter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAKpD,mGAAmG;AACnG,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE5C;AAED,8FAA8F;AAC9F,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CASlD;AAwBD,8FAA8F;AAC9F,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAE1C;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAI/C;AAED,qEAAqE;AACrE,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAEtD;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5B,oFAAoF;IACpF,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAA;IAChD,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACrB,CAAA;AAED,wBAAgB,mBAAmB,IAAI,aAAa,CAQnD;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,kBAAkB,EAAE,KAAK,CAAC,EAAE,aAAa,GAAG,MAAM,CAQxF"}