effect-grammar 0.2.0 → 0.4.0

package/dist/recovery.js

@@ -0,0 +1,296 @@
+import { Equal, Option, Predicate, Result } from "effect";
+import { nodeOf, } from "./core.js";
+import { bind, cloneFrame, evaluate, frame, localValue } from "./env.js";
+import { unifyPattern } from "./pattern.js";
+const unsafeToNever = (value) => {
+    // SAFETY: erased Node callbacks accept the runtime value produced for that node.
+    return value;
+};
+const sameRef = (left, right) => left.scope === right.scope && left.slot === right.slot;
+const addRef = (refs, ref) => {
+    if (!refs.some((candidate) => sameRef(candidate, ref)))
+        refs.push(ref);
+};
+const collectPatternRefs = (pattern, scope, slots) => {
+    switch (pattern._tag) {
+        case "Ref":
+            if (pattern.scope === scope)
+                slots.add(pattern.slot);
+            return;
+        case "Const":
+            return;
+        case "Object":
+            for (const [, field] of pattern.fields)
+                collectPatternRefs(field, scope, slots);
+            return;
+        case "Array":
+            for (const item of pattern.items)
+                collectPatternRefs(item, scope, slots);
+    }
+};
+const analyze = (grammar, seen) => {
+    const node = nodeOf(grammar);
+    if (seen.has(node))
+        return [];
+    seen.add(node);
+    const refs = [];
+    switch (node._tag) {
+        case "Wrap":
+        case "Label":
+        case "Transform":
+        case "TransformOrFail":
+            for (const ref of analyze(node.inner, seen))
+                addRef(refs, ref);
+            break;
+        case "Match":
+            if (node.scrutinee._tag === "Ref")
+                addRef(refs, node.scrutinee);
+            break;
+        case "Dependent":
+            if (node.recover !== undefined) {
+                for (const dep of node.deps)
+                    if (dep._tag === "Ref")
+                        addRef(refs, dep);
+            }
+            break;
+        case "Take":
+        case "RepeatExact":
+            if (node.count._tag === "Ref")
+                addRef(refs, node.count);
+            break;
+        case "Gen": {
+            const known = new Set();
+            collectPatternRefs(node.result, node.scope, known);
+            for (let index = node.steps.length - 1; index >= 0; index--) {
+                const step = node.steps[index];
+                if (step?._tag !== "Bind" || !known.has(step.slot))
+                    continue;
+                for (const ref of analyze(step.grammar, seen)) {
+                    if (ref.scope === node.scope)
+                        known.add(ref.slot);
+                    else
+                        addRef(refs, ref);
+                }
+            }
+            break;
+        }
+        case "Suspend":
+            if (node.resolved !== undefined) {
+                for (const ref of analyze(node.resolved, seen))
+                    addRef(refs, ref);
+            }
+            break;
+        case "Literal":
+        case "Regex":
+        case "Choice":
+        case "Many":
+        case "Optional":
+        case "Skip":
+            break;
+    }
+    seen.delete(node);
+    return refs;
+};
+export const recoverableRefs = (grammar) => analyze(grammar, new Set());
+const assignmentFor = (ref, value, env) => {
+    const current = evaluate(ref, env);
+    if (Option.isSome(current))
+        return Equal.equals(current.value, value) ? [] : undefined;
+    return [{ ref, value }];
+};
+const mergePlans = (left, right) => {
+    const merged = [...left];
+    for (const assignment of right) {
+        const current = merged.find((candidate) => sameRef(candidate.ref, assignment.ref));
+        if (current !== undefined) {
+            if (!Equal.equals(current.value, assignment.value))
+                return undefined;
+            continue;
+        }
+        merged.push(assignment);
+    }
+    return merged;
+};
+const evaluateWithPlan = (expr, env, plan) => {
+    if (expr._tag === "Ref") {
+        const assignment = plan.find((candidate) => sameRef(candidate.ref, expr));
+        return assignment === undefined ? evaluate(expr, env) : Option.some(assignment.value);
+    }
+    const object = evaluateWithPlan(expr.object, env, plan);
+    if (Option.isNone(object) || object.value === null || object.value === undefined) {
+        return Option.none();
+    }
+    const boxed = Object(object.value);
+    return Object.hasOwn(boxed, expr.key) ? Option.some(boxed[expr.key]) : Option.none();
+};
+const applyAssignments = (state, assignments) => {
+    const local = cloneFrame(state.local);
+    let external = state.external;
+    for (const assignment of assignments) {
+        if (assignment.ref.scope === local.scope) {
+            const current = localValue(local, assignment.ref.slot);
+            if (Option.isSome(current) && !Equal.equals(current.value, assignment.value))
+                return undefined;
+            bind(local, assignment.ref.slot, assignment.value);
+            continue;
+        }
+        const merged = mergePlans(external, [assignment]);
+        if (merged === undefined)
+            return undefined;
+        external = merged;
+    }
+    return { local, external };
+};
+const recoverGen = (node, value, env) => {
+    const initial = frame(node.scope, node.slotCount, env);
+    if (unifyPattern(node.result, value, initial) !== undefined)
+        return [];
+    let states = [{ local: initial, external: [] }];
+    for (let index = node.steps.length - 1; index >= 0; index--) {
+        const step = node.steps[index];
+        if (step?._tag !== "Bind")
+            continue;
+        const next = [];
+        for (const state of states) {
+            const bound = localValue(state.local, step.slot);
+            if (Option.isNone(bound))
+                continue;
+            for (const plan of recoverPlans(step.grammar, bound.value, state.local)) {
+                const applied = applyAssignments(state, plan);
+                if (applied !== undefined)
+                    next.push(applied);
+            }
+        }
+        states = next;
+    }
+    return states.map((state) => state.external);
+};
+const recoverDependent = (node, value, env) => {
+    if (node.recover === undefined)
+        return [[]];
+    let recovered;
+    try {
+        recovered = node.recover(unsafeToNever(value));
+    }
+    catch {
+        return [];
+    }
+    if (recovered === undefined)
+        return [];
+    let plan = [];
+    for (const [index, dep] of node.deps.entries()) {
+        const recoveredValue = recovered[index];
+        if (index >= recovered.length)
+            break;
+        if (dep._tag !== "Ref") {
+            const current = evaluate(dep, env);
+            if (Option.isNone(current) || !Equal.equals(current.value, recoveredValue))
+                return [];
+            continue;
+        }
+        const assignment = assignmentFor(dep, recoveredValue, env);
+        if (assignment === undefined)
+            return [];
+        const merged = mergePlans(plan, assignment);
+        if (merged === undefined)
+            return [];
+        plan = merged;
+    }
+    const values = node.deps.map((dep) => evaluateWithPlan(dep, env, plan));
+    if (values.some(Option.isNone))
+        return [plan];
+    let selected;
+    try {
+        selected = node.select(values.map((item) => unsafeToNever(Option.getOrThrow(item))));
+    }
+    catch {
+        return [];
+    }
+    if (selected === undefined)
+        return [plan];
+    const out = [];
+    for (const child of recoverPlans(selected, value, env)) {
+        const merged = mergePlans(plan, child);
+        if (merged !== undefined)
+            out.push(merged);
+    }
+    return out.length === 0 ? [plan] : out;
+};
+export const recoverPlans = (grammar, value, env) => {
+    const node = nodeOf(grammar);
+    switch (node._tag) {
+        case "Literal":
+        case "Regex":
+        case "Skip":
+        case "Many":
+        case "Optional":
+            return [[]];
+        case "Wrap":
+        case "Label":
+            return recoverPlans(node.inner, value, env);
+        case "Choice":
+            return node.options.flatMap((option) => recoverPlans(option, value, env));
+        case "Transform": {
+            try {
+                if (node.is?.(unsafeToNever(value)) === false)
+                    return [];
+                return recoverPlans(node.inner, node.encode(unsafeToNever(value)), env);
+            }
+            catch {
+                return [];
+            }
+        }
+        case "TransformOrFail": {
+            try {
+                if (node.is?.(unsafeToNever(value)) === false)
+                    return [];
+                const encoded = node.encode(unsafeToNever(value));
+                return Result.isFailure(encoded) ? [] : recoverPlans(node.inner, encoded.success, env);
+            }
+            catch {
+                return [];
+            }
+        }
+        case "Match": {
+            const current = evaluate(node.scrutinee, env);
+            const cases = Option.isSome(current)
+                ? node.cases.filter((matchCase) => Object.is(matchCase.key, current.value))
+                : node.cases;
+            const out = [];
+            for (const matchCase of cases) {
+                const selector = node.scrutinee._tag === "Ref"
+                    ? assignmentFor(node.scrutinee, matchCase.key, env)
+                    : Option.isSome(current) && Object.is(current.value, matchCase.key)
+                        ? []
+                        : undefined;
+                if (selector === undefined)
+                    continue;
+                for (const child of recoverPlans(matchCase.grammar, value, env)) {
+                    const merged = mergePlans(selector, child);
+                    if (merged !== undefined)
+                        out.push(merged);
+                }
+            }
+            return out;
+        }
+        case "Dependent":
+            return recoverDependent(node, value, env);
+        case "Take": {
+            if (node.count._tag !== "Ref" || !Predicate.isString(value))
+                return [[]];
+            const assignment = assignmentFor(node.count, value.length, env);
+            return assignment === undefined ? [] : [assignment];
+        }
+        case "RepeatExact": {
+            if (node.count._tag !== "Ref" || !Array.isArray(value))
+                return [[]];
+            const assignment = assignmentFor(node.count, value.length, env);
+            return assignment === undefined ? [] : [assignment];
+        }
+        case "Gen":
+            return recoverGen(node, value, env);
+        case "Suspend":
+            return node.resolved === undefined ? [[]] : recoverPlans(node.resolved, value, env);
+    }
+};
+//# sourceMappingURL=recovery.js.map

package/dist/recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recovery.js","sourceRoot":"","sources":["../src/recovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEzD,OAAO,EAGL,MAAM,GAMP,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAc,UAAU,EAAE,MAAM,UAAU,CAAA;AACpF,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAS3C,MAAM,aAAa,GAAG,CAAC,KAAY,EAAS,EAAE;IAC5C,iFAAiF;IACjF,OAAO,KAAc,CAAA;AACvB,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,IAAa,EAAE,KAAc,EAAE,EAAE,CAChD,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAA;AAExD,MAAM,MAAM,GAAG,CAAC,IAAoB,EAAE,GAAY,EAAQ,EAAE;IAC1D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACxE,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CAAC,OAAgB,EAAE,KAAc,EAAE,KAAkB,EAAQ,EAAE;IACxF,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,KAAK;YACR,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK;gBAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;YACpD,OAAM;QACR,KAAK,OAAO;YACV,OAAM;QACR,KAAK,QAAQ;YACX,KAAK,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM;gBAAE,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;YAC/E,OAAM;QACR,KAAK,OAAO;YACV,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK;gBAAE,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC5E,CAAC;AACH,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,OAAwB,EAAE,IAAe,EAA0B,EAAE;IACpF,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAA;IAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACd,MAAM,IAAI,GAAmB,EAAE,CAAA;IAE/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,iBAAiB;YACpB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;gBAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;YAC9D,MAAK;QACP,KAAK,OAAO;YACV,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK;gBAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;YAC/D,MAAK;QACP,KAAK,WAAW;YACd,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI;oBAAE,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;wBAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;YACxE,CAAC;YACD,MAAK;QACP,KAAK,MAAM,CAAC;QACZ,KAAK,aAAa;YAChB,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;gBAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YACvD,MAAK;QACP,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;YAC/B,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAClD,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;gBAC9B,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAQ;gBAC5D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;oBAC9C,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;wBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;;wBAC5C,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;gBACxB,CAAC;YACH,CAAC;YACD,MAAK;QACP,CAAC;QACD,KAAK,SAAS;YACZ,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;oBAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;YACnE,CAAC;YACD,MAAK;QACP,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,MAAM;YACT,MAAK;IACT,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACjB,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAwB,EAA0B,EAAE,CAClF,OAAO,CAAC,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;AAE7B,MAAM,aAAa,GAAG,CACpB,GAAY,EACZ,KAAY,EACZ,GAAsB,EACI,EAAE;IAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAClC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;IACtF,OAAO,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAA;AACzB,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,IAAkB,EAAE,KAAmB,EAA4B,EAAE;IACvF,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAA;IACxB,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;QAClF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAA;YACpE,SAAQ;QACV,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IACzB,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,gBAAgB,GAAG,CACvB,IAAU,EACV,GAAsB,EACtB,IAAkB,EACI,EAAE;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;QACzE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IACvF,CAAC;IAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IACvD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACjF,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAClC,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;AACtF,CAAC,CAAA;AAOD,MAAM,gBAAgB,GAAG,CAAC,KAAe,EAAE,WAAyB,EAAwB,EAAE;IAC5F,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACrC,IAAI,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAA;IAE7B,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACtD,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAA;YAC9F,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAA;YAClD,SAAQ;QACV,CAAC;QAED,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAA;QACjD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QAC1C,QAAQ,GAAG,MAAM,CAAA;IACnB,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA;AAC5B,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CACjB,IAAoC,EACpC,KAAY,EACZ,GAAsB,EACO,EAAE;IAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;IACtD,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IAEtE,IAAI,MAAM,GAA4B,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAA;IACxE,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC9B,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM;YAAE,SAAQ;QAEnC,MAAM,IAAI,GAAoB,EAAE,CAAA;QAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;YAChD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;gBAAE,SAAQ;YAClC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxE,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;gBAC7C,IAAI,OAAO,KAAK,SAAS;oBAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YAC/C,CAAC;QACH,CAAC;QACD,MAAM,GAAG,IAAI,CAAA;IACf,CAAC;IAED,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;AAC9C,CAAC,CAAA;AAED,MAAM,gBAAgB,GAAG,CACvB,IAA0C,EAC1C,KAAY,EACZ,GAAsB,EACO,EAAE;IAC/B,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IAE3C,IAAI,SAA2C,CAAA;IAC/C,IAAI,CAAC;QACH,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAA;IACX,CAAC;IACD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IAEtC,IAAI,IAAI,GAAiB,EAAE,CAAA;IAC3B,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QACvC,IAAI,KAAK,IAAI,SAAS,CAAC,MAAM;YAAE,MAAK;QACpC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YAClC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC;gBAAE,OAAO,EAAE,CAAA;YACrF,SAAQ;QACV,CAAC;QACD,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,CAAC,CAAA;QAC1D,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,EAAE,CAAA;QACvC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;QAC3C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,CAAA;QACnC,IAAI,GAAG,MAAM,CAAA;IACf,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;IACvE,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAA;IAE7C,IAAI,QAAqC,CAAA;IACzC,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IACtF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAA;IACX,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,CAAA;IAEzC,MAAM,GAAG,GAAwB,EAAE,CAAA;IACnC,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAC5C,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;AACxC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,OAAwB,EACxB,KAAY,EACZ,GAAsB,EACO,EAAE;IAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACb,OAAO,CAAC,EAAE,CAAC,CAAA;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;QAC7C,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAA;QAC3E,KAAK,WAAW,EAAE,CAAC;YACjB,IAAI,CAAC;gBACH,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK;oBAAE,OAAO,EAAE,CAAA;gBACxD,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;YACzE,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,CAAA;YACX,CAAC;QACH,CAAC;QACD,KAAK,iBAAiB,EAAE,CAAC;YACvB,IAAI,CAAC;gBACH,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK;oBAAE,OAAO,EAAE,CAAA;gBACxD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;gBACjD,OAAO,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;YACxF,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,CAAA;YACX,CAAC;QACH,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;YAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;gBAClC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC3E,CAAC,CAAC,IAAI,CAAC,KAAK,CAAA;YACd,MAAM,GAAG,GAAwB,EAAE,CAAA;YACnC,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GACZ,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK;oBAC3B,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC;oBACnD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC;wBACjE,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,SAAS,CAAA;gBACjB,IAAI,QAAQ,KAAK,SAAS;oBAAE,SAAQ;gBACpC,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;oBAChE,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;oBAC1C,IAAI,MAAM,KAAK,SAAS;wBAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBAC5C,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,WAAW;YACd,OAAO,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;QAC3C,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YACxE,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;YAC/D,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;QACrD,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACnB,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YACnE,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;YAC/D,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;QACrD,CAAC;QACD,KAAK,KAAK;YACR,OAAO,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;QACrC,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;IACvF,CAAC;AACH,CAAC,CAAA"}

package/dist/render.d.ts

@@ -1,5 +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;
+import { type GrammarInternal, type Step } from "./core.ts";
+export declare const render: (grammar: GrammarInternal) => string;
+export declare const describe: (grammar: GrammarInternal) => string;
+export declare const describeStep: (step: Step, index: number) => string;
 //# sourceMappingURL=render.d.ts.map

package/dist/render.d.ts.map

@@ -1 +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"}
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../src/render.ts"],"names":[],"mappings":"AAEA,OAAO,EAGL,KAAK,eAAe,EAMpB,KAAK,IAAI,EACV,MAAM,WAAW,CAAA;AA6KlB,eAAO,MAAM,MAAM,YAAa,eAAe,KAAG,MACc,CAAA;AAEhE,eAAO,MAAM,QAAQ,YAAa,eAAe,KAAG,MAGnD,CAAA;AAED,eAAO,MAAM,YAAY,SAAU,IAAI,SAAS,MAAM,KAAG,MACR,CAAA"}

package/dist/render.js

@@ -1,64 +1,155 @@
-import { isField, resolve } from "./core.js";
+import { Predicate } from "effect";
+import { nodeOf, resolve, } from "./core.js";
+import { preview } from "./errors.js";
+const ChoicePrecedence = 1;
+const SequencePrecedence = 2;
+const PostfixPrecedence = 3;
+const AtomPrecedence = 4;
 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) {
+const parenthesize = (fragment, minimum) => fragment.precedence < minimum ? `(${fragment.text})` : fragment.text;
+const sequence = (fragments) => ({
+    precedence: SequencePrecedence,
+    text: fragments
+        .filter((fragment) => fragment.text !== "")
+        .map((fragment) => parenthesize(fragment, SequencePrecedence))
+        .join(" "),
+});
+const namesFor = (context, scope) => {
+    const existing = context.names.get(scope);
+    if (existing !== undefined)
+        return existing;
+    const names = new Map();
+    context.names.set(scope, names);
+    return names;
+};
+const nameBindings = (pattern, path, scope, names) => {
+    switch (pattern._tag) {
+        case "Ref":
+            if (pattern.scope === scope && path !== undefined)
+                names.set(pattern.slot, path);
+            return;
+        case "Const":
+            return;
+        case "Object":
+            for (const [key, field] of pattern.fields) {
+                nameBindings(field, path === undefined ? key : `${path}.${key}`, scope, names);
+            }
+            return;
+        case "Array":
+            pattern.items.forEach((item, index) => {
+                nameBindings(item, path === undefined ? String(index) : `${path}.${index}`, scope, names);
+            });
+    }
+};
+const showExpr = (expr, context) => {
+    if (expr._tag === "Ref")
+        return context.names.get(expr.scope)?.get(expr.slot) ?? `$${expr.slot}`;
+    const object = showExpr(expr.object, context);
+    return Predicate.isString(expr.key) && /^[A-Za-z_$][\w$]*$/.test(expr.key)
+        ? `${object}.${expr.key}`
+        : `${object}[${preview(expr.key)}]`;
+};
+const show = (grammar, context) => {
+    const node = nodeOf(grammar);
+    switch (node._tag) {
         case "Literal":
-            return n.value === "" ? "" : JSON.stringify(n.value);
+            return {
+                precedence: AtomPrecedence,
+                text: node.value === "" ? "" : JSON.stringify(node.value),
+            };
         case "Regex":
-            return `<${n.name}>`;
-        case "Seq":
-            return words(n.parts.map((p) => showPart(p, seen)));
+            return { precedence: AtomPrecedence, text: `<${node.name}>` };
         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);
+            const names = namesFor(context, node.scope);
+            if (context.includeBindings)
+                nameBindings(node.result, undefined, node.scope, names);
+            return sequence(node.steps.map((step) => {
+                const inner = show(step.grammar, context);
+                const name = step._tag === "Bind" ? names.get(step.slot) : undefined;
+                return name === undefined
+                    ? inner
+                    : {
+                        precedence: AtomPrecedence,
+                        text: `${name}:${parenthesize(inner, PostfixPrecedence)}`,
+                    };
+            }));
         }
         case "Wrap":
-            return words([show(n.open, seen), show(n.inner, seen), show(n.close, seen)]);
+            return sequence([
+                show(node.open, context),
+                show(node.inner, context),
+                show(node.close, context),
+            ]);
         case "Choice":
-            return `(${n.options.map((o) => show(o, seen)).join(" | ")})`;
+            return {
+                precedence: ChoicePrecedence,
+                text: node.options
+                    .map((option) => parenthesize(show(option, context), SequencePrecedence))
+                    .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;
+            const inner = show(node.inner, context);
+            const sep = show(node.sep, context);
+            if (sep.text === "" || node.max === 0) {
+                return {
+                    precedence: PostfixPrecedence,
+                    text: `(${inner.text})${repetition(node)}`,
+                };
+            }
+            const rest = repetition({
+                min: Math.max(0, node.min - 1),
+                max: node.max === Number.POSITIVE_INFINITY ? node.max : Math.max(0, node.max - 1),
+            });
+            const body = `${parenthesize(inner, SequencePrecedence)} (${parenthesize(sep, SequencePrecedence)} ${parenthesize(inner, SequencePrecedence)})${rest}`;
+            return node.min === 0
+                ? { precedence: PostfixPrecedence, text: `(${body})?` }
+                : { precedence: SequencePrecedence, text: body };
         }
         case "Optional":
-            return `(${show(n.inner, seen)})?`;
+            return { precedence: PostfixPrecedence, text: `(${show(node.inner, context).text})?` };
         case "Transform":
         case "Label":
-            return show(n.inner, seen);
+            return show(node.inner, context);
         case "Skip":
-            return n.show ? show(n.inner, seen) : "";
+            return node.show ? show(node.inner, context) : { precedence: AtomPrecedence, text: "" };
         case "Suspend": {
-            if (seen.has(n))
-                return n.name ?? "…";
-            seen.add(n);
-            const s = show(resolve(n), seen);
-            seen.delete(n);
-            return s;
+            if (context.seen.has(node)) {
+                return { precedence: AtomPrecedence, text: node.name ?? "…" };
+            }
+            context.seen.add(node);
+            const fragment = show(resolve(node), context);
+            context.seen.delete(node);
+            return fragment;
         }
+        case "Match": {
+            const cases = node.cases.map((matchCase) => `${preview(matchCase.key)} => ${show(matchCase.grammar, context).text}`);
+            return {
+                precedence: AtomPrecedence,
+                text: `match(${showExpr(node.scrutinee, context)}){${cases.join(" | ")}}`,
+            };
+        }
+        case "Take":
+            return { precedence: AtomPrecedence, text: `<char>{${showExpr(node.count, context)}}` };
+        case "RepeatExact":
+            return {
+                precedence: PostfixPrecedence,
+                text: `(${show(node.inner, context).text}){${showExpr(node.count, context)}}`,
+            };
     }
 };
-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);
+const context = (includeBindings) => ({
+    seen: new Set(),
+    names: new Map(),
+    includeBindings,
+});
+export const render = (grammar) => parenthesize(show(grammar, context(true)), SequencePrecedence);
+export const describe = (grammar) => {
+    const node = nodeOf(grammar);
+    return node._tag === "Regex" || node._tag === "Label" ? node.name : render(grammar);
+};
+export const describeStep = (step, index) => `step ${index + 1} (${describe(step.grammar)})`;
 //# sourceMappingURL=render.js.map

package/dist/render.js.map

@@ -1 +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"}
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../src/render.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAA;AAElC,OAAO,EAIL,MAAM,EAGN,OAAO,GAGR,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AAErC,MAAM,gBAAgB,GAAG,CAAC,CAAA;AAC1B,MAAM,kBAAkB,GAAG,CAAC,CAAA;AAC5B,MAAM,iBAAiB,GAAG,CAAC,CAAA;AAC3B,MAAM,cAAc,GAAG,CAAC,CAAA;AAaxB,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,YAAY,GAAG,CAAC,QAAkB,EAAE,OAAe,EAAU,EAAE,CACnE,QAAQ,CAAC,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAA;AAEtE,MAAM,QAAQ,GAAG,CAAC,SAAkC,EAAY,EAAE,CAAC,CAAC;IAClE,UAAU,EAAE,kBAAkB;IAC9B,IAAI,EAAE,SAAS;SACZ,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;SAC1C,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;SAC7D,IAAI,CAAC,GAAG,CAAC;CACb,CAAC,CAAA;AAEF,MAAM,QAAQ,GAAG,CAAC,OAAgB,EAAE,KAAc,EAAuB,EAAE;IACzE,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACzC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAA;IAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAA;IACvC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC/B,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CACnB,OAAgB,EAChB,IAAwB,EACxB,KAAc,EACd,KAA0B,EACpB,EAAE;IACR,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,KAAK;YACR,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK,IAAI,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YAChF,OAAM;QACR,KAAK,OAAO;YACV,OAAM;QACR,KAAK,QAAQ;YACX,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC1C,YAAY,CAAC,KAAK,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;YAChF,CAAC;YACD,OAAM;QACR,KAAK,OAAO;YACV,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACpC,YAAY,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;YAC3F,CAAC,CAAC,CAAA;IACN,CAAC;AACH,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAE,OAAgB,EAAU,EAAE;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAA;IAChG,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC7C,OAAO,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACxE,CAAC,CAAC,GAAG,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE;QACzB,CAAC,CAAC,GAAG,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;AACvC,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,CAAC,OAAwB,EAAE,OAAgB,EAAY,EAAE;IACpE,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO;gBACL,UAAU,EAAE,cAAc;gBAC1B,IAAI,EAAE,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;aAC1D,CAAA;QACH,KAAK,OAAO;YACV,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,IAAI,GAAG,EAAE,CAAA;QAC/D,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YAC3C,IAAI,OAAO,CAAC,eAAe;gBAAE,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACpF,OAAO,QAAQ,CACb,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;gBACtB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;gBACzC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;gBACpE,OAAO,IAAI,KAAK,SAAS;oBACvB,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC;wBACE,UAAU,EAAE,cAAc;wBAC1B,IAAI,EAAE,GAAG,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,iBAAiB,CAAC,EAAE;qBAC1D,CAAA;YACP,CAAC,CAAC,CACH,CAAA;QACH,CAAC;QACD,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC;gBACd,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;aAC1B,CAAC,CAAA;QACJ,KAAK,QAAQ;YACX,OAAO;gBACL,UAAU,EAAE,gBAAgB;gBAC5B,IAAI,EAAE,IAAI,CAAC,OAAO;qBACf,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,kBAAkB,CAAC,CAAC;qBACxE,IAAI,CAAC,KAAK,CAAC;aACf,CAAA;QACH,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;YACvC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;YACnC,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,UAAU,EAAE,iBAAiB;oBAC7B,IAAI,EAAE,IAAI,KAAK,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE;iBAC3C,CAAA;YACH,CAAC;YACD,MAAM,IAAI,GAAG,UAAU,CAAC;gBACtB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC9B,GAAG,EAAE,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;aAClF,CAAC,CAAA;YACF,MAAM,IAAI,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,kBAAkB,CAAC,KAAK,YAAY,CAAC,GAAG,EAAE,kBAAkB,CAAC,IAAI,YAAY,CAAC,KAAK,EAAE,kBAAkB,CAAC,IAAI,IAAI,EAAE,CAAA;YACtJ,OAAO,IAAI,CAAC,GAAG,KAAK,CAAC;gBACnB,CAAC,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE;gBACvD,CAAC,CAAC,EAAE,UAAU,EAAE,kBAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;QACpD,CAAC;QACD,KAAK,UAAU;YACb,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,IAAI,IAAI,EAAE,CAAA;QACxF,KAAK,WAAW,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;QAClC,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;QACzF,KAAK,SAAS,EAAE,CAAC;YACf,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,CAAA;YAC/D,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;YAC7C,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;YACzB,OAAO,QAAQ,CAAA;QACjB,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAC1B,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CACvF,CAAA;YACD,OAAO;gBACL,UAAU,EAAE,cAAc;gBAC1B,IAAI,EAAE,SAAS,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;aAC1E,CAAA;QACH,CAAC;QACD,KAAK,MAAM;YACT,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,CAAA;QACzF,KAAK,aAAa;YAChB,OAAO;gBACL,UAAU,EAAE,iBAAiB;gBAC7B,IAAI,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG;aAC9E,CAAA;IACL,CAAC;AACH,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,eAAwB,EAAW,EAAE,CAAC,CAAC;IACtD,IAAI,EAAE,IAAI,GAAG,EAAE;IACf,KAAK,EAAE,IAAI,GAAG,EAAE;IAChB,eAAe;CAChB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAAwB,EAAU,EAAE,CACzD,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAA;AAEhE,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAwB,EAAU,EAAE;IAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IAC5B,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;AACrF,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAU,EAAE,KAAa,EAAU,EAAE,CAChE,QAAQ,KAAK,GAAG,CAAC,KAAK,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAA"}

package/dist/schema.d.ts

@@ -1,6 +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?: {
+export declare const codec: <S extends Schema.Top, A extends S["Encoded"]>(grammar: Grammar<A>, target: S, options?: {
     readonly identifier?: string;
 }) => Schema.decodeTo<S, Schema.String, never, never>;
 //# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -1 +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"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAqC,MAAM,QAAQ,CAAA;AAE1E,OAAO,KAAK,EAAE,OAAO,EAAS,MAAM,WAAW,CAAA;AAc/C,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,WACvD,OAAO,CAAC,CAAC,CAAC,UACX,CAAC,YACC;IAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,oDAiBzC,CAAA"}

package/dist/schema.js

@@ -1,9 +1,16 @@
-import { Effect, Option, Schema, SchemaIssue, SchemaTransformation } from "effect";
+import { Effect, Schema, SchemaIssue, SchemaTransformation } from "effect";
+import { PrintError } from "./errors.js";
 import { parse } from "./parse.js";
-import { print } from "./print.js";
+import { printUnknown } 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 }))),
+const printIssueToSchema = (actual, issue) => {
+    if (issue._tag === "AtPath") {
+        return new SchemaIssue.Pointer([issue.path], printIssueToSchema(actual, issue.issue));
+    }
+    return new SchemaIssue.InvalidValue({ message: PrintError.format(issue) }, actual);
+};
+export const codec = (grammar, target, options) => Schema.String.pipe(Schema.decodeTo(target, SchemaTransformation.transformOrFail({
+    decode: (text) => Effect.fromResult(parse(grammar, text)).pipe(Effect.mapError(({ message }) => new SchemaIssue.InvalidValue({ message }, text))),
+    encode: (value) => Effect.fromResult(printUnknown(grammar, value)).pipe(Effect.mapError((error) => printIssueToSchema(value, error.issue))),
 })), Schema.annotate({ ...options, description: render(grammar) }));
 //# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -1 +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"}
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,QAAQ,CAAA;AAI1E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,MAAM,kBAAkB,GAAG,CAAC,MAAa,EAAE,KAAiB,EAAqB,EAAE;IACjF,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACvF,CAAC;IACD,OAAO,IAAI,WAAW,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;AACpF,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,OAAmB,EACnB,MAAS,EACT,OAA0C,EAC1C,EAAE,CACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAChB,MAAM,CAAC,QAAQ,CACb,MAAM,EACN,oBAAoB,CAAC,eAAe,CAAuB;IACzD,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CACf,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAC1C,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC,CAClF;IACH,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAClD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CACnE;CACJ,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,EAAE,GAAG,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAC9D,CAAA"}