@thomasfosterau/effect-parse 0.1.0 → 0.2.0

package/dist/internal/node.d.ts

@@ -1,24 +1,17 @@
-/**
- * Descriptions of parsers, recorded next to their steps so that parsers can
- * be compiled (see `docs/DESIGN.md`, "Compiled parsers").
- *
- * Nodes refer to their child parsers rather than to child nodes, so a
- * child's own step is always at hand for fallback, and recursion through
- * `Suspend` is just a reference.
- */
-import type { Encoding } from "../Encoding.js";
-import type { ErrMode, Input, State } from "../Input.js";
+import { ErrMode, Input, State } from "../Input.js";
+import { Encoding } from "../Encoding.js";
+//#region src/internal/node.d.ts
 /** The parts of a parser the compiler needs. */
 export interface ParserLike {
-    readonly step: (state: State<any>) => unknown;
-    readonly name: string | undefined;
+  readonly step: (state: State<any>) => unknown;
+  readonly name: string | undefined;
 }
 type P = ParserLike;
 type Step = (state: State<any>) => unknown;
 /** A repetition range, normalized: `max` may be `Infinity`. */
 interface Bounds {
-    readonly min: number;
-    readonly max: number;
+  readonly min: number;
+  readonly max: number;
 }
 /**
  * For token nodes: `undefined` for the `Token`/`Ascii` parsers (code points
@@ -27,214 +20,224 @@ interface Bounds {
  */
 type Enc = Encoding<any> | undefined;
 export type Node = {
-    readonly _tag: "Opaque";
-    readonly step: Step;
+  readonly _tag: "Opaque";
+  readonly step: Step;
 } | {
-    readonly _tag: "Succeed";
-    readonly value: unknown;
+  readonly _tag: "Succeed";
+  readonly value: unknown;
 } | {
-    readonly _tag: "Sync";
-    readonly evaluate: () => unknown;
+  readonly _tag: "Sync";
+  readonly evaluate: () => unknown;
 } | {
-    readonly _tag: "Fail";
-    readonly mode: ErrMode;
+  readonly _tag: "Fail";
+  readonly mode: ErrMode;
 } | {
-    readonly _tag: "Eof";
+  readonly _tag: "Eof";
 } | {
-    readonly _tag: "Location";
+  readonly _tag: "Location";
 } | {
-    readonly _tag: "Suspend";
-    readonly resolve: () => P;
+  readonly _tag: "Suspend";
+  readonly resolve: () => P;
 } | {
-    readonly _tag: "Any";
-    readonly encoding: Enc;
+  readonly _tag: "Any";
+  readonly encoding: Enc;
 } | {
-    readonly _tag: "Literal";
-    readonly literal: Input;
-    readonly caseless: boolean;
-    readonly encoding: Enc;
+  readonly _tag: "Literal";
+  readonly literal: Input;
+  readonly caseless: boolean;
+  readonly encoding: Enc;
 } | {
-    readonly _tag: "OneOf";
-    readonly set: unknown;
-    readonly negate: boolean;
-    readonly encoding: Enc;
+  readonly _tag: "OneOf";
+  readonly set: unknown;
+  readonly negate: boolean;
+  readonly encoding: Enc;
 } | {
-    readonly _tag: "Take";
-    readonly count: number;
-    readonly encoding: Enc;
+  readonly _tag: "Take";
+  readonly count: number;
+  readonly encoding: Enc;
 } | ({
-    readonly _tag: "TakeWhile";
-    readonly set: unknown;
-    readonly negate: boolean;
-    readonly encoding: Enc;
+  readonly _tag: "TakeWhile";
+  readonly set: unknown;
+  readonly negate: boolean;
+  readonly encoding: Enc;
 } & Bounds) | ({
-    readonly _tag: "TakeUntil";
-    readonly literal: Input;
-    readonly encoding: Enc;
+  readonly _tag: "TakeUntil";
+  readonly literal: Input;
+  readonly encoding: Enc;
 } & Bounds) | {
-    readonly _tag: "Rest";
-    readonly encoding: Enc;
+  readonly _tag: "Rest";
+  readonly encoding: Enc;
 } | {
-    readonly _tag: "RestLen";
+  readonly _tag: "RestLen";
 } | {
-    readonly _tag: "TillLineEnding";
-    readonly encoding: Enc;
+  readonly _tag: "TillLineEnding";
+  readonly encoding: Enc;
 } | {
-    readonly _tag: "Identifier";
-    readonly encoding: Enc;
+  readonly _tag: "Identifier";
+  readonly encoding: Enc;
 } | {
-    readonly _tag: "Bom";
-    readonly encoding: Enc;
+  readonly _tag: "Bom";
+  readonly encoding: Enc;
 } | {
-    readonly _tag: "Escaped";
-    readonly normal: P;
-    /** The control character, as a code point (or a byte / unit for `Ascii`). */
-    readonly control: number;
-    readonly escape: P;
-    /** `takeEscaped`: return the raw slice instead of the unescaped text. */
-    readonly raw: boolean;
-    readonly encoding: Enc;
+  readonly _tag: "Escaped";
+  readonly normal: P;
+  /** The control character, as a code point (or a byte / unit for `Ascii`). */
+  readonly control: number;
+  readonly escape: P;
+  /** `takeEscaped`: return the raw slice instead of the unescaped text. */
+  readonly raw: boolean;
+  readonly encoding: Enc;
 } | {
-    readonly _tag: "Map";
-    readonly self: P;
-    readonly f: (a: any) => unknown;
+  readonly _tag: "Map";
+  readonly self: P;
+  readonly f: (a: any) => unknown;
 } | {
-    readonly _tag: "As";
-    readonly self: P;
-    readonly value: unknown;
+  readonly _tag: "As";
+  readonly self: P;
+  readonly value: unknown;
 } | {
-    readonly _tag: "Tap";
-    readonly self: P;
-    readonly f: (a: any) => void;
+  readonly _tag: "Tap";
+  readonly self: P;
+  readonly f: (a: any) => void;
 } | {
-    readonly _tag: "TryMap";
-    readonly self: P;
-    readonly f: (a: any) => unknown;
+  readonly _tag: "TryMap";
+  readonly self: P;
+  readonly f: (a: any) => unknown;
 } | {
-    readonly _tag: "FilterMap";
-    readonly self: P;
-    readonly f: (a: any) => unknown;
+  readonly _tag: "FilterMap";
+  readonly self: P;
+  readonly f: (a: any) => unknown;
 } | {
-    readonly _tag: "Filter";
-    readonly self: P;
-    readonly predicate: (a: any) => boolean;
+  readonly _tag: "Filter";
+  readonly self: P;
+  readonly predicate: (a: any) => boolean;
 } | {
-    readonly _tag: "FlatMap";
-    readonly self: P;
-    readonly f: (a: any) => P;
+  readonly _tag: "FlatMap";
+  readonly self: P;
+  readonly f: (a: any) => P;
 } | {
-    readonly _tag: "Taken";
-    readonly self: P;
-    readonly encoding: Enc;
+  readonly _tag: "Taken";
+  readonly self: P;
+  readonly encoding: Enc;
 } | {
-    readonly _tag: "WithTaken";
-    readonly self: P;
+  readonly _tag: "WithTaken";
+  readonly self: P;
 } | {
-    readonly _tag: "Span";
-    readonly self: P;
+  readonly _tag: "Span";
+  readonly self: P;
 } | {
-    readonly _tag: "WithSpan";
-    readonly self: P;
+  readonly _tag: "WithSpan";
+  readonly self: P;
 } | {
-    readonly _tag: "Mode";
-    readonly self: P;
-    readonly from: ErrMode;
-    readonly to: ErrMode;
+  readonly _tag: "Mode";
+  readonly self: P;
+  readonly from: ErrMode;
+  readonly to: ErrMode;
 } | {
-    readonly _tag: "Context";
-    readonly self: P;
-    readonly label: string;
+  readonly _tag: "Context";
+  readonly self: P;
+  readonly label: string;
 } | {
-    readonly _tag: "Expected";
-    readonly self: P;
-    readonly description: string;
+  readonly _tag: "Expected";
+  readonly self: P;
+  readonly description: string;
 } | {
-    readonly _tag: "MapError";
-    readonly self: P;
+  readonly _tag: "MapError";
+  readonly self: P;
 } | {
-    readonly _tag: "OrFail";
-    readonly self: P;
+  readonly _tag: "OrFail";
+  readonly self: P;
 } | {
-    readonly _tag: "Opt";
-    readonly self: P;
+  readonly _tag: "Opt";
+  readonly self: P;
 } | {
-    readonly _tag: "OrElseSucceed";
-    readonly self: P;
-    readonly value: () => unknown;
+  readonly _tag: "OrElseSucceed";
+  readonly self: P;
+  readonly value: () => unknown;
 } | {
-    readonly _tag: "Peek";
-    readonly self: P;
+  readonly _tag: "Peek";
+  readonly self: P;
 } | {
-    readonly _tag: "Not";
-    readonly self: P;
+  readonly _tag: "Not";
+  readonly self: P;
 } | {
-    readonly _tag: "Seq";
-    readonly parsers: ReadonlyArray<P>;
-    /** Which outputs are kept: all (a tuple), one index, or a pair of indices. */
-    readonly output: "tuple" | number | readonly [number, number];
+  readonly _tag: "Seq";
+  readonly parsers: ReadonlyArray<P>;
+  /** Which outputs are kept: all (a tuple), one index, or a pair of indices. */
+  readonly output: "tuple" | number | readonly [number, number];
 } | {
-    readonly _tag: "Struct";
-    readonly keys: ReadonlyArray<string>;
-    readonly parsers: ReadonlyArray<P>;
+  readonly _tag: "Struct";
+  readonly keys: ReadonlyArray<string>;
+  readonly parsers: ReadonlyArray<P>;
 } | {
-    readonly _tag: "ZipWith";
-    readonly self: P;
-    readonly that: P;
-    readonly f: (a: any, b: any) => unknown;
+  readonly _tag: "ZipWith";
+  readonly self: P;
+  readonly that: P;
+  readonly f: (a: any, b: any) => unknown;
 } | {
-    readonly _tag: "Alt";
-    readonly parsers: ReadonlyArray<P>;
+  readonly _tag: "Alt";
+  readonly parsers: ReadonlyArray<P>;
 } | {
-    readonly _tag: "Dispatch";
-    readonly selector: P;
-    /** A record of cases, when `dispatch` was given one. */
-    readonly cases: Readonly<Record<PropertyKey, P>> | undefined;
-    readonly otherwise: P | undefined;
-    readonly choose: (key: any) => P | undefined;
+  readonly _tag: "Dispatch";
+  readonly selector: P;
+  /** A record of cases, when `dispatch` was given one. */
+  readonly cases: Readonly<Record<PropertyKey, P>> | undefined;
+  readonly otherwise: P | undefined;
+  readonly choose: (key: any) => P | undefined;
 } | ({
-    readonly _tag: "Repeat";
-    readonly self: P;
+  readonly _tag: "Repeat";
+  readonly self: P;
 } & Bounds) | ({
-    readonly _tag: "Fold";
-    readonly self: P;
-    readonly init: () => unknown;
-    readonly f: (acc: any, a: any) => unknown;
-    readonly name: string;
+  readonly _tag: "Fold";
+  readonly self: P;
+  readonly init: () => unknown;
+  readonly f: (acc: any, a: any) => unknown;
+  /** Stops the repetition once false of the accumulator (after `min` elements). */
+  readonly while: ((acc: any) => boolean) | undefined;
+  readonly name: string;
 } & Bounds) | ({
-    readonly _tag: "RepeatTill";
-    readonly self: P;
-    readonly end: P;
+  readonly _tag: "RepeatTill";
+  readonly self: P;
+  readonly end: P;
 } & Bounds) | ({
-    readonly _tag: "Separated";
-    readonly self: P;
-    readonly separator: P;
+  readonly _tag: "Separated";
+  readonly self: P;
+  readonly separator: P;
 } & Bounds) | {
-    readonly _tag: "SeparatedFold";
-    readonly self: P;
-    readonly separator: P;
-    readonly op: (l: any, s: any, r: any) => unknown;
-    readonly right: boolean;
-} | {
-    readonly _tag: "Service";
-} | {
-    readonly _tag: "Provide";
-    readonly self: P;
-} | {
-    readonly _tag: "ResumeAfter";
-    readonly self: P;
-    readonly recover: P;
-} | {
-    readonly _tag: "RetryAfter";
-    readonly self: P;
-    readonly recover: P;
-} | {
-    readonly _tag: "Trace";
-    readonly self: P;
-    readonly name: string;
+  readonly _tag: "SeparatedFold";
+  readonly self: P;
+  readonly separator: P;
+  readonly op: (l: any, s: any, r: any) => unknown;
+  readonly right: boolean;
+} | {
+  readonly _tag: "Service";
+} | {
+  readonly _tag: "Provide";
+  readonly self: P;
+} | {
+  readonly _tag: "ResumeAfter";
+  readonly self: P;
+  readonly recover: P;
+} | {
+  readonly _tag: "RetryAfter";
+  readonly self: P;
+  readonly recover: P;
+} | {
+  readonly _tag: "Trace";
+  readonly self: P;
+  readonly name: string;
+} |
+/** `Syntax.node`, `Syntax.token` and `Syntax.field`: identities outside `Syntax` parses. */
+{
+  readonly _tag: "Syntax";
+  readonly self: P;
+  /** The node kind, or `undefined` for a field. */
+  readonly kind: string | undefined;
+  readonly named: boolean;
 };
 export type Tag = Node["_tag"];
 export type NodeOf<T extends Tag> = Extract<Node, {
-    readonly _tag: T;
+  readonly _tag: T;
 }>;
 /** Where a parser's description is stored. */
 export declare const NodeId: unique symbol;
@@ -242,10 +245,11 @@ export declare const NodeId: unique symbol;
 export declare const nodeOf: (p: ParserLike) => Node;
 /** Normalizes a range, as `repeat`, `takeWhile`, ... do. */
 export declare const bounds: (range: number | {
-    readonly min?: number | undefined;
-    readonly max?: number | undefined;
+  readonly min?: number | undefined;
+  readonly max?: number | undefined;
 } | undefined) => Bounds;
 /** The child parsers of a node, in evaluation order. */
 export declare const children: (node: Node) => ReadonlyArray<P>;
+//#endregion
 export {};
 //# sourceMappingURL=node.d.ts.map

package/dist/internal/node.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"node.d.ts","sourceRoot":"","sources":["../../src/internal/node.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAExD,gDAAgD;AAChD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,OAAO,CAAA;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;CAClC;AAED,KAAK,CAAC,GAAG,UAAU,CAAA;AACnB,KAAK,IAAI,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,OAAO,CAAA;AAE1C,+DAA+D;AAC/D,UAAU,MAAM;IACd,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACrB;AAED;;;;GAIG;AACH,KAAK,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,SAAS,CAAA;AAEpC,MAAM,MAAM,IAAI,GAEZ;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,OAAO,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GAEvD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GACzG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GACnG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GACzE,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GAAG,MAAM,CAAC,GAClH,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GAAG,MAAM,CAAC,GAC1F;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GAChD;IACA,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,yEAAyE;IACzE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CACvB,GAEC;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,OAAO,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,IAAI,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,OAAO,CAAA;CAAE,GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,OAAO,CAAA;CAAE,GACjF;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,OAAO,CAAA;CAAE,GACtF;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAA;CAAE,GAEzE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC3C;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAE/C;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GACzF;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAE7C;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,OAAO,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC3C;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAE1C;IACA,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;IAClC,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAC9D,GACC;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;CAAE,GACrG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,KAAK,OAAO,CAAA;CAAE,GAEzG;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;CAAE,GAC5D;IACA,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpB,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IAC5D,QAAQ,CAAC,SAAS,EAAE,CAAC,GAAG,SAAS,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,SAAS,CAAA;CAC7C,GAEC,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,GACxD,CAAC;IACD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,OAAO,CAAA;IAC5B,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,KAAK,OAAO,CAAA;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,GAAG,MAAM,CAAC,GACT,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,GAC7E,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAA;CAAE,GAAG,MAAM,CAAC,GAClF;IACA,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,KAAK,OAAO,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACxB,GAEC;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC9C;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAEvE,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAA;AAE9B,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAEvE,8CAA8C;AAC9C,eAAO,MAAM,MAAM,EAAE,OAAO,MAA+C,CAAA;AAE3E,8DAA8D;AAC9D,eAAO,MAAM,MAAM,MAAO,UAAU,KAAG,IAA8D,CAAA;AAErG,4DAA4D;AAC5D,eAAO,MAAM,MAAM,UAAW,MAAM,GAAG;IAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAAG,SAAS,KAAG,MAI7H,CAAA;AAED,wDAAwD;AACxD,eAAO,MAAM,QAAQ,SAAU,IAAI,KAAG,aAAa,CAAC,CAAC,CAwDpD,CAAA"}
+{"version":3,"file":"node.d.ts","names":[],"sources":["../../src/internal/node.ts"],"mappings":";;;;iBAaiB;WACN,OAAO,OAAO;WACd;;KAGN,IAAI;KACJ,QAAQ,OAAO;;UAGV;WACC;WACA;;;;;;;KAQN,MAAM;YAEC;WAEG;WAAyB,MAAM;;WAC/B;WAA0B;;WAC1B;WAAuB;;WACvB;WAAuB,MAAM;;WAC7B;;WACA;;WACA;WAA0B,eAAe;;WAEzC;WAAsB,UAAU;;WAChC;WAA0B,SAAS;WAAgB;WAA4B,UAAU;;WACzF;WAAwB;WAAuB;WAA0B,UAAU;;WACnF;WAAuB;WAAwB,UAAU;;WACxD;WAA4B;WAAuB;WAA0B,UAAU;IAAQ;WAC/F;WAA4B,SAAS;WAAgB,UAAU;IAAQ;WACxE;WAAuB,UAAU;;WACjC;;WACA;WAAiC,UAAU;;WAC3C;WAA6B,UAAU;;WACvC;WAAsB,UAAU;;WAEhC;WACA,QAAQ;;WAER;WACA,QAAQ;;WAER;WACA,UAAU;;WAGV;WAAsB,MAAM;WAAY,IAAI;;WAC5C;WAAqB,MAAM;WAAY;;WACvC;WAAsB,MAAM;WAAY,IAAI;;WAC5C;WAAyB,MAAM;WAAY,IAAI;;WAC/C;WAA4B,MAAM;WAAY,IAAI;;WAClD;WAAyB,MAAM;WAAY,YAAY;;WACvD;WAA0B,MAAM;WAAY,IAAI,WAAW;;WAE3D;WAAwB,MAAM;WAAY,UAAU;;WACpD;WAA4B,MAAM;;WAClC;WAAuB,MAAM;;WAC7B;WAA2B,MAAM;;WAEjC;WAAuB,MAAM;WAAY,MAAM;WAAkB,IAAI;;WACrE;WAA0B,MAAM;WAAY;;WAC5C;WAA2B,MAAM;WAAY;;WAC7C;WAA2B,MAAM;;WACjC;WAAyB,MAAM;;WAE/B;WAAsB,MAAM;;WAC5B;WAAgC,MAAM;WAAY;;WAClD;WAAuB,MAAM;;WAC7B;WAAsB,MAAM;;WAG5B;WACA,SAAS,cAAc;;WAEvB;;WAEA;WAAyB,MAAM;WAAgC,SAAS,cAAc;;WACtF;WAA0B,MAAM;WAAY,MAAM;WAAY,IAAI,QAAQ;;WAE1E;WAAsB,SAAS,cAAc;;WAE7C;WACA,UAAU;;WAEV,OAAO,SAAS,OAAO,aAAa;WACpC,WAAW;WACX,SAAS,aAAa;;WAGrB;WAAyB,MAAM;IAAM;WAEtC;WACA,MAAM;WACN;WACA,IAAI,UAAU;;WAEd,SAAS;WACT;IACP;WACQ;WAA6B,MAAM;WAAY,KAAK;IAAM;WAC1D;WAA4B,MAAM;WAAY,WAAW;IAAM;WAEhE;WACA,MAAM;WACN,WAAW;WACX,KAAK,QAAQ,QAAQ;WACrB;;WAGA;;WACA;WAA0B,MAAM;;WAChC;WAA8B,MAAM;WAAY,SAAS;;WACzD;WAA6B,MAAM;WAAY,SAAS;;WACxD;WAAwB,MAAM;WAAY;;;;WAG1C;WACA,MAAM;;WAEN;WACA;;YAGH,MAAM;YAEN,OAAO,UAAU,OAAO,QAAQ;WAAiB,MAAM;;;qBAGtD;;qBAGA,SAAU,GAAG,eAAa;;qBAG1B,SACX;WAA2B;WAAmC;kBAC7D;;qBAOU,WAAY,MAAM,SAAO,cAAc"}

package/dist/internal/node.js

@@ -1,73 +1,84 @@
+import * as Predicate from "effect/Predicate";
+//#region src/internal/node.ts
+/**
+* Descriptions of parsers, recorded next to their steps so that parsers can
+* be compiled (see `docs/DESIGN.md`, "Compiled parsers").
+*
+* Nodes refer to their child parsers rather than to child nodes, so a
+* child's own step is always at hand for fallback, and recursion through
+* `Suspend` is just a reference.
+*/
 /** Where a parser's description is stored. */
-export const NodeId = Symbol.for("effect-parse/Parser/node");
+const NodeId = /*#__PURE__*/ Symbol.for("effect-parse/Parser/node");
 /** The description of a parser: `Opaque` when it has none. */
-export const nodeOf = (p) => p[NodeId] ?? { _tag: "Opaque", step: p.step };
+const nodeOf = (p) => p[NodeId] ?? {
+	_tag: "Opaque",
+	step: p.step
+};
 /** Normalizes a range, as `repeat`, `takeWhile`, ... do. */
-export const bounds = (range) => {
-    if (range === undefined)
-        return { min: 0, max: Infinity };
-    if (typeof range === "number")
-        return { min: range, max: range };
-    return { min: range.min ?? 0, max: range.max ?? Infinity };
+const bounds = (range) => {
+	if (range === void 0) return {
+		min: 0,
+		max: Infinity
+	};
+	if (Predicate.isNumber(range)) return {
+		min: range,
+		max: range
+	};
+	return {
+		min: range.min ?? 0,
+		max: range.max ?? Infinity
+	};
 };
 /** The child parsers of a node, in evaluation order. */
-export const children = (node) => {
-    switch (node._tag) {
-        case "Escaped":
-            return [node.normal, node.escape];
-        case "Map":
-        case "As":
-        case "Tap":
-        case "TryMap":
-        case "FilterMap":
-        case "Filter":
-        case "FlatMap":
-        case "Taken":
-        case "WithTaken":
-        case "Span":
-        case "WithSpan":
-        case "Mode":
-        case "Context":
-        case "Expected":
-        case "MapError":
-        case "OrFail":
-        case "Opt":
-        case "OrElseSucceed":
-        case "Peek":
-        case "Not":
-        case "Repeat":
-        case "Fold":
-        case "Provide":
-        case "Trace":
-            return [node.self];
-        case "ResumeAfter":
-        case "RetryAfter":
-            return [node.self, node.recover];
-        case "Seq":
-        case "Struct":
-        case "Alt":
-            return node.parsers;
-        case "ZipWith":
-            return [node.self, node.that];
-        case "Dispatch": {
-            const out = [node.selector];
-            if (node.cases !== undefined) {
-                for (const key of Reflect.ownKeys(node.cases))
-                    out.push(node.cases[key]);
-            }
-            if (node.otherwise !== undefined)
-                out.push(node.otherwise);
-            return out;
-        }
-        case "RepeatTill":
-            return [node.self, node.end];
-        case "Separated":
-        case "SeparatedFold":
-            return [node.self, node.separator];
-        case "Suspend":
-            return [node.resolve()];
-        default:
-            return [];
-    }
+const children = (node) => {
+	switch (node._tag) {
+		case "Escaped": return [node.normal, node.escape];
+		case "Map":
+		case "As":
+		case "Tap":
+		case "TryMap":
+		case "FilterMap":
+		case "Filter":
+		case "FlatMap":
+		case "Taken":
+		case "WithTaken":
+		case "Span":
+		case "WithSpan":
+		case "Mode":
+		case "Context":
+		case "Expected":
+		case "MapError":
+		case "OrFail":
+		case "Opt":
+		case "OrElseSucceed":
+		case "Peek":
+		case "Not":
+		case "Repeat":
+		case "Fold":
+		case "Provide":
+		case "Trace":
+		case "Syntax": return [node.self];
+		case "ResumeAfter":
+		case "RetryAfter": return [node.self, node.recover];
+		case "Seq":
+		case "Struct":
+		case "Alt": return node.parsers;
+		case "ZipWith": return [node.self, node.that];
+		case "Dispatch": {
+			const out = [node.selector];
+			if (node.cases !== void 0) for (const key of Reflect.ownKeys(node.cases)) out.push(node.cases[key]);
+			if (node.otherwise !== void 0) out.push(node.otherwise);
+			return out;
+		}
+		case "RepeatTill": return [node.self, node.end];
+		case "Separated":
+		case "SeparatedFold": return [node.self, node.separator];
+		case "Suspend": return [node.resolve()];
+		default: return [];
+	}
 };
+//#endregion
+export { NodeId, bounds, children, nodeOf };
+
 //# sourceMappingURL=node.js.map

package/dist/internal/node.js.map

@@ -1 +1 @@
-{"version":3,"file":"node.js","sourceRoot":"","sources":["../../src/internal/node.ts"],"names":[],"mappings":"AAwIA,8CAA8C;AAC9C,MAAM,CAAC,MAAM,MAAM,GAAkB,MAAM,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAA;AAE3E,8DAA8D;AAC9D,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAa,EAAQ,EAAE,CAAE,CAAS,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;AAErG,4DAA4D;AAC5D,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAoG,EAAU,EAAE;IACrI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAA;IAChE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,QAAQ,EAAE,CAAA;AAC5D,CAAC,CAAA;AAED,wDAAwD;AACxD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAoB,EAAE;IACvD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QACnC,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW,CAAC;QACjB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,KAAK,CAAC;QACX,KAAK,eAAe,CAAC;QACrB,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC;QACf,KAAK,OAAO;YACV,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY;YACf,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;QAClC,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC;QACd,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,OAAO,CAAA;QACrB,KAAK,SAAS;YACZ,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QAC/B,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,GAAG,GAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YACrC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC7B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAU,CAAE,CAAC,CAAA;YAClF,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YAC1D,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,YAAY;YACf,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAA;QAC9B,KAAK,WAAW,CAAC;QACjB,KAAK,eAAe;YAClB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;QACpC,KAAK,SAAS;YACZ,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAA;QACzB;YACE,OAAO,EAAE,CAAA;IACb,CAAC;AACH,CAAC,CAAA"}
+{"version":3,"file":"node.js","names":[],"sources":["../../src/internal/node.ts"],"sourcesContent":["/**\n * Descriptions of parsers, recorded next to their steps so that parsers can\n * be compiled (see `docs/DESIGN.md`, \"Compiled parsers\").\n *\n * Nodes refer to their child parsers rather than to child nodes, so a\n * child's own step is always at hand for fallback, and recursion through\n * `Suspend` is just a reference.\n */\nimport * as Predicate from \"effect/Predicate\"\nimport type { Encoding } from \"../Encoding.js\"\nimport type { ErrMode, Input, State } from \"../Input.js\"\n\n/** The parts of a parser the compiler needs. */\nexport interface ParserLike {\n  readonly step: (state: State<any>) => unknown\n  readonly name: string | undefined\n}\n\ntype P = ParserLike\ntype Step = (state: State<any>) => unknown\n\n/** A repetition range, normalized: `max` may be `Infinity`. */\ninterface Bounds {\n  readonly min: number\n  readonly max: number\n}\n\n/**\n * For token nodes: `undefined` for the `Token`/`Ascii` parsers (code points\n * of strings with lenient surrogates, bytes, or array elements), or the\n * encoding of a `Text` parser.\n */\ntype Enc = Encoding<any> | undefined\n\nexport type Node =\n  // Constants\n  | { readonly _tag: \"Opaque\"; readonly step: Step }\n  | { readonly _tag: \"Succeed\"; readonly value: unknown }\n  | { readonly _tag: \"Sync\"; readonly evaluate: () => unknown }\n  | { readonly _tag: \"Fail\"; readonly mode: ErrMode }\n  | { readonly _tag: \"Eof\" }\n  | { readonly _tag: \"Location\" }\n  | { readonly _tag: \"Suspend\"; readonly resolve: () => P }\n  // Tokens\n  | { readonly _tag: \"Any\"; readonly encoding: Enc }\n  | { readonly _tag: \"Literal\"; readonly literal: Input; readonly caseless: boolean; readonly encoding: Enc }\n  | { readonly _tag: \"OneOf\"; readonly set: unknown; readonly negate: boolean; readonly encoding: Enc }\n  | { readonly _tag: \"Take\"; readonly count: number; readonly encoding: Enc }\n  | ({ readonly _tag: \"TakeWhile\"; readonly set: unknown; readonly negate: boolean; readonly encoding: Enc } & Bounds)\n  | ({ readonly _tag: \"TakeUntil\"; readonly literal: Input; readonly encoding: Enc } & Bounds)\n  | { readonly _tag: \"Rest\"; readonly encoding: Enc }\n  | { readonly _tag: \"RestLen\" }\n  | { readonly _tag: \"TillLineEnding\"; readonly encoding: Enc }\n  | { readonly _tag: \"Identifier\"; readonly encoding: Enc }\n  | { readonly _tag: \"Bom\"; readonly encoding: Enc }\n  | {\n      readonly _tag: \"Escaped\"\n      readonly normal: P\n      /** The control character, as a code point (or a byte / unit for `Ascii`). */\n      readonly control: number\n      readonly escape: P\n      /** `takeEscaped`: return the raw slice instead of the unescaped text. */\n      readonly raw: boolean\n      readonly encoding: Enc\n    }\n  // Mapping\n  | { readonly _tag: \"Map\"; readonly self: P; readonly f: (a: any) => unknown }\n  | { readonly _tag: \"As\"; readonly self: P; readonly value: unknown }\n  | { readonly _tag: \"Tap\"; readonly self: P; readonly f: (a: any) => void }\n  | { readonly _tag: \"TryMap\"; readonly self: P; readonly f: (a: any) => unknown }\n  | { readonly _tag: \"FilterMap\"; readonly self: P; readonly f: (a: any) => unknown }\n  | { readonly _tag: \"Filter\"; readonly self: P; readonly predicate: (a: any) => boolean }\n  | { readonly _tag: \"FlatMap\"; readonly self: P; readonly f: (a: any) => P }\n  // Consumed input\n  | { readonly _tag: \"Taken\"; readonly self: P; readonly encoding: Enc }\n  | { readonly _tag: \"WithTaken\"; readonly self: P }\n  | { readonly _tag: \"Span\"; readonly self: P }\n  | { readonly _tag: \"WithSpan\"; readonly self: P }\n  // Errors\n  | { readonly _tag: \"Mode\"; readonly self: P; readonly from: ErrMode; readonly to: ErrMode }\n  | { readonly _tag: \"Context\"; readonly self: P; readonly label: string }\n  | { readonly _tag: \"Expected\"; readonly self: P; readonly description: string }\n  | { readonly _tag: \"MapError\"; readonly self: P }\n  | { readonly _tag: \"OrFail\"; readonly self: P }\n  // Control\n  | { readonly _tag: \"Opt\"; readonly self: P }\n  | { readonly _tag: \"OrElseSucceed\"; readonly self: P; readonly value: () => unknown }\n  | { readonly _tag: \"Peek\"; readonly self: P }\n  | { readonly _tag: \"Not\"; readonly self: P }\n  // Sequencing\n  | {\n      readonly _tag: \"Seq\"\n      readonly parsers: ReadonlyArray<P>\n      /** Which outputs are kept: all (a tuple), one index, or a pair of indices. */\n      readonly output: \"tuple\" | number | readonly [number, number]\n    }\n  | { readonly _tag: \"Struct\"; readonly keys: ReadonlyArray<string>; readonly parsers: ReadonlyArray<P> }\n  | { readonly _tag: \"ZipWith\"; readonly self: P; readonly that: P; readonly f: (a: any, b: any) => unknown }\n  // Choice\n  | { readonly _tag: \"Alt\"; readonly parsers: ReadonlyArray<P> }\n  | {\n      readonly _tag: \"Dispatch\"\n      readonly selector: P\n      /** A record of cases, when `dispatch` was given one. */\n      readonly cases: Readonly<Record<PropertyKey, P>> | undefined\n      readonly otherwise: P | undefined\n      readonly choose: (key: any) => P | undefined\n    }\n  // Repetition\n  | ({ readonly _tag: \"Repeat\"; readonly self: P } & Bounds)\n  | ({\n      readonly _tag: \"Fold\"\n      readonly self: P\n      readonly init: () => unknown\n      readonly f: (acc: any, a: any) => unknown\n      /** Stops the repetition once false of the accumulator (after `min` elements). */\n      readonly while: ((acc: any) => boolean) | undefined\n      readonly name: string\n    } & Bounds)\n  | ({ readonly _tag: \"RepeatTill\"; readonly self: P; readonly end: P } & Bounds)\n  | ({ readonly _tag: \"Separated\"; readonly self: P; readonly separator: P } & Bounds)\n  | {\n      readonly _tag: \"SeparatedFold\"\n      readonly self: P\n      readonly separator: P\n      readonly op: (l: any, s: any, r: any) => unknown\n      readonly right: boolean\n    }\n  // Services, recovery, debugging\n  | { readonly _tag: \"Service\" }\n  | { readonly _tag: \"Provide\"; readonly self: P }\n  | { readonly _tag: \"ResumeAfter\"; readonly self: P; readonly recover: P }\n  | { readonly _tag: \"RetryAfter\"; readonly self: P; readonly recover: P }\n  | { readonly _tag: \"Trace\"; readonly self: P; readonly name: string }\n  /** `Syntax.node`, `Syntax.token` and `Syntax.field`: identities outside `Syntax` parses. */\n  | {\n      readonly _tag: \"Syntax\"\n      readonly self: P\n      /** The node kind, or `undefined` for a field. */\n      readonly kind: string | undefined\n      readonly named: boolean\n    }\n\nexport type Tag = Node[\"_tag\"]\n\nexport type NodeOf<T extends Tag> = Extract<Node, { readonly _tag: T }>\n\n/** Where a parser's description is stored. */\nexport const NodeId: unique symbol = /*#__PURE__*/ Symbol.for(\"effect-parse/Parser/node\")\n\n/** The description of a parser: `Opaque` when it has none. */\nexport const nodeOf = (p: ParserLike): Node => (p as any)[NodeId] ?? { _tag: \"Opaque\", step: p.step }\n\n/** Normalizes a range, as `repeat`, `takeWhile`, ... do. */\nexport const bounds = (\n  range: number | { readonly min?: number | undefined; readonly max?: number | undefined } | undefined\n): Bounds => {\n  if (range === undefined) return { min: 0, max: Infinity }\n  if (Predicate.isNumber(range)) return { min: range, max: range }\n  return { min: range.min ?? 0, max: range.max ?? Infinity }\n}\n\n/** The child parsers of a node, in evaluation order. */\nexport const children = (node: Node): ReadonlyArray<P> => {\n  switch (node._tag) {\n    case \"Escaped\":\n      return [node.normal, node.escape]\n    case \"Map\":\n    case \"As\":\n    case \"Tap\":\n    case \"TryMap\":\n    case \"FilterMap\":\n    case \"Filter\":\n    case \"FlatMap\":\n    case \"Taken\":\n    case \"WithTaken\":\n    case \"Span\":\n    case \"WithSpan\":\n    case \"Mode\":\n    case \"Context\":\n    case \"Expected\":\n    case \"MapError\":\n    case \"OrFail\":\n    case \"Opt\":\n    case \"OrElseSucceed\":\n    case \"Peek\":\n    case \"Not\":\n    case \"Repeat\":\n    case \"Fold\":\n    case \"Provide\":\n    case \"Trace\":\n    case \"Syntax\":\n      return [node.self]\n    case \"ResumeAfter\":\n    case \"RetryAfter\":\n      return [node.self, node.recover]\n    case \"Seq\":\n    case \"Struct\":\n    case \"Alt\":\n      return node.parsers\n    case \"ZipWith\":\n      return [node.self, node.that]\n    case \"Dispatch\": {\n      const out: Array<P> = [node.selector]\n      if (node.cases !== undefined) {\n        for (const key of Reflect.ownKeys(node.cases)) out.push(node.cases[key as any])\n      }\n      if (node.otherwise !== undefined) out.push(node.otherwise)\n      return out\n    }\n    case \"RepeatTill\":\n      return [node.self, node.end]\n    case \"Separated\":\n    case \"SeparatedFold\":\n      return [node.self, node.separator]\n    case \"Suspend\":\n      return [node.resolve()]\n    default:\n      return []\n  }\n}\n"],"mappings":";;;;;;;;;;;AAoJA,MAAa,SAAsC,qBAAO,IAAI,0BAA0B;;AAGxF,MAAa,UAAU,MAAyB,EAAU,WAAW;CAAE,MAAM;CAAU,MAAM,EAAE;AAAK;;AAGpG,MAAa,UACX,UACW;CACX,IAAI,UAAU,KAAA,GAAW,OAAO;EAAE,KAAK;EAAG,KAAK;CAAS;CACxD,IAAI,UAAU,SAAS,KAAK,GAAG,OAAO;EAAE,KAAK;EAAO,KAAK;CAAM;CAC/D,OAAO;EAAE,KAAK,MAAM,OAAO;EAAG,KAAK,MAAM,OAAO;CAAS;AAC3D;;AAGA,MAAa,YAAY,SAAiC;CACxD,QAAQ,KAAK,MAAb;EACE,KAAK,WACH,OAAO,CAAC,KAAK,QAAQ,KAAK,MAAM;EAClC,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,UACH,OAAO,CAAC,KAAK,IAAI;EACnB,KAAK;EACL,KAAK,cACH,OAAO,CAAC,KAAK,MAAM,KAAK,OAAO;EACjC,KAAK;EACL,KAAK;EACL,KAAK,OACH,OAAO,KAAK;EACd,KAAK,WACH,OAAO,CAAC,KAAK,MAAM,KAAK,IAAI;EAC9B,KAAK,YAAY;GACf,MAAM,MAAgB,CAAC,KAAK,QAAQ;GACpC,IAAI,KAAK,UAAU,KAAA,GACjB,KAAK,MAAM,OAAO,QAAQ,QAAQ,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,MAAM,IAAW;GAEhF,IAAI,KAAK,cAAc,KAAA,GAAW,IAAI,KAAK,KAAK,SAAS;GACzD,OAAO;EACT;EACA,KAAK,cACH,OAAO,CAAC,KAAK,MAAM,KAAK,GAAG;EAC7B,KAAK;EACL,KAAK,iBACH,OAAO,CAAC,KAAK,MAAM,KAAK,SAAS;EACnC,KAAK,WACH,OAAO,CAAC,KAAK,QAAQ,CAAC;EACxB,SACE,OAAO,CAAC;CACZ;AACF"}