@thomasfosterau/effect-parse 0.0.0-stage → 0.0.0

package/dist/internal/node.d.ts

@@ -0,0 +1,251 @@
+/**
+ * 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";
+/** The parts of a parser the compiler needs. */
+export interface ParserLike {
+    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;
+}
+/**
+ * For token nodes: `undefined` for the `Token`/`Ascii` parsers (code points
+ * of strings with lenient surrogates, bytes, or array elements), or the
+ * encoding of a `Text` parser.
+ */
+type Enc = Encoding<any> | undefined;
+export type Node = {
+    readonly _tag: "Opaque";
+    readonly step: Step;
+} | {
+    readonly _tag: "Succeed";
+    readonly value: unknown;
+} | {
+    readonly _tag: "Sync";
+    readonly evaluate: () => unknown;
+} | {
+    readonly _tag: "Fail";
+    readonly mode: ErrMode;
+} | {
+    readonly _tag: "Eof";
+} | {
+    readonly _tag: "Location";
+} | {
+    readonly _tag: "Suspend";
+    readonly resolve: () => P;
+} | {
+    readonly _tag: "Any";
+    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: "Take";
+    readonly count: number;
+    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;
+} & Bounds) | {
+    readonly _tag: "Rest";
+    readonly encoding: Enc;
+} | {
+    readonly _tag: "RestLen";
+} | {
+    readonly _tag: "TillLineEnding";
+    readonly encoding: Enc;
+} | {
+    readonly _tag: "Identifier";
+    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: "Map";
+    readonly self: P;
+    readonly f: (a: any) => unknown;
+} | {
+    readonly _tag: "As";
+    readonly self: P;
+    readonly value: unknown;
+} | {
+    readonly _tag: "Tap";
+    readonly self: P;
+    readonly f: (a: any) => void;
+} | {
+    readonly _tag: "TryMap";
+    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: "FlatMap";
+    readonly self: P;
+    readonly f: (a: any) => P;
+} | {
+    readonly _tag: "Taken";
+    readonly self: P;
+    readonly encoding: Enc;
+} | {
+    readonly _tag: "WithTaken";
+    readonly self: P;
+} | {
+    readonly _tag: "Span";
+    readonly self: P;
+} | {
+    readonly _tag: "WithSpan";
+    readonly self: P;
+} | {
+    readonly _tag: "Mode";
+    readonly self: P;
+    readonly from: ErrMode;
+    readonly to: ErrMode;
+} | {
+    readonly _tag: "Context";
+    readonly self: P;
+    readonly label: string;
+} | {
+    readonly _tag: "Expected";
+    readonly self: P;
+    readonly description: string;
+} | {
+    readonly _tag: "MapError";
+    readonly self: P;
+} | {
+    readonly _tag: "OrFail";
+    readonly self: P;
+} | {
+    readonly _tag: "Opt";
+    readonly self: P;
+} | {
+    readonly _tag: "OrElseSucceed";
+    readonly self: P;
+    readonly value: () => unknown;
+} | {
+    readonly _tag: "Peek";
+    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: "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: "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: "Repeat";
+    readonly self: P;
+} & Bounds) | ({
+    readonly _tag: "Fold";
+    readonly self: P;
+    readonly init: () => unknown;
+    readonly f: (acc: any, a: any) => unknown;
+    readonly name: string;
+} & Bounds) | ({
+    readonly _tag: "RepeatTill";
+    readonly self: P;
+    readonly end: P;
+} & Bounds) | ({
+    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;
+};
+export type Tag = Node["_tag"];
+export type NodeOf<T extends Tag> = Extract<Node, {
+    readonly _tag: T;
+}>;
+/** Where a parser's description is stored. */
+export declare const NodeId: unique symbol;
+/** The description of a parser: `Opaque` when it has none. */
+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;
+} | undefined) => Bounds;
+/** The child parsers of a node, in evaluation order. */
+export declare const children: (node: Node) => ReadonlyArray<P>;
+export {};
+//# sourceMappingURL=node.d.ts.map

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

@@ -0,0 +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"}

package/dist/internal/node.js

@@ -0,0 +1,73 @@
+/** Where a parser's description is stored. */
+export const NodeId = 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 };
+/** 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 };
+};
+/** 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 [];
+    }
+};
+//# sourceMappingURL=node.js.map

package/dist/internal/node.js.map

@@ -0,0 +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"}

package/dist/internal/numbers.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Number conversions shared by the `Ascii` and `Text` parsers and the
+ * compilers.
+ */
+import type { Input } from "../Input.js";
+import { Fail } from "../Input.js";
+/** The value of the text matched by `Ascii.float` and `Text.float`. */
+export declare const toFloat: (s: Input) => number;
+/**
+ * The parsers that `Ascii.float` and `Text.float` map with `toFloat`: the
+ * compilers replace them by {@link scanFloatString} and
+ * {@link scanFloatBytes} when the text is in decimal notation.
+ */
+export declare const floatTexts: WeakSet<object>;
+/** Adds a parser to {@link floatTexts}. */
+export declare const floatText: <P extends object>(p: P) => P;
+/**
+ * Where the latest scan ended, when it succeeded, and the furthest offset it
+ * read (when it succeeded or failed): streaming builds re-run the parser
+ * when that is near the end of a partial input.
+ */
+export declare const floatScan: {
+    end: number;
+    read: number;
+};
+/**
+ * Matches and converts what `Ascii.float` matches at `i`, when it is in
+ * decimal notation: an optional sign, then digits or "." (the other forms,
+ * `nan` and `inf`, start with a letter). Returns the value, setting
+ * `floatScan.end`; `Fail` if the float parser fails there (always with
+ * `Backtrack`); or `undefined` if the text does not start like a decimal
+ * number, for the caller to run the parser.
+ *
+ * Numbers with up to 19 significant digits and a decimal exponent up to 22
+ * are converted by {@link decimal}, the rest by `Number`, so the value is
+ * always what `Number` gives for the text.
+ */
+export declare const scanFloatString: (s: string, i: number, end: number) => number | Fail | undefined;
+/** {@link scanFloatString} on bytes, or the units of an ASCII compatible encoding. */
+export declare const scanFloatBytes: (b: Uint8Array, i: number, end: number) => number | Fail | undefined;
+//# sourceMappingURL=numbers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"numbers.d.ts","sourceRoot":"","sources":["../../src/internal/numbers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAMlC,uEAAuE;AACvE,eAAO,MAAM,OAAO,MAAO,KAAK,KAAG,MAYlC,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,UAAU,iBAAwB,CAAA;AAE/C,2CAA2C;AAC3C,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,KAAK,CAAC,KAAG,CAGlD,CAAA;AAKD;;;;GAIG;AACH,eAAO,MAAM,SAAS;IAAK,GAAG;IAAK,IAAI;CAAK,CAAA;AAqE5C;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,eAAe,MAAO,MAAM,KAAK,MAAM,OAAO,MAAM,KAAG,MAAM,GAAG,IAAI,GAAG,SAgFnF,CAAA;AAED,sFAAsF;AACtF,eAAO,MAAM,cAAc,MAAO,UAAU,KAAK,MAAM,OAAO,MAAM,KAAG,MAAM,GAAG,IAAI,GAAG,SA2EtF,CAAA"}

package/dist/internal/numbers.js

@@ -0,0 +1,302 @@
+import { Fail } from "../Input.js";
+import { latin1 } from "./text.js";
+const toText = (s) => typeof s === "string" ? s : s instanceof Uint8Array ? latin1.text(s, 0, s.length) : s.join("");
+/** The value of the text matched by `Ascii.float` and `Text.float`. */
+export const toFloat = (s) => {
+    if (typeof s === "string") {
+        // Plain decimal notation (as opposed to `inf` or `nan`) ends in a digit or "."
+        const last = s.charCodeAt(s.length - 1);
+        if ((last >= 48 && last <= 57) || last === 46)
+            return Number(s);
+    }
+    const t = toText(s).toLowerCase();
+    const negative = t.startsWith("-");
+    const body = t.startsWith("-") || t.startsWith("+") ? t.slice(1) : t;
+    if (body === "nan")
+        return NaN;
+    if (body.startsWith("inf"))
+        return negative ? -Infinity : Infinity;
+    return Number(t);
+};
+/**
+ * The parsers that `Ascii.float` and `Text.float` map with `toFloat`: the
+ * compilers replace them by {@link scanFloatString} and
+ * {@link scanFloatBytes} when the text is in decimal notation.
+ */
+export const floatTexts = new WeakSet();
+/** Adds a parser to {@link floatTexts}. */
+export const floatText = (p) => {
+    floatTexts.add(p);
+    return p;
+};
+/** The powers of ten that doubles represent exactly. */
+const exact = Array.from({ length: 23 }, (_, i) => Number(`1e${i}`));
+/**
+ * Where the latest scan ended, when it succeeded, and the furthest offset it
+ * read (when it succeeded or failed): streaming builds re-run the parser
+ * when that is near the end of a partial input.
+ */
+export const floatScan = { end: 0, read: 0 };
+const isDigit = (c) => c >= 48 && c <= 57;
+// Exact products of doubles (Dekker), without allocating: `a * b` is
+// `productHi + productLo` exactly, barring overflow and underflow
+const Split = 134217729; // 2^27 + 1
+let productHi = 0;
+let productLo = 0;
+const twoProduct = (a, b) => {
+    const p = a * b;
+    let t = Split * a;
+    const ah = t - (t - a);
+    const al = a - ah;
+    t = Split * b;
+    const bh = t - (t - b);
+    const bl = b - bh;
+    productHi = p;
+    productLo = ((ah * bh - p) + ah * bl + al * bh) + al * bl;
+};
+/** 2^-96: a bound on the relative error of {@link decimal}'s 19-digit path. */
+const Error19 = 1 / 2 ** 96;
+/**
+ * The double nearest to `±(high * 10^low digits + low) * 10^e10`, where
+ * `high` holds the first 15 significant digits, and `low` the next `lowDigits`
+ * (at most 4). Returns `undefined` when this can't tell it apart from the
+ * neighbouring doubles, for the caller to use `Number`.
+ *
+ * Up to 15 digits, the digits and a power of ten up to 10^22 are exact
+ * doubles, so one multiplication or division rounds correctly (Clinger's
+ * fast path). Up to 19 digits, the digits are an exact sum of two doubles,
+ * and multiplying or dividing that by an exact power of ten gives the value
+ * to within a relative 2^-96 (double-double arithmetic). It is then rounded
+ * once, and kept only if the bounds of that error round to the same double:
+ * this is never the case for an exact tie, so ties go to `Number` too.
+ */
+const decimal = (negative, high, low, lowDigits, e10) => {
+    let v;
+    if (lowDigits === 0) {
+        if (e10 > 22 || e10 < -22)
+            return undefined;
+        v = e10 === 0 ? high : e10 > 0 ? high * exact[e10] : high / exact[-e10];
+    }
+    else {
+        if (e10 > 22 || e10 < -22)
+            return undefined;
+        // The digits: high * 10^lowDigits + low = wh + wl, exactly
+        twoProduct(high, exact[lowDigits]);
+        const wh = productHi + low;
+        const wl = productLo + (low - (wh - productHi));
+        let xh;
+        let xl;
+        if (e10 >= 0) {
+            const p = exact[e10];
+            twoProduct(wh, p);
+            xh = productHi;
+            xl = productLo + wl * p;
+        }
+        else {
+            const p = exact[-e10];
+            xh = wh / p;
+            twoProduct(xh, p);
+            xl = ((wh - productHi) - productLo + wl) / p;
+        }
+        v = xh + xl;
+        const error = (xh < 0 ? -xh : xh) * Error19;
+        if (xh + (xl + error) !== v || xh + (xl - error) !== v)
+            return undefined;
+    }
+    return negative ? -v : v;
+};
+/**
+ * Matches and converts what `Ascii.float` matches at `i`, when it is in
+ * decimal notation: an optional sign, then digits or "." (the other forms,
+ * `nan` and `inf`, start with a letter). Returns the value, setting
+ * `floatScan.end`; `Fail` if the float parser fails there (always with
+ * `Backtrack`); or `undefined` if the text does not start like a decimal
+ * number, for the caller to run the parser.
+ *
+ * Numbers with up to 19 significant digits and a decimal exponent up to 22
+ * are converted by {@link decimal}, the rest by `Number`, so the value is
+ * always what `Number` gives for the text.
+ */
+export const scanFloatString = (s, i, end) => {
+    const start = i;
+    let c = i < end ? s.charCodeAt(i) : -1;
+    if (c === 45 || c === 43) {
+        c = i + 1 < end ? s.charCodeAt(i + 1) : -1;
+        if (!isDigit(c) && c !== 46)
+            return undefined;
+        i++;
+    }
+    else if (!isDigit(c) && c !== 46) {
+        return undefined;
+    }
+    // The first 15 significant digits, the next 4, how many there are in all,
+    // and the decimal exponent of the last one kept
+    let high = 0;
+    let low = 0;
+    let digits = 0;
+    let e10 = 0;
+    if (c !== 46) {
+        do {
+            if (digits < 15) {
+                if (high !== 0 || c !== 48) {
+                    high = high * 10 + (c - 48);
+                    digits++;
+                }
+            }
+            else {
+                if (digits < 19)
+                    low = low * 10 + (c - 48);
+                else
+                    e10++;
+                digits++;
+            }
+            c = ++i < end ? s.charCodeAt(i) : -1;
+        } while (isDigit(c));
+        if (c === 46)
+            c = ++i < end ? s.charCodeAt(i) : -1;
+    }
+    else {
+        // "." must be followed by a digit
+        c = ++i < end ? s.charCodeAt(i) : -1;
+        if (!isDigit(c)) {
+            floatScan.read = i;
+            return Fail;
+        }
+    }
+    while (isDigit(c)) {
+        if (digits < 15) {
+            if (high !== 0 || c !== 48) {
+                high = high * 10 + (c - 48);
+                digits++;
+            }
+            e10--;
+        }
+        else {
+            if (digits < 19) {
+                low = low * 10 + (c - 48);
+                e10--;
+            }
+            digits++;
+        }
+        c = ++i < end ? s.charCodeAt(i) : -1;
+    }
+    let read = i;
+    if (c === 101 || c === 69) {
+        // The exponent is optional: without digits, it is not consumed
+        let j = i + 1;
+        c = j < end ? s.charCodeAt(j) : -1;
+        const negative = c === 45;
+        if (negative || c === 43)
+            c = ++j < end ? s.charCodeAt(j) : -1;
+        if (isDigit(c)) {
+            let e = 0;
+            do {
+                // Past this, the number can only overflow or underflow
+                if (e < 1e6)
+                    e = e * 10 + (c - 48);
+                c = ++j < end ? s.charCodeAt(j) : -1;
+            } while (isDigit(c));
+            e10 += negative ? -e : e;
+            i = j;
+        }
+        read = j;
+    }
+    floatScan.end = i;
+    floatScan.read = read;
+    const negative = s.charCodeAt(start) === 45;
+    if (high === 0)
+        return negative ? -0 : 0;
+    const v = digits > 19 ? undefined : decimal(negative, high, low, digits > 15 ? digits - 15 : 0, e10);
+    return v === undefined ? Number(s.slice(start, i)) : v;
+};
+/** {@link scanFloatString} on bytes, or the units of an ASCII compatible encoding. */
+export const scanFloatBytes = (b, i, end) => {
+    const start = i;
+    let c = i < end ? b[i] : -1;
+    if (c === 45 || c === 43) {
+        c = i + 1 < end ? b[i + 1] : -1;
+        if (!isDigit(c) && c !== 46)
+            return undefined;
+        i++;
+    }
+    else if (!isDigit(c) && c !== 46) {
+        return undefined;
+    }
+    let high = 0;
+    let low = 0;
+    let digits = 0;
+    let e10 = 0;
+    if (c !== 46) {
+        do {
+            if (digits < 15) {
+                if (high !== 0 || c !== 48) {
+                    high = high * 10 + (c - 48);
+                    digits++;
+                }
+            }
+            else {
+                if (digits < 19)
+                    low = low * 10 + (c - 48);
+                else
+                    e10++;
+                digits++;
+            }
+            c = ++i < end ? b[i] : -1;
+        } while (isDigit(c));
+        if (c === 46)
+            c = ++i < end ? b[i] : -1;
+    }
+    else {
+        c = ++i < end ? b[i] : -1;
+        if (!isDigit(c)) {
+            floatScan.read = i;
+            return Fail;
+        }
+    }
+    while (isDigit(c)) {
+        if (digits < 15) {
+            if (high !== 0 || c !== 48) {
+                high = high * 10 + (c - 48);
+                digits++;
+            }
+            e10--;
+        }
+        else {
+            if (digits < 19) {
+                low = low * 10 + (c - 48);
+                e10--;
+            }
+            digits++;
+        }
+        c = ++i < end ? b[i] : -1;
+    }
+    let read = i;
+    if (c === 101 || c === 69) {
+        let j = i + 1;
+        c = j < end ? b[j] : -1;
+        const negative = c === 45;
+        if (negative || c === 43)
+            c = ++j < end ? b[j] : -1;
+        if (isDigit(c)) {
+            let e = 0;
+            do {
+                if (e < 1e6)
+                    e = e * 10 + (c - 48);
+                c = ++j < end ? b[j] : -1;
+            } while (isDigit(c));
+            e10 += negative ? -e : e;
+            i = j;
+        }
+        read = j;
+    }
+    floatScan.end = i;
+    floatScan.read = read;
+    const negative = b[start] === 45;
+    if (high === 0)
+        return negative ? -0 : 0;
+    const v = digits > 19 ? undefined : decimal(negative, high, low, digits > 15 ? digits - 15 : 0, e10);
+    return v === undefined ? Number(asciiText(b, start, i)) : v;
+};
+/** The text of ASCII bytes. */
+const asciiText = (b, start, end) => String.fromCharCode.apply(null, b.subarray(start, end));
+//# sourceMappingURL=numbers.js.map