@elaraai/east 1.0.67 → 1.0.69

package/dist/src/codegen/doc.spec.js

@@ -0,0 +1,86 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The layout document algebra (#639): the fits-or-breaks rule, hard lines,
+ * hugging, member chains — each pinned on a small document, so the
+ * printers' layout rests on stated semantics rather than on their output.
+ */
+import { describe, test } from "node:test";
+import assert from "node:assert/strict";
+import { bracket, callArgs, choice, flat, fn, group, hardline, hug, ifBreak, indent, join, line, render, softline, willBreak, } from "./doc.js";
+describe("codegen doc: the layout algebra", () => {
+    test("a group is flat when it fits the remaining width and breaks otherwise", () => {
+        const items = ["aaaa", "bbbb", "cccc"];
+        assert.equal(render(bracket("[", items, "]"), 40), "[aaaa, bbbb, cccc]");
+        assert.equal(render(bracket("[", items, "]"), 10), "[\n  aaaa,\n  bbbb,\n  cccc,\n]");
+        // what follows the group on its line counts: the same list breaks when a tail no longer fits
+        assert.equal(render([bracket("[", items, "]"), " + tail"], 20), "[\n  aaaa,\n  bbbb,\n  cccc,\n] + tail");
+        assert.equal(render(bracket("{", ["a: 1"], "}", " "), 80), "{ a: 1 }");
+        assert.equal(render(bracket("{", [], "}", " "), 80), "{}");
+        assert.equal(flat(bracket("[", items, "]")), "[aaaa, bbbb, cccc]");
+    });
+    test("nested groups take their own turn: the outer breaks, an inner that fits stays flat", () => {
+        const inner = bracket("[", ["1n", "2n"], "]");
+        const outer = bracket("(", ["first", inner, "third"], ")");
+        assert.equal(render(["f", outer], 14), "f(\n  first,\n  [1n, 2n],\n  third,\n)");
+    });
+    test("a hard line breaks every group around it, and a block body renders in break mode", () => {
+        const body = group(["{", indent([hardline, bracket("(", ["a", "b"], ")")]), hardline, "}"]);
+        assert.equal(render(["x = ", bracket("[", [body], "]")], 80), "x = [\n  {\n    (a, b)\n  },\n]");
+        assert.ok(willBreak(body));
+        assert.ok(!willBreak(bracket("[", ["a"], "]")));
+    });
+    test("a choice takes the first option that fits up to its first line break, else the last", () => {
+        const block = fn(group(["() => {", indent([hardline, "body;"]), hardline, "}"]));
+        // the hug: the head fits, so the block stays on the line and breaks inside
+        assert.equal(render(["f", callArgs(["a", block])], 20), "f(a, () => {\n  body;\n})");
+        // the head does not fit: every argument on its own line
+        assert.equal(render(["f", callArgs(["a-long-argument", block])], 20), "f(\n  a-long-argument,\n  () => {\n    body;\n  },\n)");
+        // a plain choice
+        const c = choice("short", "a much longer fallback");
+        assert.equal(render(c, 10), "short");
+        assert.equal(render(["0123456789", c], 12), "0123456789a much longer fallback");
+    });
+    test("a hug never hides a block from the plain groups around the call: they break out", () => {
+        const block = fn(group(["($, x) => {", indent([hardline, "body;"]), hardline, "}"]));
+        const call = ["xs.map", callArgs([block])];
+        assert.equal(render(["const y = $.const", callArgs([call]), ";"], 80), "const y = $.const(\n  xs.map(($, x) => {\n    body;\n  }),\n);");
+        // the call itself hugs
+        assert.equal(render(["return ", call, ";"], 80), "return xs.map(($, x) => {\n  body;\n});");
+    });
+    test("a sole literal argument is hugged; a trailing literal after other arguments is too", () => {
+        const lit = hug(bracket("{", ["a: 1", "b: 2"], "}", " "));
+        assert.equal(render(["f", callArgs([lit])], 12), "f({\n  a: 1,\n  b: 2,\n})");
+        assert.equal(render(["f", callArgs(["x", lit])], 15), "f(x, {\n  a: 1,\n  b: 2,\n})");
+        // a trailing non-literal is not: the call breaks out, the literal then fitting its own line
+        assert.equal(render(["f", callArgs([lit, "T"])], 19), "f(\n  { a: 1, b: 2 },\n  T,\n)");
+    });
+    test("a choice's fallback options never break the groups around it: a chain that fits stays on its line", () => {
+        const chain = choice(["x", ".a()", ".b()", ".c()"], group(["x", indent([hardline, ".a()", hardline, ".b()", hardline, ".c()"])]));
+        assert.equal(render(["const y = $.let", callArgs([chain]), ";"], 80), "const y = $.let(x.a().b().c());");
+        assert.equal(render(["const y = $.let", callArgs([chain]), ";"], 20), "const y = $.let(\n  x.a().b().c(),\n);");
+        assert.equal(render(["const y = $.let", callArgs([chain]), ";"], 12), "const y = $.let(\n  x\n    .a()\n    .b()\n    .c(),\n);");
+        assert.ok(!willBreak(chain));
+    });
+    test("a hugged concise arrow that does not fit breaks after its arrow, the close on its own line; two trailing callbacks hug neither", () => {
+        const concise = (names, body) => fn(group([`(${names}) =>`, indent([line, body])]), group([`(${names}) =>`, indent([line, body]), ifBreak(","), softline]));
+        const long = "East.equal(_f1(v, k), 4n).ifElse(a, b)";
+        assert.equal(render(["return a.firstMap", callArgs([concise("$, v, k", long)]), ";"], 40), "return a.firstMap(($, v, k) =>\n  East.equal(_f1(v, k), 4n).ifElse(a, b),\n);");
+        assert.equal(render(["x.ifElse", callArgs([concise("$", "aaaaaaaaaaaaaaaa"), concise("$", "bbbbbbbbbbbbbbbb")]), ";"], 40), "x.ifElse(\n  ($) => aaaaaaaaaaaaaaaa,\n  ($) => bbbbbbbbbbbbbbbb,\n);");
+    });
+    test("a leading block before one short argument is hugged (reduce(fn, init))", () => {
+        const block = fn(group(["($, acc, x) => {", indent([hardline, "body;"]), hardline, "}"]));
+        assert.equal(render(["xs.reduce", callArgs([block, "0n"])], 80), "xs.reduce(($, acc, x) => {\n  body;\n}, 0n)");
+    });
+    test("lines: line is a space or a newline, softline nothing or a newline, and trailing spaces are trimmed", () => {
+        const g = group(["a", line, "b", softline, "c"]);
+        assert.equal(render(g, 80), "a bc");
+        assert.equal(render(g, 2), "a\nb\nc");
+        assert.equal(render(["x ", hardline, "y"], 80), "x\ny");
+        assert.equal(render(indent(["a", hardline, "b"]), 80, "    "), "a\n    b");
+        assert.equal(render(join(", ", ["1", "2", "3"]), 80), "1, 2, 3");
+    });
+});
+//# sourceMappingURL=doc.spec.js.map

package/dist/src/codegen/doc.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"doc.spec.js","sourceRoot":"","sources":["../../../src/codegen/doc.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EACK,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAClH,SAAS,GACV,MAAM,UAAU,CAAC;AAElB,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;QACjF,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,oBAAoB,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,iCAAiC,CAAC,CAAC;QACtF,6FAA6F;QAC7F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,wCAAwC,CAAC,CAAC;QAC1G,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;QACvE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC9F,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,wCAAwC,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC5F,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,iCAAiC,CAAC,CAAC;QACjG,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC/F,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACjF,2EAA2E;QAC3E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,2BAA2B,CAAC,CAAC;QACrF,wDAAwD;QACxD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,uDAAuD,CAAC,CAAC;QAC/H,iBAAiB;QACjB,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,kCAAkC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;QAC3F,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACrF,MAAM,IAAI,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,mBAAmB,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EACnE,gEAAgE,CAAC,CAAC;QACpE,uBAAuB;QACvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,yCAAyC,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC9F,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,2BAA2B,CAAC,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,8BAA8B,CAAC,CAAC;QACtF,4FAA4F;QAC5F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,gCAAgC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mGAAmG,EAAE,GAAG,EAAE;QAC7G,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,iCAAiC,CAAC,CAAC;QACzG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,wCAAwC,CAAC,CAAC;QAChH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,0DAA0D,CAAC,CAAC;QAClI,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gIAAgI,EAAE,GAAG,EAAE;QAC1I,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,IAAS,EAAO,EAAE,CAChD,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC7H,MAAM,IAAI,GAAG,wCAAwC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,mBAAmB,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EACvF,+EAA+E,CAAC,CAAC;QACnF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,kBAAkB,CAAC,EAAE,OAAO,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EACxH,uEAAuE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAClF,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,6CAA6C,CAAC,CAAC;IAClH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qGAAqG,EAAE,GAAG,EAAE;QAC/G,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC;QAC3E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/src/codegen/index.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The IR → TypeScript printer (#628) — the TypeScript half of East's
+ * bidirectional codegen: `toSource` renders any East IR as the
+ * `East.function` builder source that rebuilds it, the python half
+ * (`east.codegen.to_python_source`) renders it as python, and the
+ * three-way sweep pins `IR₁ ≡ IR₂ ≡ IR₃` across both.
+ */
+export { toSource, Unprintable, type ToSourceOptions } from "./printer.js";
+export { SPELLINGS, RAW_ONLY, spellingFor, type Spelling } from "./spellings.js";
+export { typeSource, typeKey, TYPE_IMPORTS } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/codegen/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/codegen/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC"}

package/dist/src/codegen/index.js

@@ -0,0 +1,15 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The IR → TypeScript printer (#628) — the TypeScript half of East's
+ * bidirectional codegen: `toSource` renders any East IR as the
+ * `East.function` builder source that rebuilds it, the python half
+ * (`east.codegen.to_python_source`) renders it as python, and the
+ * three-way sweep pins `IR₁ ≡ IR₂ ≡ IR₃` across both.
+ */
+export { toSource, Unprintable } from "./printer.js";
+export { SPELLINGS, RAW_ONLY, spellingFor } from "./spellings.js";
+export { typeSource, typeKey, TYPE_IMPORTS } from "./types.js";
+//# sourceMappingURL=index.js.map

package/dist/src/codegen/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/codegen/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAwB,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAiB,MAAM,gBAAgB,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC"}

package/dist/src/codegen/printer.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Thrown for an IR shape the TypeScript surface cannot spell.
+ *
+ * The message names the node kind (and builtin) and where it sits — a
+ * statement in expression position, a jump to no loop, a `NewVector` of
+ * expressions, a `finally` on an expression `TryCatch`, an unknown node
+ * kind. Builtins without a spelling row print raw and are never unprintable.
+ */
+export declare class Unprintable extends Error {
+    constructor(message: string);
+}
+/** Options for {@link toSource}. */
+export interface ToSourceOptions {
+    /** The module-level export bound to the rebuilt function (default `"main"`). */
+    name?: string;
+    /** The module specifier the printed module imports from (default `"@elaraai/east"`). */
+    importFrom?: string;
+    /** The line width the layout keeps to (default {@link LINE_WIDTH}); `Infinity` prints every construct on one line. */
+    width?: number;
+    /**
+     * The library modules the program uses, by the specifier the printed
+     * module should import them from: `{ "@elaraai/east-node-io": await
+     * import("@elaraai/east-node-io") }`. A platform call whose declaration
+     * handle a module exports prints as that export — `Compression.Tar.create(
+     * entries)` with `import { Compression } from "@elaraai/east-node-io"` —
+     * rather than as a hoisted declaration; the library's own structure is the
+     * spelling, read from its exports.
+     */
+    libraries?: Record<string, object>;
+}
+/**
+ * Prints East IR as a TypeScript module that rebuilds it.
+ *
+ * @param fnOrIr - A built `East.function` / `East.asyncFunction` expression,
+ *   its `toIR()` result, or a homoiconic IR value (a Function / AsyncFunction
+ *   node, or the `Block[Let…, Function]` a python build with hoisted
+ *   constants emits — its constants become the body's first `$.const`s)
+ * @param options - The export name (default `main`), the module the
+ *   printed source imports from (default `@elaraai/east`), the line width,
+ *   and the library modules whose exported declarations spell the platform
+ *   calls (`libraries`)
+ * @returns The module source: importing it binds `name` to an
+ *   `East.function(...)` whose IR normalizes equal to the input's
+ * @throws {Unprintable} For a shape the TypeScript surface cannot spell — a
+ *   statement in expression position, a jump to no loop, a `NewVector` of
+ *   expressions, a `finally` on an expression `TryCatch`. Builtins without a
+ *   spelling print through `East.builtin(...)` and are never unprintable.
+ *
+ * @example
+ * ```ts
+ * const double = East.function([IntegerType], IntegerType, ($, x) => x.multiply(2n));
+ * console.log(East.toSource(double));
+ * // import { East, Expr, ... } from "@elaraai/east";
+ * //
+ * // export const main = East.function([IntegerType], IntegerType, ($, x) => x.multiply(2n));
+ * ```
+ */
+export declare function toSource(fnOrIr: unknown, options?: ToSourceOptions): string;
+//# sourceMappingURL=printer.d.ts.map

package/dist/src/codegen/printer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"printer.d.ts","sourceRoot":"","sources":["../../../src/codegen/printer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAqGH;;;;;;;GAOG;AACH,qBAAa,WAAY,SAAQ,KAAK;gBACxB,OAAO,EAAE,MAAM;CAI5B;AA+RD,oCAAoC;AACpC,MAAM,WAAW,eAAe;IAC9B,gFAAgF;IAChF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wFAAwF;IACxF,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sHAAsH;IACtH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;;;;OAQG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC;AAwhCD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,GAAE,eAAoB,GAAG,MAAM,CAG/E"}