effect-grammar 0.0.1 → 0.1.0

package/dist/core.d.ts

@@ -0,0 +1,85 @@
+import { Pipeable, type Types } from "effect";
+export type Part = Field<string, any> | Grammar<any>;
+export interface Bounds {
+    readonly min: number;
+    readonly max: number;
+}
+export type Node = {
+    readonly _tag: "Literal";
+    readonly value: string;
+} | {
+    readonly _tag: "Regex";
+    readonly re: RegExp;
+    readonly whole: RegExp;
+    readonly name: string;
+} | {
+    readonly _tag: "Seq";
+    readonly parts: ReadonlyArray<Part>;
+} | {
+    readonly _tag: "Gen";
+    readonly run: () => Generator<Part, any, any>;
+} | {
+    readonly _tag: "Wrap";
+    readonly open: Silent;
+    readonly inner: Grammar<any>;
+    readonly close: Silent;
+} | {
+    readonly _tag: "Choice";
+    readonly options: ReadonlyArray<Grammar<any>>;
+} | ({
+    readonly _tag: "Many";
+    readonly inner: Grammar<any>;
+    readonly sep: Silent;
+} & Bounds) | {
+    readonly _tag: "Optional";
+    readonly inner: Grammar<any>;
+} | {
+    readonly _tag: "Transform";
+    readonly inner: Grammar<any>;
+    readonly decode: (a: any) => any;
+    readonly encode: (b: any) => any;
+    readonly is?: ((value: any) => boolean) | undefined;
+    readonly name?: string | undefined;
+} | {
+    readonly _tag: "Skip";
+    readonly inner: Grammar<any>;
+    readonly printAs: any;
+    readonly show: boolean;
+} | {
+    readonly _tag: "Label";
+    readonly inner: Grammar<any>;
+    readonly name: string;
+} | {
+    readonly _tag: "Suspend";
+    readonly thunk: () => Grammar<any>;
+    readonly name?: string | undefined;
+    resolved?: Grammar<any> | undefined;
+};
+export interface Grammar<out A> extends Pipeable.Pipeable {
+    readonly _A: Types.Covariant<A>;
+    readonly node: Node;
+}
+export interface Silent extends Grammar<void> {
+    [Symbol.iterator](): Iterator<Silent, void>;
+}
+export interface Field<K extends string, A> {
+    readonly name: K;
+    readonly grammar: Grammar<A>;
+    [Symbol.iterator](): Iterator<Field<K, A>, A>;
+}
+export declare const make: <A>(node: Node) => Grammar<A>;
+export declare const silent: (node: Node) => Silent;
+export declare const field: <const K extends string, G extends Grammar<any>>(name: K, grammar: G) => Field<K, Type<G>>;
+export declare const isGrammar: (value: any) => value is Grammar<any>;
+export declare const isSilent: (g: Grammar<any>) => g is Silent;
+export declare const isField: (p: Part) => p is Field<string, any>;
+export declare const resolve: (n: Extract<Node, {
+    _tag: "Suspend";
+}>) => Grammar<any>;
+export type Type<G> = G extends Grammar<infer A> ? A : never;
+type Names<Y> = Y extends Field<infer K, any> ? K : never;
+export type Fields<Y> = {
+    [K in Names<Y>]: Y extends Field<K, infer A> ? A : never;
+};
+export {};
+//# sourceMappingURL=core.d.ts.map

package/dist/core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../src/core.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,KAAK,KAAK,EAAS,MAAM,QAAQ,CAAA;AAEpD,MAAM,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;AAEpD,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACrB;AAED,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACpD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IAEtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IAEnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE,GACvE;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GAC1E,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAAC,GACxF;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;CAAE,GAC3D;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAA;IAChC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,OAAO,CAAC,GAAG,SAAS,CAAA;IACnD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CACvB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC/E;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,CAAA;IAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAClC,QAAQ,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,SAAS,CAAA;CACpC,CAAA;AAEL,MAAM,WAAW,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,QAAQ,CAAC,QAAQ;IACvD,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACpB;AAGD,MAAM,WAAW,MAAO,SAAQ,OAAO,CAAC,IAAI,CAAC;IAC3C,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;CAC5C;AAED,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IAC5B,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAC9C;AA+BD,eAAO,MAAM,IAAI,GAAI,CAAC,QAAQ,IAAI,KAAG,OAAO,CAAC,CAAC,CAA6B,CAAA;AAC3E,eAAO,MAAM,MAAM,SAAU,IAAI,KAAG,MAA8B,CAAA;AAClE,eAAO,MAAM,KAAK,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,QAC5D,CAAC,WACE,CAAC,KACT,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAiC,CAAA;AAEpD,eAAO,MAAM,SAAS,UAAW,GAAG,KAAG,KAAK,IAAI,OAAO,CAAC,GAAG,CAAiC,CAAA;AAC5F,eAAO,MAAM,QAAQ,MAAO,OAAO,CAAC,GAAG,CAAC,KAAG,CAAC,IAAI,MAAiC,CAAA;AACjF,eAAO,MAAM,OAAO,MAAO,IAAI,KAAG,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,GAAG,CAA2B,CAAA;AAEnF,eAAO,MAAM,OAAO,MAAO,OAAO,CAAC,IAAI,EAAE;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,KAAG,OAAO,CAAC,GAAG,CAC/C,CAAA;AAE5B,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE5D,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEzD,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAA"}

package/dist/core.js

@@ -0,0 +1,34 @@
+import { Pipeable, Utils } from "effect";
+class GrammarImpl {
+    node;
+    constructor(node) {
+        this.node = node;
+    }
+    pipe() {
+        return Pipeable.pipeArguments(this, arguments);
+    }
+}
+class SilentImpl extends GrammarImpl {
+    [Symbol.iterator]() {
+        return new Utils.SingleShotGen(this);
+    }
+}
+class FieldImpl {
+    name;
+    grammar;
+    constructor(name, grammar) {
+        this.name = name;
+        this.grammar = grammar;
+    }
+    [Symbol.iterator]() {
+        return new Utils.SingleShotGen(this);
+    }
+}
+export const make = (node) => new GrammarImpl(node);
+export const silent = (node) => new SilentImpl(node);
+export const field = (name, grammar) => new FieldImpl(name, grammar);
+export const isGrammar = (value) => value instanceof GrammarImpl;
+export const isSilent = (g) => g instanceof SilentImpl;
+export const isField = (p) => p instanceof FieldImpl;
+export const resolve = (n) => (n.resolved ??= n.thunk());
+//# sourceMappingURL=core.js.map

package/dist/core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../src/core.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAc,KAAK,EAAE,MAAM,QAAQ,CAAA;AAoEpD,MAAM,WAAW;IAEN,IAAI,CAAM;IACnB,YAAY,IAAU;QACpB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;IAClB,CAAC;IACD,IAAI;QACF,OAAO,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IAChD,CAAC;CACF;AAED,MAAM,UAAW,SAAQ,WAAiB;IACxC,CAAC,MAAM,CAAC,QAAQ,CAAC;QACf,OAAO,IAAI,KAAK,CAAC,aAAa,CAAe,IAAI,CAAC,CAAA;IACpD,CAAC;CACF;AAED,MAAM,SAAS;IACJ,IAAI,CAAG;IACP,OAAO,CAAY;IAC5B,YAAY,IAAO,EAAE,OAAmB;QACtC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IACxB,CAAC;IACD,CAAC,MAAM,CAAC,QAAQ,CAAC;QACf,OAAO,IAAI,KAAK,CAAC,aAAa,CAAiB,IAAI,CAAC,CAAA;IACtD,CAAC;CACF;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,IAAU,EAAc,EAAE,CAAC,IAAI,WAAW,CAAI,IAAI,CAAC,CAAA;AAC3E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAA;AAClE,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,IAAO,EACP,OAAU,EACS,EAAE,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;AAEpD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAU,EAAyB,EAAE,CAAC,KAAK,YAAY,WAAW,CAAA;AAC5F,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAe,EAAe,EAAE,CAAC,CAAC,YAAY,UAAU,CAAA;AACjF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAO,EAA2B,EAAE,CAAC,CAAC,YAAY,SAAS,CAAA;AAEnF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAqC,EAAgB,EAAE,CAC7E,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAA"}

package/dist/errors.d.ts

@@ -0,0 +1,19 @@
+import { Schema } from "effect";
+declare const ParseError_base: Schema.Class<ParseError, Schema.TaggedStruct<"ParseError", {
+    readonly pos: Schema.Finite;
+    readonly line: Schema.Finite;
+    readonly column: Schema.Finite;
+    readonly expected: Schema.$Array<Schema.String>;
+    readonly found: Schema.UndefinedOr<Schema.String>;
+}>, import("effect/Cause").YieldableError>;
+export declare class ParseError extends ParseError_base {
+    get message(): string;
+}
+declare const PrintError_base: Schema.Class<PrintError, Schema.TaggedStruct<"PrintError", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+export declare class PrintError extends PrintError_base {
+}
+export declare const preview: <T>(value: T) => string;
+export {};
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;;;;;;;;AAE/B,qBAAa,UAAW,SAAQ,eAM9B;IACA,IAAa,OAAO,IAAI,MAAM,CAK7B;CACF;;;;AAED,qBAAa,UAAW,SAAQ,eAE9B;CAAG;AAEL,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,CAAC,KAAG,MAMrC,CAAA"}

package/dist/errors.js

@@ -0,0 +1,27 @@
+import { Schema } from "effect";
+export class ParseError extends Schema.TaggedErrorClass()("ParseError", {
+    pos: Schema.Finite,
+    line: Schema.Finite,
+    column: Schema.Finite,
+    expected: Schema.Array(Schema.String),
+    found: Schema.UndefinedOr(Schema.String),
+}) {
+    get message() {
+        const found = this.found === undefined ? "end of input" : JSON.stringify(this.found);
+        const expected = this.expected.length === 1 ? this.expected[0] : `one of ${this.expected.join(", ")}`;
+        return `line ${this.line}, column ${this.column}: expected ${expected}, found ${found}`;
+    }
+}
+export class PrintError extends Schema.TaggedErrorClass()("PrintError", {
+    message: Schema.String,
+}) {
+}
+export const preview = (value) => {
+    try {
+        return JSON.stringify(value) ?? String(value);
+    }
+    catch {
+        return String(value);
+    }
+};
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.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,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACrC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CAAC;IACA,IAAa,OAAO;QAClB,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,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;QACtF,OAAO,QAAQ,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,MAAM,cAAc,QAAQ,WAAW,KAAK,EAAE,CAAA;IACzF,CAAC;CACF;AAED,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,gBAAgB,EAAc,CAAC,YAAY,EAAE;IAClF,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,KAAQ,EAAU,EAAE;IAC7C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAA;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IACtB,CAAC;AACH,CAAC,CAAA"}

package/dist/grammar.d.ts

@@ -1,191 +1,8 @@
-import { Effect, Schema, Scope, Stream } from "effect";
-import { ParseError, UpstreamError } from "./error.ts";
-import { ParseState } from "./state.ts";
-declare const PrintError_base: Schema.Class<PrintError, Schema.TaggedStruct<"PrintError", {
-    readonly message: Schema.String;
-}>, import("effect/Cause").YieldableError>;
-export declare class PrintError extends PrintError_base {
-}
-declare const RoundTripError_base: Schema.Class<RoundTripError, Schema.TaggedStruct<"RoundTripError", {
-    readonly stage: Schema.Literals<readonly ["print", "parse", "equal"]>;
-    readonly message: Schema.String;
-}>, import("effect/Cause").YieldableError>;
-/**
- * Failure of {@link checkRoundTrip}. `stage` names which step broke:
- * - `"print"` — the value could not be printed
- * - `"parse"` — the printed string failed to re-parse
- * - `"equal"` — re-parse succeeded but the value differed
- */
-export declare class RoundTripError extends RoundTripError_base {
-}
-declare const typeId: unique symbol;
-export interface Literal {
-    readonly _tag: "Literal";
-    readonly value: string;
-}
-export interface Regex {
-    readonly _tag: "Regex";
-    readonly re: RegExp;
-    readonly expected: string;
-}
-export interface MapNode {
-    readonly _tag: "Map";
-    readonly inner: Grammar<any>;
-    readonly to: (a: any) => any;
-    readonly from: ((b: any) => any) | undefined;
-}
-export interface StructNode {
-    readonly _tag: "Struct";
-    readonly fields: Record<string, Grammar<any>>;
-}
-export interface Choice {
-    readonly _tag: "Choice";
-    readonly options: ReadonlyArray<Grammar<any>>;
-}
-export interface Many {
-    readonly _tag: "Many";
-    readonly inner: Grammar<any>;
-    readonly atLeast: number;
-}
-export interface SepBy {
-    readonly _tag: "SepBy";
-    readonly inner: Grammar<any>;
-    readonly sep: Grammar<any>;
-    readonly atLeast: number;
-}
-export interface Optional {
-    readonly _tag: "Optional";
-    readonly inner: Grammar<any>;
-}
-export interface Attempt {
-    readonly _tag: "Attempt";
-    readonly inner: Grammar<any>;
-}
-export interface FromEffect {
-    readonly _tag: "FromEffect";
-    readonly eff: Effect.Effect<any, ParseError, ParseState>;
-    readonly expected: string;
-}
-export interface Lazy {
-    readonly _tag: "Lazy";
-    readonly thunk: () => Grammar<any>;
-    readonly name: string | undefined;
-    /** Memoized `thunk()` result, filled in on first use. */
-    resolved?: Grammar<any>;
-}
-export interface End {
-    readonly _tag: "End";
-}
-export interface Bind {
-    readonly _tag: "Bind";
-    readonly inner: Grammar<any>;
-    readonly to: (a: any) => Grammar<any>;
-    readonly from: ((b: any) => any) | undefined;
-}
-export interface Count {
-    readonly _tag: "Count";
-    readonly inner: Grammar<any>;
-    readonly n: number;
-}
-export interface Guard {
-    readonly _tag: "Guard";
-    readonly inner: Grammar<any>;
-    readonly pred: (value: any) => boolean;
-}
-export interface Label {
-    readonly _tag: "Label";
-    readonly expected: string;
-    readonly inner: Grammar<any>;
-}
-export type Node = Literal | Regex | MapNode | StructNode | Choice | Many | SepBy | Optional | Attempt | FromEffect | Lazy | End | Bind | Count | Guard | Label;
-export type Grammar<A> = Node & {
-    readonly [typeId]?: A;
-};
-export type GrammarType<G> = G extends Grammar<infer A> ? A : never;
-export declare const literal: <L extends string>(value: L) => Grammar<L>;
-/** Clone the pattern and drop `g`/`y` so `lastIndex` and sticky start never affect matching. */
-export declare const regex: (re: RegExp, expected: string) => Grammar<string>;
-export declare const map: <A, B>(inner: Grammar<A>, f: {
-    readonly to: (a: A) => B;
-    readonly from?: (b: B) => A;
-}) => Grammar<B>;
-export declare const struct: <F extends Record<string, Grammar<any>>>(fields: F) => Grammar<{ [K in keyof F]: GrammarType<F[K]>; }>;
-export declare const choice: <Gs extends readonly [Grammar<any>, ...Array<Grammar<any>>]>(...options: Gs) => Grammar<GrammarType<Gs[number]>>;
-export declare const many: <A>(inner: Grammar<A>, opts?: {
-    readonly atLeast?: number;
-}) => Grammar<Array<A>>;
-export declare const sepBy: <A, S>(inner: Grammar<A>, sep: Grammar<S>) => Grammar<Array<A>>;
-/** Like `sepBy`, but requires at least one element — the first failure propagates. */
-export declare const sepBy1: <A, S>(inner: Grammar<A>, sep: Grammar<S>) => Grammar<Array<A>>;
-export declare const optional: <A>(inner: Grammar<A>) => Grammar<A | undefined>;
-/**
- * Rewind on failure: if `inner` fails after consuming input, restore the
- * position so an enclosing `choice` tries its next option.
- */
-export declare const attempt: <A>(inner: Grammar<A>) => Grammar<A>;
-/**
- * Print-time filter: parse runs `inner` unchanged, but printing fails with
- * `PrintError` when `pred(value)` is false — so an enclosing `choice` moves
- * on to its next option.
- */
-export declare const guard: <A>(inner: Grammar<A>, pred: (value: A) => boolean) => Grammar<A>;
-/**
- * Name a grammar for error messages. Replaces `expected` only when `inner`
- * fails without consuming input. Print is transparent; render shows
- * `<expected>` when `inner` is a raw regex.
- */
-export declare const label: <A>(expected: string, inner: Grammar<A>) => Grammar<A>;
-export declare const fromEffect: <A>(eff: Effect.Effect<A, ParseError, ParseState>, expected: string) => Grammar<A>;
-/**
- * Defer grammar construction to first use — the building block for recursive
- * grammars. The thunk result is memoized on the node. `name` is what `render`
- * shows at the recursion point.
- */
-export declare const lazy: <A>(thunk: () => Grammar<A>, opts?: {
-    readonly name?: string;
-}) => Grammar<A>;
-/** Zero-width assertion: succeeds only at end of input. Prints as "". */
-export declare const end: Grammar<void>;
-/**
- * Dependent parsing: the grammar that runs next is computed from the value
- * just parsed (e.g. a length prefix deciding how many chars to read).
- * Printable when `from` recovers the intermediate value from the result.
- */
-export declare const bind: <A, B>(inner: Grammar<A>, f: {
-    readonly to: (a: A) => Grammar<B>;
-    readonly from?: (b: B) => A;
-}) => Grammar<B>;
-/** Run `inner` exactly `n` times, collecting the results. */
-export declare const count: <A>(inner: Grammar<A>, n: number) => Grammar<Array<A>>;
-export declare const integer: Grammar<number>;
-/** Run `inner`, then skip trailing whitespace. Printing emits one canonical space. */
-export declare const lexeme: <A>(inner: Grammar<A>) => Grammar<A>;
-/** A literal that skips trailing whitespace. */
-export declare const symbol: <L extends string>(s: L) => Grammar<L>;
-/**
- * Run `open`, `inner`, `close` in sequence, keeping only `inner`'s value.
- * Print supplies `undefined` for open/close — they must be value-ignoring
- * printers (`literal`, `symbol`, `end`, or a transparent wrapper around those).
- */
-export declare const between: <O, C, A>(open: Grammar<O>, close: Grammar<C>, inner: Grammar<A>) => Grammar<A>;
-export declare const parse: <A>(input: string, grammar: Grammar<A>) => Effect.Effect<A, ParseError>;
-/** Like `parse`, but leaves the cursor wherever the grammar stopped — trailing input is allowed. */
-export declare const parsePrefix: <A>(input: string, grammar: Grammar<A>) => Effect.Effect<A, ParseError>;
-/** Run a grammar once over a stream of chunks. See `parseStream` in `stream.ts`. */
-export declare const parseStream: <A, E2, R2>(input: Stream.Stream<string, E2, R2>, grammar: Grammar<A>) => Effect.Effect<A, ParseError | UpstreamError, Exclude<R2, Scope.Scope>>;
-/** Parse a stream of chunks into a stream of values, one per grammar run. */
-export declare const streamElements: <A, E2, R2>(input: Stream.Stream<string, E2, R2>, grammar: Grammar<A>) => Stream.Stream<A, ParseError | UpstreamError, Exclude<R2, Scope.Scope>>;
-export declare const print: <A>(grammar: Grammar<A>, value: A) => Effect.Effect<string, PrintError>;
-/**
- * Law: `parse(print(value))` equals `value` (structurally).
- *
- * Prints, re-parses with strict EOF, then compares with `Equal.equals`.
- * Fails with {@link RoundTripError} naming the stage that broke.
- */
-export declare const checkRoundTrip: <A>(grammar: Grammar<A>, value: A) => Effect.Effect<void, RoundTripError>;
-export declare const render: (g: Grammar<any>) => string;
-export declare const toSchema: <S extends Schema.Top>(grammar: Grammar<S["Encoded"]>, target: S, options?: {
-    readonly identifier?: string;
-}) => Schema.decodeTo<S, Schema.String, never, never>;
-export {};
+export * from "./errors.ts";
+export * from "./core.ts";
+export * from "./combinators.ts";
+export * from "./parse.ts";
+export * from "./print.ts";
+export * from "./render.ts";
+export * from "./schema.ts";
 //# sourceMappingURL=grammar.d.ts.map

package/dist/grammar.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"grammar.d.ts","sourceRoot":"","sources":["../src/grammar.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,EAGN,MAAM,EAGN,KAAK,EACL,MAAM,EACP,MAAM,QAAQ,CAAA;AAEf,OAAO,EAAoB,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AACxE,OAAO,EAML,UAAU,EAGX,MAAM,YAAY,CAAA;;;;AAMnB,qBAAa,UAAW,SAAQ,eAE9B;CAAG;;;;;AAEL;;;;;GAKG;AACH,qBAAa,cAAe,SAAQ,mBAGlC;CAAG;AAEL,OAAO,CAAC,MAAM,MAAM,EAAE,OAAO,MAAM,CAAA;AAEnC,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5B,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,SAAS,CAAA;CAC7C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;CAC9C;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;CAC9C;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;CAC7B;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;CAC7B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,CAAA;IACxD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,CAAA;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;IACjC,yDAAyD;IACzD,QAAQ,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;CACxB;AAED,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACrB;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5B,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,GAAG,CAAC,CAAA;IACrC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,SAAS,CAAA;CAC7C;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,OAAO,CAAA;CACvC;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;CAC7B;AAED,MAAM,MAAM,IAAI,GACZ,OAAO,GACP,KAAK,GACL,OAAO,GACP,UAAU,GACV,MAAM,GACN,IAAI,GACJ,KAAK,GACL,QAAQ,GACR,OAAO,GACP,UAAU,GACV,IAAI,GACJ,GAAG,GACH,IAAI,GACJ,KAAK,GACL,KAAK,GACL,KAAK,CAAA;AAET,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG;IAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAA;AAEzD,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEnE,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,MAAM,SAAS,CAAC,KAAG,OAAO,CAAC,CAAC,CAAiC,CAAA;AAE/F,gGAAgG;AAChG,eAAO,MAAM,KAAK,OAAQ,MAAM,YAAY,MAAM,KAAG,OAAO,CAAC,MAAM,CAIjE,CAAA;AAEF,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,CAAC,SACf,OAAO,CAAC,CAAC,CAAC,KACd;IAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;CAAE,KAC3D,OAAO,CAAC,CAAC,CAAqD,CAAA;AAEjE,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,UACnD,CAAC,KACR,OAAO,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAE,CAAiC,CAAA;AAEjF,eAAO,MAAM,MAAM,GAAI,EAAE,SAAS,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,cACnE,EAAE,KACb,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAkC,CAAA;AAEpE,eAAO,MAAM,IAAI,GAAI,CAAC,SACb,OAAO,CAAC,CAAC,CAAC,SACV;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,KACnC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAA2D,CAAA;AAE9E,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAK/E,CAAA;AAEF,sFAAsF;AACtF,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAKhF,CAAA;AAEF,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,GAAG,SAAS,CAGnE,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAAiC,CAAA;AAEzF;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,KAAG,OAAO,CAAC,CAAC,CAIjF,CAAA;AAEF;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,YAAY,MAAM,SAAS,OAAO,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAItE,CAAA;AAEF,eAAO,MAAM,UAAU,GAAI,CAAC,OACrB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,YACnC,MAAM,KACf,OAAO,CAAC,CAAC,CAA4C,CAAA;AAExD;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SACb,MAAM,OAAO,CAAC,CAAC,CAAC,SAChB;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,KAChC,OAAO,CAAC,CAAC,CAIV,CAAA;AAEF,yEAAyE;AACzE,eAAO,MAAM,GAAG,EAAE,OAAO,CAAC,IAAI,CAAmB,CAAA;AAEjD;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,SAChB,OAAO,CAAC,CAAC,CAAC,KACd;IAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;CAAE,KACpE,OAAO,CAAC,CAAC,CAAsD,CAAA;AAElE,6DAA6D;AAC7D,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,KAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAItE,CAAA;AAEF,eAAO,MAAM,OAAO,EAAE,OAAO,CAAC,MAAM,CAGlC,CAAA;AAEF,sFAAsF;AACtF,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAInD,CAAA;AAEJ,gDAAgD;AAChD,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,KAAK,CAAC,KAAG,OAAO,CAAC,CAAC,CAAuB,CAAA;AAEhF;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,QACvB,OAAO,CAAC,CAAC,CAAC,SACT,OAAO,CAAC,CAAC,CAAC,SACV,OAAO,CAAC,CAAC,CAAC,KAChB,OAAO,CAAC,CAAC,CAIR,CAAA;AAmRJ,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,MAAM,WAAW,OAAO,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAarF,CAAA;AAEJ,oGAAoG;AACpG,eAAO,MAAM,WAAW,GAAI,CAAC,SAAS,MAAM,WAAW,OAAO,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAS3F,CAAA;AAEJ,oFAAoF;AACpF,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,EAAE,EAAE,EAAE,SAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,WAC3B,OAAO,CAAC,CAAC,CAAC,KAClB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,GAAG,aAAa,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAQrE,CAAA;AAEH,6EAA6E;AAC7E,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,EAAE,EAAE,EAAE,SAC/B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,WAC3B,OAAO,CAAC,CAAC,CAAC,KAClB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,GAAG,aAAa,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CACvB,CAAA;AAEjD,eAAO,MAAM,KAAK,GAAI,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAC9D,CAAA;AAE3B;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,WACrB,OAAO,CAAC,CAAC,CAAC,SACZ,CAAC,KACP,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAmCjC,CAAA;AAWJ,eAAO,MAAM,MAAM,MAAO,OAAO,CAAC,GAAG,CAAC,KAAG,MAAmC,CAAA;AA8D5E,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,WAClC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,UACtB,CAAC,YACC;IAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,oDAmBzC,CAAA"}
+{"version":3,"file":"grammar.d.ts","sourceRoot":"","sources":["../src/grammar.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,kBAAkB,CAAA;AAChC,cAAc,YAAY,CAAA;AAC1B,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}