effect-grammar 0.2.0 → 0.4.0

package/dist/parse.js

@@ -1,157 +1,195 @@
 import { Result } from "effect";
-import { isField, resolve } from "./core.js";
-import { ParseError } from "./errors.js";
+import { nodeOf, resolve, unsafeToNever, } from "./core.js";
+import { bind, caseFor, evaluate, frame, isCount, materialize, Unbound } from "./env.js";
+import { exceptionMessage, ParseError, preview } 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]);
+const Fail = Symbol("effect-grammar/ParseFail");
+const failAt = (state, expected) => {
+    if (state.pos > state.furthest) {
+        state.furthest = state.pos;
+        state.expected = new Set([expected]);
     }
-    else if (s.pos === s.furthest) {
-        s.expected.add(expected);
+    else if (state.pos === state.furthest) {
+        state.expected.add(expected);
     }
-    return FAIL;
+    return Fail;
 };
-const runPart = (p, s) => go(isField(p) ? p.grammar : p, s);
-const go = (g, s) => {
-    const n = g.node;
-    switch (n._tag) {
+const go = (grammar, state, env) => {
+    const node = nodeOf(grammar);
+    switch (node._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;
+            if (state.input.startsWith(node.value, state.pos)) {
+                state.pos += node.value.length;
+                return undefined;
+            }
+            // Failure path only: report at the first mismatching character.
+            const end = state.pos + node.value.length;
+            let current = state.pos;
+            while (current < end && state.input[current] === node.value[current - state.pos])
+                current++;
+            state.pos = current;
+            return failAt(state, JSON.stringify(node.value));
         }
         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;
+            node.re.lastIndex = state.pos;
+            const match = node.re.exec(state.input);
+            if (match === null)
+                return failAt(state, node.name);
+            state.pos += match[0].length;
+            return match[0];
         }
         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);
+            const local = frame(node.scope, node.slotCount, env);
+            for (const step of node.steps) {
+                const value = go(step.grammar, state, local);
+                if (value === Fail)
+                    return Fail;
+                if (step._tag === "Bind")
+                    bind(local, step.slot, value);
             }
-            return r.value ?? Object.fromEntries(out);
+            const value = materialize(node.result, local);
+            return value === Unbound ? failAt(state, "a bound generator result") : value;
         }
         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;
+            if (go(node.open, state, env) === Fail)
+                return Fail;
+            const value = go(node.inner, state, env);
+            if (value === Fail)
+                return Fail;
+            return go(node.close, state, env) === Fail ? Fail : value;
         }
         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;
+            const start = state.pos;
+            for (const option of node.options) {
+                const value = go(option, state, env);
+                if (value !== Fail)
+                    return value;
+                state.pos = start;
             }
-            return FAIL;
+            return Fail;
         }
         case "Many": {
-            const out = [];
-            let mark = s.pos;
-            while (out.length < n.max) {
-                const v = go(n.inner, s);
-                if (v === FAIL)
+            const values = [];
+            let mark = state.pos;
+            while (values.length < node.max) {
+                const value = go(node.inner, state, env);
+                if (value === 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)
+                if (state.pos === mark)
+                    return failAt(state, "a repetition element that consumes input");
+                values.push(value);
+                mark = state.pos;
+                if (go(node.sep, state, env) === Fail)
                     break;
             }
-            s.pos = mark;
-            return out.length < n.min ? FAIL : out;
+            state.pos = mark;
+            return values.length < node.min ? Fail : values;
         }
         case "Optional": {
-            const mark = s.pos;
-            const v = go(n.inner, s);
-            if (v !== FAIL)
-                return v;
-            s.pos = mark;
+            const mark = state.pos;
+            const value = go(node.inner, state, env);
+            if (value !== Fail)
+                return value;
+            state.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));
+            const start = state.pos;
+            const value = go(node.inner, state, env);
+            if (value === Fail)
+                return Fail;
+            try {
+                const decoded = node.decode(unsafeToNever(value));
+                if (Result.isFailure(decoded)) {
+                    state.pos = start;
+                    return failAt(state, decoded.failure.message);
+                }
+                if (node.is?.(unsafeToNever(decoded.success)) === false) {
+                    state.pos = start;
+                    return failAt(state, node.name ?? describe(node.inner));
+                }
+                return decoded.success;
+            }
+            catch (error) {
+                state.pos = start;
+                return failAt(state, `${node.name ?? describe(node.inner)}: ${exceptionMessage(error)}`);
             }
-            return b;
         }
         case "Skip":
-            return go(n.inner, s) === FAIL ? FAIL : undefined;
+            return go(node.inner, state, env) === 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;
+            const start = state.pos;
+            const siblings = state.furthest === start ? [...state.expected] : [];
+            const value = go(node.inner, state, env);
+            if (value === Fail && state.furthest === start) {
+                state.expected = new Set([...siblings, node.name]);
+            }
+            return value;
         }
         case "Suspend":
-            return go(resolve(n), s);
+            return go(resolve(node), state, env);
+        case "Match": {
+            const key = evaluate(node.scrutinee, env);
+            if (key === Unbound)
+                return failAt(state, "a bound match ref");
+            const matchCase = caseFor(node.cases, key);
+            if (matchCase === undefined)
+                return failAt(state, `a match case for ${preview(key)}`);
+            return go(matchCase.grammar, state, env);
+        }
+        case "Take": {
+            const count = evaluate(node.count, env);
+            if (count === Unbound)
+                return failAt(state, "a bound take count");
+            if (!isCount(count))
+                return failAt(state, `<char>{${preview(count)}}`);
+            if (state.input.length - state.pos < count) {
+                return failAt(state, `${count} chars`);
+            }
+            const value = state.input.slice(state.pos, state.pos + count);
+            state.pos += count;
+            return value;
+        }
+        case "RepeatExact": {
+            const count = evaluate(node.count, env);
+            if (count === Unbound)
+                return failAt(state, "a bound repeat count");
+            if (!isCount(count))
+                return failAt(state, `a non-negative repeat count`);
+            const values = [];
+            for (let index = 0; index < count; index++) {
+                const mark = state.pos;
+                const value = go(node.inner, state, env);
+                if (value === Fail)
+                    return Fail;
+                if (state.pos === mark)
+                    return failAt(state, "a repetition element that consumes input");
+                values.push(value);
+            }
+            return values;
+        }
     }
 };
-const toError = (s) => {
-    const before = s.input.slice(0, s.furthest);
+const toError = (state) => {
+    const before = state.input.slice(0, state.furthest);
+    const code = state.input.codePointAt(state.furthest);
     return new ParseError({
-        pos: s.furthest,
+        pos: state.furthest,
         line: before.split("\n").length,
         column: before.length - before.lastIndexOf("\n"),
-        expected: [...s.expected],
-        found: s.input[s.furthest],
+        expected: [...state.expected],
+        found: code === undefined ? undefined : String.fromCodePoint(code),
     });
 };
 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);
+    const state = { input, pos: 0, furthest: 0, expected: new Set() };
+    const value = go(grammar, state, undefined);
+    if (value !== Fail && state.pos === input.length) {
+        // SAFETY: interpreting Grammar<A> preserves its output type across every node.
+        return Result.succeed(value);
     }
-    if (v !== FAIL)
-        failAt(s, "end of input");
-    return Result.fail(toError(s));
+    if (value !== Fail)
+        failAt(state, "end of input");
+    return Result.fail(toError(state));
 };
 //# sourceMappingURL=parse.js.map

package/dist/parse.js.map

@@ -1 +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"}
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAGL,MAAM,EACN,OAAO,EACP,aAAa,GAEd,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAc,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AACpG,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AACnE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAStC,MAAM,IAAI,GAAG,MAAM,CAAC,0BAA0B,CAAC,CAAA;AAE/C,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,QAAgB,EAAe,EAAE;IAC7D,IAAI,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC/B,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAA;QAC1B,KAAK,CAAC,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA;IACtC,CAAC;SAAM,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACxC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IAC9B,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,EAAE,GAAG,CACT,OAAwB,EACxB,KAAY,EACZ,GAAsB,EACD,EAAE;IACvB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,EAAE,CAAC;YACf,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClD,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAA;gBAC9B,OAAO,SAAS,CAAA;YAClB,CAAC;YACD,gEAAgE;YAChE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAA;YACzC,IAAI,OAAO,GAAG,KAAK,CAAC,GAAG,CAAA;YACvB,OAAO,OAAO,GAAG,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC;gBAAE,OAAO,EAAE,CAAA;YAC3F,KAAK,CAAC,GAAG,GAAG,OAAO,CAAA;YACnB,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAClD,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,IAAI,CAAC,EAAE,CAAC,SAAS,GAAG,KAAK,CAAC,GAAG,CAAA;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YACvC,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;YACnD,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;YAC5B,OAAO,KAAK,CAAC,CAAC,CAAC,CAAA;QACjB,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;YACpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;gBAC5C,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAA;gBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACzD,CAAC;YACD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YAC7C,OAAO,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QAC9E,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAA;YACnD,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;YACxC,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAA;YAC/B,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAA;QAC3D,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAA;YACvB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;gBACpC,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO,KAAK,CAAA;gBAChC,KAAK,CAAC,GAAG,GAAG,KAAK,CAAA;YACnB,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,MAAM,GAAiB,EAAE,CAAA;YAC/B,IAAI,IAAI,GAAG,KAAK,CAAC,GAAG,CAAA;YACpB,OAAO,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAChC,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;gBACxC,IAAI,KAAK,KAAK,IAAI;oBAAE,MAAK;gBACzB,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI;oBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,0CAA0C,CAAC,CAAA;gBACxF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBAClB,IAAI,GAAG,KAAK,CAAC,GAAG,CAAA;gBAChB,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI;oBAAE,MAAK;YAC9C,CAAC;YACD,KAAK,CAAC,GAAG,GAAG,IAAI,CAAA;YAChB,OAAO,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAA;QACjD,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAA;YACtB,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;YACxC,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAA;YAChC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAA;YAChB,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,KAAK,WAAW,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAA;YACvB,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;YACxC,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAA;YAC/B,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;gBACjD,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC9B,KAAK,CAAC,GAAG,GAAG,KAAK,CAAA;oBACjB,OAAO,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;gBAC/C,CAAC;gBACD,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;oBACxD,KAAK,CAAC,GAAG,GAAG,KAAK,CAAA;oBACjB,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;gBACzD,CAAC;gBACD,OAAO,OAAO,CAAC,OAAO,CAAA;YACxB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,KAAK,CAAC,GAAG,GAAG,KAAK,CAAA;gBACjB,OAAO,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAC1F,CAAC;QACH,CAAC;QACD,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;QAC/D,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAA;YACvB,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;YACpE,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;YACxC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAC/C,KAAK,CAAC,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;YACpD,CAAC;YACD,OAAO,KAAK,CAAA;QACd,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;QACtC,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;YACzC,IAAI,GAAG,KAAK,OAAO;gBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAA;YAC9D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YAC1C,IAAI,SAAS,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,oBAAoB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACrF,OAAO,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;QAC1C,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YACvC,IAAI,KAAK,KAAK,OAAO;gBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAA;YACjE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,UAAU,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YACtE,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,GAAG,GAAG,KAAK,EAAE,CAAC;gBAC3C,OAAO,MAAM,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAA;YACxC,CAAC;YACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,CAAA;YAC7D,KAAK,CAAC,GAAG,IAAI,KAAK,CAAA;YAClB,OAAO,KAAK,CAAA;QACd,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YACvC,IAAI,KAAK,KAAK,OAAO;gBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAA;YACnE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,6BAA6B,CAAC,CAAA;YACxE,MAAM,MAAM,GAAiB,EAAE,CAAA;YAC/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAA;gBACtB,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;gBACxC,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAA;gBAC/B,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI;oBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,0CAA0C,CAAC,CAAA;gBACxF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACpB,CAAC;YACD,OAAO,MAAM,CAAA;QACf,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,KAAY,EAAc,EAAE;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IACpD,OAAO,IAAI,UAAU,CAAC;QACpB,GAAG,EAAE,KAAK,CAAC,QAAQ;QACnB,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,KAAK,CAAC,QAAQ,CAAC;QAC7B,KAAK,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;KACnE,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,OAAmB,EAAE,KAAa,EAAgC,EAAE;IAC3F,MAAM,KAAK,GAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;IACxE,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;IAC3C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACjD,+EAA+E;QAC/E,OAAO,MAAM,CAAC,OAAO,CAAC,KAAU,CAAC,CAAA;IACnC,CAAC;IACD,IAAI,KAAK,KAAK,IAAI;QAAE,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,CAAA;IACjD,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;AACpC,CAAC,CAAA"}

package/dist/pattern.d.ts

@@ -0,0 +1,5 @@
+import type { Pattern, Value } from "./core.ts";
+import { type Frame } from "./env.ts";
+import type { PrintIssue } from "./errors.ts";
+export declare const unifyPattern: (pattern: Pattern, value: Value, values: Frame) => PrintIssue | undefined;
+//# sourceMappingURL=pattern.d.ts.map

package/dist/pattern.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.d.ts","sourceRoot":"","sources":["../src/pattern.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AAC/C,OAAO,EAAQ,KAAK,KAAK,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAE7C,eAAO,MAAM,YAAY,YACd,OAAO,SACT,KAAK,UACJ,KAAK,KACZ,UAAU,GAAG,SAwCf,CAAA"}

package/dist/pattern.js

@@ -0,0 +1,46 @@
+import { Equal, Predicate } from "effect";
+import { bind } from "./env.js";
+export const unifyPattern = (pattern, value, values) => {
+    switch (pattern._tag) {
+        case "Ref":
+            bind(values, pattern.slot, value);
+            return undefined;
+        case "Const":
+            return Equal.equals(value, pattern.value)
+                ? undefined
+                : { _tag: "ConstantMismatch", expected: pattern.value, actual: value };
+        case "Object": {
+            if (!Predicate.isObject(value) || Array.isArray(value)) {
+                return { _tag: "TypeMismatch", expected: "an object", actual: value };
+            }
+            for (const [key, field] of pattern.fields) {
+                if (!Object.hasOwn(value, key)) {
+                    return { _tag: "AtPath", path: key, issue: { _tag: "MissingField", field: key } };
+                }
+                const issue = unifyPattern(field, value[key], values);
+                if (issue !== undefined)
+                    return { _tag: "AtPath", path: key, issue };
+            }
+            return undefined;
+        }
+        case "Array": {
+            if (!Array.isArray(value))
+                return { _tag: "TypeMismatch", expected: "an array", actual: value };
+            if (value.length !== pattern.items.length) {
+                return {
+                    _tag: "InvalidValue",
+                    expected: `${pattern.items.length} items`,
+                    actual: value.length,
+                    detail: `expected ${pattern.items.length} items, got ${value.length}`,
+                };
+            }
+            for (const [index, item] of pattern.items.entries()) {
+                const issue = unifyPattern(item, value[index], values);
+                if (issue !== undefined)
+                    return { _tag: "AtPath", path: index, issue };
+            }
+            return undefined;
+        }
+    }
+};
+//# sourceMappingURL=pattern.js.map

package/dist/pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.js","sourceRoot":"","sources":["../src/pattern.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAA;AAGzC,OAAO,EAAE,IAAI,EAAc,MAAM,UAAU,CAAA;AAG3C,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,OAAgB,EAChB,KAAY,EACZ,MAAa,EACW,EAAE;IAC1B,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,KAAK;YACR,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACjC,OAAO,SAAS,CAAA;QAClB,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC;gBACvC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;QAC1E,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;YACvE,CAAC;YACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC1C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;oBAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAA;gBACnF,CAAC;gBACD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAA;gBACrD,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAA;YACtE,CAAC;YACD,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACvB,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;YACtE,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC1C,OAAO;oBACL,IAAI,EAAE,cAAc;oBACpB,QAAQ,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,QAAQ;oBACzC,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,MAAM,EAAE,YAAY,OAAO,CAAC,KAAK,CAAC,MAAM,eAAe,KAAK,CAAC,MAAM,EAAE;iBACtE,CAAA;YACH,CAAC;YACD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBACpD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAA;gBACtD,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;YACxE,CAAC;YACD,OAAO,SAAS,CAAA;QAClB,CAAC;IACH,CAAC;AACH,CAAC,CAAA"}

package/dist/print.d.ts

@@ -1,5 +1,6 @@
 import { Result } from "effect";
-import { type Grammar } from "./core.ts";
+import { type Grammar, type GrammarInternal, type Value } from "./core.ts";
 import { PrintError } from "./errors.ts";
+export declare const printUnknown: (grammar: GrammarInternal, value: Value) => Result.Result<string, PrintError>;
 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

@@ -1 +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"}
+{"version":3,"file":"print.d.ts","sourceRoot":"","sources":["../src/print.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE1C,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,eAAe,EAOpB,KAAK,KAAK,EACX,MAAM,WAAW,CAAA;AAElB,OAAO,EAA6B,UAAU,EAAmB,MAAM,aAAa,CAAA;AAwOpF,eAAO,MAAM,YAAY,YACd,eAAe,SACjB,KAAK,KACX,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAKlC,CAAA;AAED,eAAO,MAAM,KAAK,GAAI,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAC3D,CAAA"}