effect-grammar 0.0.1 → 0.1.0

package/dist/parse.js

@@ -0,0 +1,157 @@
+import { Result } from "effect";
+import { isField, resolve } from "./core.js";
+import { ParseError } from "./errors.js";
+import { describe } from "./render.js";
+const FAIL = Symbol.for("effect-grammar/fail");
+const failAt = (s, expected) => {
+    if (s.pos > s.furthest) {
+        s.furthest = s.pos;
+        s.expected = new Set([expected]);
+    }
+    else if (s.pos === s.furthest) {
+        s.expected.add(expected);
+    }
+    return FAIL;
+};
+const runPart = (p, s) => go(isField(p) ? p.grammar : p, s);
+const go = (g, s) => {
+    const n = g.node;
+    switch (n._tag) {
+        case "Literal": {
+            if (!s.input.startsWith(n.value, s.pos))
+                return failAt(s, JSON.stringify(n.value));
+            s.pos += n.value.length;
+            return undefined;
+        }
+        case "Regex": {
+            n.re.lastIndex = s.pos;
+            const m = n.re.exec(s.input);
+            if (m === null)
+                return failAt(s, n.name);
+            s.pos += m[0].length;
+            return m[0];
+        }
+        case "Seq": {
+            const out = new Map();
+            for (const p of n.parts) {
+                const v = runPart(p, s);
+                if (v === FAIL)
+                    return FAIL;
+                if (isField(p))
+                    out.set(p.name, v);
+            }
+            return n.parts.some(isField) ? Object.fromEntries(out) : undefined;
+        }
+        case "Gen": {
+            const it = n.run();
+            const out = new Map();
+            let r = it.next();
+            while (!r.done) {
+                const p = r.value;
+                const v = runPart(p, s);
+                if (v === FAIL) {
+                    it.return(undefined);
+                    return FAIL;
+                }
+                if (isField(p)) {
+                    if (out.has(p.name)) {
+                        throw new Error(`gen: field "${p.name}" yielded twice — use many() to repeat`);
+                    }
+                    out.set(p.name, v);
+                }
+                r = it.next(v);
+            }
+            return r.value ?? Object.fromEntries(out);
+        }
+        case "Wrap": {
+            if (go(n.open, s) === FAIL)
+                return FAIL;
+            const v = go(n.inner, s);
+            if (v === FAIL)
+                return FAIL;
+            return go(n.close, s) === FAIL ? FAIL : v;
+        }
+        case "Choice": {
+            const start = s.pos;
+            for (const o of n.options) {
+                const v = go(o, s);
+                if (v !== FAIL)
+                    return v;
+                s.pos = start;
+            }
+            return FAIL;
+        }
+        case "Many": {
+            const out = [];
+            let mark = s.pos;
+            while (out.length < n.max) {
+                const v = go(n.inner, s);
+                if (v === FAIL)
+                    break;
+                if (s.pos === mark)
+                    throw new Error("many: element matched without consuming input");
+                out.push(v);
+                mark = s.pos;
+                if (go(n.sep, s) === FAIL)
+                    break;
+            }
+            s.pos = mark;
+            return out.length < n.min ? FAIL : out;
+        }
+        case "Optional": {
+            const mark = s.pos;
+            const v = go(n.inner, s);
+            if (v !== FAIL)
+                return v;
+            s.pos = mark;
+            return undefined;
+        }
+        case "Transform": {
+            const start = s.pos;
+            const v = go(n.inner, s);
+            if (v === FAIL)
+                return FAIL;
+            const b = n.decode(v);
+            if (n.is?.(b) === false) {
+                s.pos = start;
+                return failAt(s, n.name ?? describe(n.inner));
+            }
+            return b;
+        }
+        case "Skip":
+            return go(n.inner, s) === FAIL ? FAIL : undefined;
+        case "Label": {
+            const start = s.pos;
+            // Expectations already recorded here belong to sibling branches; only the inner ones collapse.
+            const siblings = s.furthest === start ? [...s.expected] : [];
+            const v = go(n.inner, s);
+            if (v === FAIL && s.furthest === start)
+                s.expected = new Set([...siblings, n.name]);
+            return v;
+        }
+        case "Suspend":
+            return go(resolve(n), s);
+    }
+};
+const toError = (s) => {
+    const before = s.input.slice(0, s.furthest);
+    return new ParseError({
+        pos: s.furthest,
+        line: before.split("\n").length,
+        column: before.length - before.lastIndexOf("\n"),
+        expected: [...s.expected],
+        found: s.input[s.furthest],
+    });
+};
+export const parse = (grammar, input) => {
+    const s = { input, pos: 0, furthest: 0, expected: new Set() };
+    const v = go(grammar, s);
+    if (v !== FAIL && s.pos === input.length) {
+        // SAFETY: go only returns the grammar's parsed value when it reaches the end successfully.
+        return Result.succeed(v);
+    }
+    if (v !== FAIL)
+        failAt(s, "end of input");
+    return Result.fail(toError(s));
+};
+//# sourceMappingURL=parse.js.map

package/dist/parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAgB,OAAO,EAAa,OAAO,EAAE,MAAM,WAAW,CAAA;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAWtC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;AAE9C,MAAM,MAAM,GAAG,CAAC,CAAQ,EAAE,QAAgB,EAAe,EAAE;IACzD,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;QACvB,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAA;QAClB,CAAC,CAAC,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA;IAClC,CAAC;SAAM,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QAChC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IAC1B,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,CAAO,EAAE,CAAQ,EAA4B,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAElG,MAAM,EAAE,GAAG,CAAC,CAAmB,EAAE,CAAQ,EAA4B,EAAE;IACrE,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAA;IAChB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS,EAAE,CAAC;YACf,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC;gBAAE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;YAClF,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAA;YACvB,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,CAAC,CAAC,EAAE,CAAC,SAAS,GAAG,CAAC,CAAC,GAAG,CAAA;YACtB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;YAC5B,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;YACxC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;YACpB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;QACb,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAA;YACzC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBACvB,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAA;gBAC3B,IAAI,OAAO,CAAC,CAAC,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;YACpC,CAAC;YACD,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QACpE,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAA;YAClB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAA;YACzC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAA;YACjB,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAA;gBACjB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBACvB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACf,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;oBACpB,OAAO,IAAI,CAAA;gBACb,CAAC;gBACD,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;oBACf,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBACpB,MAAM,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC,IAAI,wCAAwC,CAAC,CAAA;oBAChF,CAAC;oBACD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;gBACpB,CAAC;gBACD,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAChB,CAAC;YACD,OAAO,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC3C,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAA;YACvC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;YACxB,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAA;YAC3B,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3C,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAA;YACnB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBAClB,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,CAAC,CAAA;gBACxB,CAAC,CAAC,GAAG,GAAG,KAAK,CAAA;YACf,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,GAAsB,EAAE,CAAA;YACjC,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,CAAA;YAChB,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;gBACxB,IAAI,CAAC,KAAK,IAAI;oBAAE,MAAK;gBACrB,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;gBACpF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;gBACX,IAAI,GAAG,CAAC,CAAC,GAAG,CAAA;gBACZ,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,IAAI;oBAAE,MAAK;YAClC,CAAC;YACD,CAAC,CAAC,GAAG,GAAG,IAAI,CAAA;YACZ,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAA;QACxC,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAA;YAClB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;YACxB,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAA;YACxB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAA;YACZ,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,KAAK,WAAW,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAA;YACnB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;YACxB,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAA;YAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YACrB,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;gBACxB,CAAC,CAAC,GAAG,GAAG,KAAK,CAAA;gBACb,OAAO,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;YAC/C,CAAC;YACD,OAAO,CAAC,CAAA;QACV,CAAC;QACD,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;QACnD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAA;YACnB,+FAA+F;YAC/F,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;YAC5D,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;YACxB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK;gBAAE,CAAC,CAAC,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;YACnF,OAAO,CAAC,CAAA;QACV,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5B,CAAC;AACH,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,CAAQ,EAAE,EAAE;IAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC3C,OAAO,IAAI,UAAU,CAAC;QACpB,GAAG,EAAE,CAAC,CAAC,QAAQ;QACf,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM;QAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC;QAChD,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;QACzB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;KAC3B,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,OAAmB,EAAE,KAAa,EAAgC,EAAE;IAC3F,MAAM,CAAC,GAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;IACpE,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;IACxB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,2FAA2F;QAC3F,OAAO,MAAM,CAAC,OAAO,CAAC,CAAM,CAAC,CAAA;IAC/B,CAAC;IACD,IAAI,CAAC,KAAK,IAAI;QAAE,MAAM,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IACzC,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AAChC,CAAC,CAAA"}

package/dist/print.d.ts

@@ -0,0 +1,5 @@
+import { Result } from "effect";
+import { type Grammar } from "./core.ts";
+import { PrintError } from "./errors.ts";
+export declare const print: <A>(grammar: Grammar<A>, value: A) => Result.Result<string, PrintError>;
+//# sourceMappingURL=print.d.ts.map

package/dist/print.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"print.d.ts","sourceRoot":"","sources":["../src/print.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAe,KAAK,OAAO,EAA+B,MAAM,WAAW,CAAA;AAClF,OAAO,EAAW,UAAU,EAAE,MAAM,aAAa,CAAA;AAkHjD,eAAO,MAAM,KAAK,GAAI,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAKxF,CAAA"}

package/dist/print.js

@@ -0,0 +1,121 @@
+import { Result, Schema } from "effect";
+import { isField, resolve } from "./core.js";
+import { preview, PrintError } from "./errors.js";
+import { describe } from "./render.js";
+class Failure {
+    reason;
+    constructor(reason) {
+        this.reason = reason;
+    }
+}
+const fail = (reason) => new Failure(reason);
+const printPart = (p, value) => {
+    if (isField(p)) {
+        // SAFETY: Seq and Gen only pass field bags shaped by the grammar's parts.
+        const fields = value;
+        return out(p.grammar, fields[p.name]);
+    }
+    return out(p, undefined);
+};
+const out = (g, value) => {
+    const n = g.node;
+    switch (n._tag) {
+        case "Literal":
+            return n.value;
+        case "Regex":
+            if (!Schema.is(Schema.String)(value)) {
+                return fail(() => `${n.name}: expected a string, got ${preview(value)}`);
+            }
+            if (!n.whole.test(value)) {
+                return fail(() => `${n.name}: ${JSON.stringify(value)} does not match /${n.re.source}/`);
+            }
+            return value;
+        case "Seq": {
+            let acc = "";
+            for (const p of n.parts) {
+                const r = printPart(p, value);
+                if (r instanceof Failure)
+                    return r;
+                acc += r;
+            }
+            return acc;
+        }
+        case "Gen": {
+            // SAFETY: gen values are the field bag produced by the surrounding grammar.
+            const fields = value;
+            const it = n.run();
+            let acc = "";
+            let r = it.next();
+            while (!r.done) {
+                const p = r.value;
+                const s = printPart(p, fields);
+                if (s instanceof Failure)
+                    return s;
+                acc += s;
+                r = it.next(isField(p) ? fields[p.name] : undefined);
+            }
+            return acc;
+        }
+        case "Wrap": {
+            const open = out(n.open, undefined);
+            if (open instanceof Failure)
+                return open;
+            const inner = out(n.inner, value);
+            if (inner instanceof Failure)
+                return inner;
+            const close = out(n.close, undefined);
+            if (close instanceof Failure)
+                return close;
+            return open + inner + close;
+        }
+        case "Choice": {
+            const reasons = [];
+            for (const o of n.options) {
+                const r = out(o, value);
+                if (!(r instanceof Failure))
+                    return r;
+                reasons.push(r.reason);
+            }
+            return fail(() => `no choice branch accepts ${preview(value)}:\n  ${reasons.map((r) => r()).join("\n  ")}`);
+        }
+        case "Many": {
+            if (!Array.isArray(value))
+                return fail(() => `expected an array, got ${preview(value)}`);
+            if (value.length < n.min || value.length > n.max) {
+                const range = n.max === Number.POSITIVE_INFINITY ? `at least ${n.min}` : `${n.min}..${n.max}`;
+                return fail(() => `expected ${range} items, got ${value.length}`);
+            }
+            const sep = out(n.sep, undefined);
+            if (sep instanceof Failure)
+                return sep;
+            let acc = "";
+            for (let i = 0; i < value.length; i++) {
+                const r = out(n.inner, value[i]);
+                if (r instanceof Failure)
+                    return r;
+                acc += i === 0 ? r : sep + r;
+            }
+            return acc;
+        }
+        case "Optional":
+            return value === undefined ? "" : out(n.inner, value);
+        case "Transform":
+            if (n.is?.(value) === false) {
+                return fail(() => `expected ${n.name ?? describe(n.inner)}, got ${preview(value)}`);
+            }
+            return out(n.inner, n.encode(value));
+        case "Skip":
+            return out(n.inner, n.printAs);
+        case "Label":
+            return out(n.inner, value);
+        case "Suspend":
+            return out(resolve(n), value);
+    }
+};
+export const print = (grammar, value) => {
+    const r = out(grammar, value);
+    return r instanceof Failure
+        ? Result.fail(new PrintError({ message: r.reason() }))
+        : Result.succeed(r);
+};
+//# sourceMappingURL=print.js.map

package/dist/print.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../src/print.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAA6B,OAAO,EAAa,OAAO,EAAE,MAAM,WAAW,CAAA;AAClF,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAEtC,MAAM,OAAO;IACF,MAAM,CAAc;IAC7B,YAAY,MAAoB;QAC9B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACtB,CAAC;CACF;AAED,MAAM,IAAI,GAAG,CAAC,MAAoB,EAAW,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAA;AAInE,MAAM,SAAS,GAAG,CAAI,CAAO,EAAE,KAAQ,EAAoB,EAAE;IAC3D,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACf,0EAA0E;QAC1E,MAAM,MAAM,GAAG,KAAoB,CAAA;QACnC,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACvC,CAAC;IACD,OAAO,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;AAC1B,CAAC,CAAA;AAED,MAAM,GAAG,GAAG,CAAI,CAAa,EAAE,KAAQ,EAAoB,EAAE;IAC3D,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAA;IAChB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC,KAAK,CAAA;QAChB,KAAK,OAAO;YACV,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,4BAA4B,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAC1E,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;YAC1F,CAAC;YACD,OAAO,KAAK,CAAA;QACd,KAAK,KAAK,EAAE,CAAC;YACX,IAAI,GAAG,GAAG,EAAE,CAAA;YACZ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;gBAC7B,IAAI,CAAC,YAAY,OAAO;oBAAE,OAAO,CAAC,CAAA;gBAClC,GAAG,IAAI,CAAC,CAAA;YACV,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,4EAA4E;YAC5E,MAAM,MAAM,GAAG,KAAoB,CAAA;YACnC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAA;YAClB,IAAI,GAAG,GAAG,EAAE,CAAA;YACZ,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAA;YACjB,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAA;gBACjB,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;gBAC9B,IAAI,CAAC,YAAY,OAAO;oBAAE,OAAO,CAAC,CAAA;gBAClC,GAAG,IAAI,CAAC,CAAA;gBACR,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YACtD,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;YACnC,IAAI,IAAI,YAAY,OAAO;gBAAE,OAAO,IAAI,CAAA;YACxC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACjC,IAAI,KAAK,YAAY,OAAO;gBAAE,OAAO,KAAK,CAAA;YAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;YACrC,IAAI,KAAK,YAAY,OAAO;gBAAE,OAAO,KAAK,CAAA;YAC1C,OAAO,IAAI,GAAG,KAAK,GAAG,KAAK,CAAA;QAC7B,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,OAAO,GAAwB,EAAE,CAAA;YACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;gBACvB,IAAI,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC;oBAAE,OAAO,CAAC,CAAA;gBACrC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;YACxB,CAAC;YACD,OAAO,IAAI,CACT,GAAG,EAAE,CACH,4BAA4B,OAAO,CAAC,KAAK,CAAC,QAAQ,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAC3F,CAAA;QACH,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,0BAA0B,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACxF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACjD,MAAM,KAAK,GACT,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAA;gBACjF,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,YAAY,KAAK,eAAe,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;YACnE,CAAC;YACD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;YACjC,IAAI,GAAG,YAAY,OAAO;gBAAE,OAAO,GAAG,CAAA;YACtC,IAAI,GAAG,GAAG,EAAE,CAAA;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;gBAChC,IAAI,CAAC,YAAY,OAAO;oBAAE,OAAO,CAAC,CAAA;gBAClC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;YAC9B,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,UAAU;YACb,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACvD,KAAK,WAAW;YACd,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC;gBAC5B,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACrF,CAAC;YACD,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;QACtC,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;QAChC,KAAK,OAAO;YACV,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IACjC,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,OAAmB,EAAE,KAAQ,EAAqC,EAAE;IAC3F,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC7B,OAAO,CAAC,YAAY,OAAO;QACzB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACtD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AACvB,CAAC,CAAA"}

package/dist/render.d.ts

@@ -0,0 +1,5 @@
+import { type Grammar } from "./core.ts";
+export declare const render: (g: Grammar<unknown>) => string;
+/** A short name for error messages: the regex or label name if there is one, else the rendering. */
+export declare const describe: (g: Grammar<unknown>) => string;
+//# sourceMappingURL=render.d.ts.map

package/dist/render.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../src/render.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,KAAK,OAAO,EAA0C,MAAM,WAAW,CAAA;AA6D7F,eAAO,MAAM,MAAM,MAAO,OAAO,CAAC,OAAO,CAAC,KAAG,MAA4B,CAAA;AAEzE,oGAAoG;AACpG,eAAO,MAAM,QAAQ,MAAO,OAAO,CAAC,OAAO,CAAC,KAAG,MAC+B,CAAA"}

package/dist/render.js

@@ -0,0 +1,64 @@
+import { isField, resolve } from "./core.js";
+const repetition = ({ min, max }) => {
+    if (max === Number.POSITIVE_INFINITY)
+        return min === 0 ? "*" : min === 1 ? "+" : `{${min},}`;
+    return min === max ? `{${min}}` : `{${min},${max}}`;
+};
+const words = (parts) => parts.filter((p) => p !== "").join(" ");
+const showPart = (p, seen) => isField(p) ? `${p.name}:${show(p.grammar, seen)}` : show(p, seen);
+const show = (g, seen) => {
+    const n = g.node;
+    switch (n._tag) {
+        case "Literal":
+            return n.value === "" ? "" : JSON.stringify(n.value);
+        case "Regex":
+            return `<${n.name}>`;
+        case "Seq":
+            return words(n.parts.map((p) => showPart(p, seen)));
+        case "Gen": {
+            // Replay with no values; a generator that branches on a value may throw.
+            const parts = [];
+            try {
+                const it = n.run();
+                for (let r = it.next(); !r.done; r = it.next(undefined))
+                    parts.push(showPart(r.value, seen));
+            }
+            catch {
+                parts.push("…");
+            }
+            return words(parts);
+        }
+        case "Wrap":
+            return words([show(n.open, seen), show(n.inner, seen), show(n.close, seen)]);
+        case "Choice":
+            return `(${n.options.map((o) => show(o, seen)).join(" | ")})`;
+        case "Many": {
+            const inner = show(n.inner, seen);
+            const sep = show(n.sep, seen);
+            if (sep === "")
+                return `(${inner})${repetition(n)}`;
+            const rest = repetition({ min: Math.max(0, n.min - 1), max: n.max - 1 });
+            const body = `${inner} (${sep} ${inner})${rest}`;
+            return n.min === 0 ? `(${body})?` : body;
+        }
+        case "Optional":
+            return `(${show(n.inner, seen)})?`;
+        case "Transform":
+        case "Label":
+            return show(n.inner, seen);
+        case "Skip":
+            return n.show ? show(n.inner, seen) : "";
+        case "Suspend": {
+            if (seen.has(n))
+                return n.name ?? "…";
+            seen.add(n);
+            const s = show(resolve(n), seen);
+            seen.delete(n);
+            return s;
+        }
+    }
+};
+export const render = (g) => show(g, new Set());
+/** A short name for error messages: the regex or label name if there is one, else the rendering. */
+export const describe = (g) => g.node._tag === "Regex" || g.node._tag === "Label" ? g.node.name : render(g);
+//# sourceMappingURL=render.js.map

package/dist/render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../src/render.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,OAAO,EAAwB,OAAO,EAAE,MAAM,WAAW,CAAA;AAE7F,MAAM,UAAU,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAU,EAAU,EAAE;IAClD,IAAI,GAAG,KAAK,MAAM,CAAC,iBAAiB;QAAE,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAA;IAC5F,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,GAAG,CAAA;AACrD,CAAC,CAAA;AAED,MAAM,KAAK,GAAG,CAAC,KAA4B,EAAU,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAE/F,MAAM,QAAQ,GAAG,CAAC,CAAO,EAAE,IAAe,EAAU,EAAE,CACpD,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAEnE,MAAM,IAAI,GAAG,CAAC,CAAmB,EAAE,IAAe,EAAU,EAAE;IAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAA;IAChB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QACtD,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,CAAC,IAAI,GAAG,CAAA;QACtB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QACrD,KAAK,KAAK,EAAE,CAAC;YACX,yEAAyE;YACzE,MAAM,KAAK,GAAkB,EAAE,CAAA;YAC/B,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAA;gBAClB,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;YAC9F,CAAC;YAAC,MAAM,CAAC;gBACP,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACjB,CAAC;YACD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAA;QACrB,CAAC;QACD,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QAC9E,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAA;QAC/D,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YACjC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YAC7B,IAAI,GAAG,KAAK,EAAE;gBAAE,OAAO,IAAI,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAA;YACnD,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAA;YACxE,MAAM,IAAI,GAAG,GAAG,KAAK,KAAK,GAAG,IAAI,KAAK,IAAI,IAAI,EAAE,CAAA;YAChD,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;QAC1C,CAAC;QACD,KAAK,UAAU;YACb,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAA;QACpC,KAAK,WAAW,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC5B,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QAC1C,KAAK,SAAS,EAAE,CAAC;YACf,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,CAAA;YACrC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YACX,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;YAChC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;YACd,OAAO,CAAC,CAAA;QACV,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAmB,EAAU,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;AAEzE,oGAAoG;AACpG,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAmB,EAAU,EAAE,CACtD,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA"}

package/dist/schema.d.ts

@@ -0,0 +1,6 @@
+import { Schema } from "effect";
+import type { Grammar } from "./core.ts";
+export declare const toSchema: <S extends Schema.Top>(grammar: Grammar<S["Type"]>, target: S, options?: {
+    readonly identifier?: string;
+}) => Schema.decodeTo<S, Schema.String, never, never>;
+//# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,MAAM,EAAqC,MAAM,QAAQ,CAAA;AAElF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAKxC,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,WAClC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,UACnB,CAAC,YACC;IAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,oDAqBzC,CAAA"}

package/dist/schema.js

@@ -0,0 +1,9 @@
+import { Effect, Option, Schema, SchemaIssue, SchemaTransformation } from "effect";
+import { parse } from "./parse.js";
+import { print } from "./print.js";
+import { render } from "./render.js";
+export const toSchema = (grammar, target, options) => Schema.String.pipe(Schema.decodeTo(target, SchemaTransformation.transformOrFail({
+    decode: (s) => Effect.fromResult(parse(grammar, s)).pipe(Effect.mapError(({ message }) => new SchemaIssue.InvalidValue(Option.some(s), { message }))),
+    encode: (a) => Effect.fromResult(print(grammar, a)).pipe(Effect.mapError(({ message }) => new SchemaIssue.InvalidValue(Option.some(a), { message }))),
+})), Schema.annotate({ ...options, description: render(grammar) }));
+//# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,QAAQ,CAAA;AAGlF,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,OAA2B,EAC3B,MAAS,EACT,OAA0C,EAC1C,EAAE,CACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAChB,MAAM,CAAC,QAAQ,CACb,MAAM,EACN,oBAAoB,CAAC,eAAe,CAAC;IACnC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CACvC,MAAM,CAAC,QAAQ,CACb,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAC3E,CACF;IACH,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CACvC,MAAM,CAAC,QAAQ,CACb,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAC3E,CACF;CACJ,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,EAAE,GAAG,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAC9D,CAAA"}

package/package.json

@@ -1,13 +1,11 @@
 {
   "name": "effect-grammar",
-  "version": "0.0.1",
+  "version": "0.1.0",
   "description": "Effect Schema, but for text formats: one grammar yields a parser, printer, rendered form, and Schema",
   "keywords": [
     "bidirectional",
-    "combinators",
     "effect",
     "grammar",
-    "parser",
     "printer",
     "round-trip",
     "schema"
@@ -22,31 +20,19 @@
     "url": "git+https://github.com/saiashirwad/effect-grammar.git"
   },
   "files": [
-    "dist"
+    "dist",
+    "LICENSE"
   ],
   "type": "module",
   "exports": {
     ".": {
       "types": "./dist/index.d.ts",
       "import": "./dist/index.js"
-    },
-    "./parser": {
-      "types": "./dist/parser.d.ts",
-      "import": "./dist/parser.js"
     }
   },
   "publishConfig": {
     "access": "public"
   },
-  "scripts": {
-    "build": "tsc -p tsconfig.build.json",
-    "typecheck": "tsc -p tsconfig.json --noEmit",
-    "test": "node --test 'test/**/*.test.ts'",
-    "fmt": "oxfmt --config=.oxfmt.jsonc",
-    "fmt:check": "oxfmt --config=.oxfmt.jsonc --check",
-    "prepare": "effect-tsgo patch",
-    "prepublishOnly": "pnpm typecheck && pnpm test && pnpm build"
-  },
   "dependencies": {
     "effect": "4.0.0-beta.102"
   },
@@ -54,10 +40,25 @@
     "@changesets/changelog-github": "^0.7.0",
     "@changesets/cli": "^2.31.0",
     "@effect/language-service": "^0.87.1",
-    "@effect/tsgo": "0.24.3",
+    "@effect/tsgo": "0.38.0",
+    "@effect/vitest": "4.0.0-beta.102",
+    "@oxlint/plugins": "1.80.0",
     "@types/node": "^26.1.2",
     "oxfmt": "^0.61.0",
-    "typescript": "^7.0.2"
+    "oxlint": "1.80.0",
+    "oxlint-tsgolint": "7.0.2001",
+    "typescript": "^7.0.2",
+    "vitest": "4.1.10"
   },
-  "packageManager": "pnpm@11.17.0+sha512.cca3cea332ad254bb84145f966d19f4879615210346fc92c79a047f23a0d7b3cca3c3792f0076ba1f1831d277efbcf0a9119b31a9a60eca7fb3d6231f331ef72"
-}
+  "engines": {
+    "node": ">=24.0.0"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run --dir test",
+    "fmt": "oxfmt",
+    "fmt:check": "oxfmt --check",
+    "lint": "oxlint"
+  }
+}

package/dist/error.d.ts

@@ -1,28 +0,0 @@
-import { Schema } from "effect";
-declare const ParseError_base: Schema.Class<ParseError, Schema.TaggedStruct<"ParseError", {
-    readonly pos: Schema.Finite;
-    readonly expected: Schema.String;
-    readonly found: Schema.UndefinedOr<Schema.String>;
-    /** 1-based; set at the parse / toSchema boundary. Absent for raw streaming failures. */
-    readonly line: Schema.optionalKey<Schema.Finite>;
-    /** 1-based column within `line`. */
-    readonly column: Schema.optionalKey<Schema.Finite>;
-}>, import("effect/Cause").YieldableError>;
-export declare class ParseError extends ParseError_base {
-    get message(): string;
-}
-declare const UpstreamError_base: Schema.Class<UpstreamError, Schema.TaggedStruct<"UpstreamError", {
-    readonly cause: Schema.Defect;
-}>, import("effect/Cause").YieldableError>;
-/** A chunk source feeding a streaming parse failed. `cause` is the original error. */
-export declare class UpstreamError extends UpstreamError_base {
-}
-/** Absolute offset → 1-based line/column (`"\n"` only). */
-export declare const offsetToLineColumn: (input: string, pos: number) => {
-    readonly line: number;
-    readonly column: number;
-};
-/** Attach line/column from `input` at `e.pos`. */
-export declare const locateParseError: (input: string, e: ParseError) => ParseError;
-export {};
-//# sourceMappingURL=error.d.ts.map

package/dist/error.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"error.d.ts","sourceRoot":"","sources":["../src/error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;;;;;IAM7B,wFAAwF;;IAExF,oCAAoC;;;AANtC,qBAAa,UAAW,SAAQ,eAQ9B;IACA,IAAa,OAAO,IAAI,MAAM,CAO7B;CACF;;;;AAED,sFAAsF;AACtF,qBAAa,aAAc,SAAQ,kBAEjC;CAAG;AAEL,2DAA2D;AAC3D,eAAO,MAAM,kBAAkB,UACtB,MAAM,OACR,MAAM,KACV;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAYlD,CAAA;AAED,kDAAkD;AAClD,eAAO,MAAM,gBAAgB,UAAW,MAAM,KAAK,UAAU,KAAG,UAU/D,CAAA"}

package/dist/error.js

@@ -1,52 +0,0 @@
-import { Schema } from "effect";
-export class ParseError extends Schema.TaggedErrorClass()("ParseError", {
-    pos: Schema.Finite,
-    expected: Schema.String,
-    found: Schema.UndefinedOr(Schema.String),
-    /** 1-based; set at the parse / toSchema boundary. Absent for raw streaming failures. */
-    line: Schema.optionalKey(Schema.Finite),
-    /** 1-based column within `line`. */
-    column: Schema.optionalKey(Schema.Finite),
-}) {
-    get message() {
-        const loc = this.line !== undefined && this.column !== undefined
-            ? `line ${this.line}, column ${this.column}`
-            : `position ${this.pos}`;
-        const found = this.found === undefined ? "end of input" : JSON.stringify(this.found);
-        return `${loc}: expected ${this.expected}, found ${found}`;
-    }
-}
-/** A chunk source feeding a streaming parse failed. `cause` is the original error. */
-export class UpstreamError extends Schema.TaggedErrorClass()("UpstreamError", {
-    cause: Schema.Defect(),
-}) {
-}
-/** Absolute offset → 1-based line/column (`"\n"` only). */
-export const offsetToLineColumn = (input, pos) => {
-    let line = 1;
-    let column = 1;
-    for (let i = 0; i < pos; i++) {
-        if (input.charCodeAt(i) === 10 /* \n */) {
-            line++;
-            column = 1;
-        }
-        else {
-            column++;
-        }
-    }
-    return { line, column };
-};
-/** Attach line/column from `input` at `e.pos`. */
-export const locateParseError = (input, e) => {
-    if (e.line !== undefined && e.column !== undefined)
-        return e;
-    const { line, column } = offsetToLineColumn(input, e.pos);
-    return new ParseError({
-        pos: e.pos,
-        expected: e.expected,
-        found: e.found,
-        line,
-        column,
-    });
-};
-//# sourceMappingURL=error.js.map

package/dist/error.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"error.js","sourceRoot":"","sources":["../src/error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,gBAAgB,EAAc,CAAC,YAAY,EAAE;IAClF,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,wFAAwF;IACxF,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,oCAAoC;IACpC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CAC1C,CAAC;IACA,IAAa,OAAO;QAClB,MAAM,GAAG,GACP,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAClD,CAAC,CAAC,QAAQ,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,MAAM,EAAE;YAC5C,CAAC,CAAC,YAAY,IAAI,CAAC,GAAG,EAAE,CAAA;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACpF,OAAO,GAAG,GAAG,cAAc,IAAI,CAAC,QAAQ,WAAW,KAAK,EAAE,CAAA;IAC5D,CAAC;CACF;AAED,sFAAsF;AACtF,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,gBAAgB,EAAiB,CAAC,eAAe,EAAE;IAC3F,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;CACvB,CAAC;CAAG;AAEL,2DAA2D;AAC3D,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAa,EACb,GAAW,EACyC,EAAE;IACtD,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,CAAC;YACxC,IAAI,EAAE,CAAA;YACN,MAAM,GAAG,CAAC,CAAA;QACZ,CAAC;aAAM,CAAC;YACN,MAAM,EAAE,CAAA;QACV,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;AACzB,CAAC,CAAA;AAED,kDAAkD;AAClD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAE,CAAa,EAAc,EAAE;IAC3E,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,CAAA;IAC5D,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IACzD,OAAO,IAAI,UAAU,CAAC;QACpB,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI;QACJ,MAAM;KACP,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/parser.d.ts

@@ -1,6 +0,0 @@
-export * from "./error.ts";
-export * from "./state.ts";
-export * from "./combinators.ts";
-export * from "./run.ts";
-export * from "./stream.ts";
-//# sourceMappingURL=parser.d.ts.map

package/dist/parser.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,YAAY,CAAA;AAC1B,cAAc,kBAAkB,CAAA;AAChC,cAAc,UAAU,CAAA;AACxB,cAAc,aAAa,CAAA"}

package/dist/parser.js

@@ -1,6 +0,0 @@
-export * from "./error.js";
-export * from "./state.js";
-export * from "./combinators.js";
-export * from "./run.js";
-export * from "./stream.js";
-//# sourceMappingURL=parser.js.map

package/dist/parser.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"parser.js","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,YAAY,CAAA;AAC1B,cAAc,kBAAkB,CAAA;AAChC,cAAc,UAAU,CAAA;AACxB,cAAc,aAAa,CAAA"}

package/dist/run.d.ts

@@ -1,6 +0,0 @@
-import { Effect } from "effect";
-import { ParseError, UpstreamError } from "./error.ts";
-import { ParseState } from "./state.ts";
-/** Run a parse-only Effect over a whole string. Attaches line/column on `ParseError`. */
-export declare const parse: <A, E>(input: string, p: Effect.Effect<A, E, ParseState>) => Effect.Effect<import("effect/Result").Result<A, ParseError | Exclude<E, import("effect/Types").NoInfer<E> & UpstreamError>>, never, never>;
-//# sourceMappingURL=run.d.ts.map

package/dist/run.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../src/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAoB,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AACxE,OAAO,EAAmB,UAAU,EAAE,MAAM,YAAY,CAAA;AAExD,yFAAyF;AACzF,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,SAAS,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,+IASrD,CAAA"}

package/dist/run.js

@@ -1,11 +0,0 @@
-import { Effect, Schema } from "effect";
-import { locateParseError, ParseError, UpstreamError } from "./error.js";
-import { makeStringState, ParseState } from "./state.js";
-/** Run a parse-only Effect over a whole string. Attaches line/column on `ParseError`. */
-export const parse = (input, p) => Effect.gen(function* () {
-    const state = yield* makeStringState(input);
-    return yield* p.pipe(Effect.provideService(ParseState, state), 
-    // String input has no upstream; this can never fire.
-    Effect.catchIf(Schema.is(UpstreamError), (e) => Effect.die(e)), Effect.mapError((e) => (Schema.is(ParseError)(e) ? locateParseError(input, e) : e)));
-}).pipe(Effect.result);
-//# sourceMappingURL=run.js.map