@thomasfosterau/effect-parse 0.0.0-stage → 0.1.0

package/dist/Token.d.ts

@@ -0,0 +1,225 @@
+/**
+ * Parsers for individual tokens and slices of tokens (winnow's `token`
+ * module, nom's `bytes` module).
+ *
+ * Parsers here work on every input kind: `string` (tokens are code points),
+ * `Uint8Array` (tokens are bytes) and arrays (tokens are elements). Parsers
+ * whose input type cannot be inferred from their arguments take a type
+ * parameter that defaults to `string`:
+ *
+ * ```ts
+ * import { Token } from "@thomasfosterau/effect-parse"
+ *
+ * Token.take(4)              // Parser<string, never, never, string>
+ * Token.take<Uint8Array>(4)  // Parser<Uint8Array, never, never, Uint8Array>
+ * ```
+ *
+ * On partial input (see `Parser.parsePartial`), parsers that reach the end
+ * of the available data report `Incomplete` rather than succeeding early or
+ * failing.
+ *
+ * @since 0.1.0
+ */
+import type { Input, Slice, Token } from "./Input.js";
+import type { ErrorKind } from "./ParseError.js";
+import type { Parser, Range } from "./Parser.js";
+export type { 
+/**
+ * @since 0.1.0
+ * @category models
+ */
+Token };
+/**
+ * An inclusive range of tokens, e.g. `Token.range("a", "z")`.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export interface TokenRange<T> {
+    readonly _tag: "TokenRange";
+    readonly from: T;
+    readonly to: T;
+}
+/**
+ * Creates an inclusive token range (winnow's `'a'..='z'`).
+ *
+ * @since 0.1.0
+ * @category constructors
+ */
+export declare const range: <T extends string | number>(from: T, to: T) => TokenRange<T>;
+/**
+ * A set of string tokens: the characters of a string, a range, a predicate,
+ * or an array of these.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export type StringTokenSet = string | TokenRange<string> | ((char: string) => boolean) | ReadonlyArray<StringTokenSet>;
+/**
+ * A set of byte tokens: a byte, the (ASCII) characters of a string, a
+ * `Uint8Array` of bytes, a range, a predicate, or an array of these.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export type ByteTokenSet = number | string | Uint8Array | TokenRange<number> | ((byte: number) => boolean) | ReadonlyArray<ByteTokenSet>;
+/**
+ * A set of tokens (winnow's `ContainsToken`). For array inputs, a set is a
+ * predicate or an array of allowed elements (compared with `===`).
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export type TokenSet<I> = I extends string ? StringTokenSet : I extends Uint8Array ? ByteTokenSet : I extends ReadonlyArray<infer T> ? ((token: T) => boolean) | ReadonlyArray<T> : never;
+/**
+ * Matches any single token: a character of a string (winnow's `any`, nom's
+ * `anychar`).
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export declare const any: Parser<string>;
+/**
+ * Matches any single token of an input of type `I`.
+ *
+ * @example
+ * ```ts
+ * import { Parser, Token } from "@thomasfosterau/effect-parse"
+ *
+ * const byte = Token.anyToken<Uint8Array>()
+ * Parser.parse(byte, new Uint8Array([7])) // Result.succeed(7)
+ * ```
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export declare const anyToken: <I extends Input = string>() => Parser<Token<NoInfer<I>>, never, never, NoInfer<I>>;
+/**
+ * Matches a literal sequence of tokens (winnow's `literal`, nom's `tag`).
+ * Strings are matched against string input, `Uint8Array`s against byte
+ * input, and arrays element-wise (with `===`) against array input.
+ *
+ * @example
+ * ```ts
+ * import { Parser, Token } from "@thomasfosterau/effect-parse"
+ *
+ * const keyword = Parser.alt(Token.literal("true"), Token.literal("false"))
+ * //    ^? Parser<"true" | "false">
+ * ```
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export declare const literal: {
+    <const L extends string>(literal: L): Parser<L, never, never, string>;
+    (literal: Uint8Array): Parser<Uint8Array, never, never, Uint8Array>;
+    <const T>(literal: ReadonlyArray<T>): Parser<ReadonlyArray<T>, never, never, ReadonlyArray<T>>;
+};
+/** @internal */
+export declare const literalImpl: (lit: Input, caseless: boolean) => Parser<any, never, never, any>;
+/**
+ * Matches one token belonging to a set, returning it (winnow's and nom's
+ * `one_of`).
+ *
+ * @example
+ * ```ts
+ * import { Parser, Token } from "@thomasfosterau/effect-parse"
+ *
+ * const sign = Token.oneOf("+-")
+ * const lower = Token.oneOf(Token.range("a", "z"))
+ * const hexByte = Token.oneOf<Uint8Array>([Token.range(0x30, 0x39), Token.range(0x61, 0x66)])
+ * ```
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export declare const oneOf: <I extends Input = string>(set: TokenSet<I>) => Parser<Token<NoInfer<I>>, never, never, NoInfer<I>>;
+/**
+ * Matches one token *not* belonging to a set, returning it (winnow's and
+ * nom's `none_of`).
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export declare const noneOf: <I extends Input = string>(set: TokenSet<I>) => Parser<Token<NoInfer<I>>, never, never, NoInfer<I>>;
+/**
+ * Takes exactly `count` tokens (winnow's and nom's `take`).
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export declare const take: <I extends Input = string>(count: number) => Parser<Slice<NoInfer<I>>, never, never, NoInfer<I>>;
+/** @internal */
+export declare const takeWhileImpl: <I extends Input>(set: unknown, r: Range | undefined, negate: boolean, name: string, description?: string, kind?: ErrorKind, hint?: boolean) => Parser<Slice<NoInfer<I>>, never, never, NoInfer<I>>;
+/**
+ * Takes the longest run of tokens belonging to a set, with the number of
+ * tokens constrained by `range` (default: zero or more). This is winnow's
+ * `take_while(range, set)`, and nom's `take_while`, `take_while1` and
+ * `take_while_m_n`.
+ *
+ * @example
+ * ```ts
+ * import { Parser, Token } from "@thomasfosterau/effect-parse"
+ *
+ * const identifier = Token.takeWhile(
+ *   [Token.range("a", "z"), Token.range("A", "Z"), "_"],
+ *   { min: 1 }
+ * )
+ * ```
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export declare const takeWhile: <I extends Input = string>(set: TokenSet<I>, range?: Range) => Parser<Slice<NoInfer<I>>, never, never, NoInfer<I>>;
+/**
+ * Takes the longest run of tokens *not* belonging to a set (winnow's
+ * `take_till`, nom's `take_till` and `take_till1`).
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export declare const takeTill: <I extends Input = string>(set: TokenSet<I>, range?: Range) => Parser<Slice<NoInfer<I>>, never, never, NoInfer<I>>;
+/**
+ * Takes tokens up to (not including) the first occurrence of a literal
+ * (winnow's `take_until`, nom's `take_until`). The literal is not
+ * consumed. `range` constrains the number of tokens taken.
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export declare const takeUntil: {
+    (literal: string, range?: Range): Parser<string, never, never, string>;
+    (literal: Uint8Array, range?: Range): Parser<Uint8Array, never, never, Uint8Array>;
+    <T>(literal: ReadonlyArray<T>, range?: Range): Parser<ReadonlyArray<T>, never, never, ReadonlyArray<T>>;
+};
+/**
+ * Takes the rest of the input (winnow's and nom's `rest`).
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export declare const rest: Parser<string>;
+/**
+ * Takes the rest of an input of type `I`.
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export declare const restOf: <I extends Input = string>() => Parser<Slice<NoInfer<I>>, never, never, NoInfer<I>>;
+/**
+ * Returns the length of the remaining input without consuming it (winnow's
+ * and nom's `rest_len`).
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export declare const restLen: Parser<number, never, never, Input>;
+/**
+ * Matches a token satisfying a predicate (nom's `satisfy`). Equivalent to
+ * `Token.oneOf(predicate)`.
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export declare const satisfy: <I extends Input = string>(predicate: (token: Token<I>) => boolean) => Parser<Token<NoInfer<I>>, never, never, NoInfer<I>>;
+//# sourceMappingURL=Token.d.ts.map

package/dist/Token.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Token.d.ts","sourceRoot":"","sources":["../src/Token.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAS,KAAK,EAAE,MAAM,YAAY,CAAA;AAc5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAEhD,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAGhD,YAAY;AACV;;;GAGG;AACH,KAAK,EACN,CAAA;AAED;;;;;GAKG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;CACf;AAED;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,MAAM,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,KAAG,UAAU,CAAC,CAAC,CAAuC,CAAA;AAErH;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GACtB,MAAM,GACN,UAAU,CAAC,MAAM,CAAC,GAClB,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,GAC3B,aAAa,CAAC,cAAc,CAAC,CAAA;AAEjC;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GACpB,MAAM,GACN,MAAM,GACN,UAAU,GACV,UAAU,CAAC,MAAM,CAAC,GAClB,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,GAC3B,aAAa,CAAC,YAAY,CAAC,CAAA;AAE/B;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,cAAc,GACvD,CAAC,SAAS,UAAU,GAAG,YAAY,GACnC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAC7E,KAAK,CAAA;AA4BT;;;;;;GAMG;AACH,eAAO,MAAM,GAAG,EAAE,MAAM,CAAC,MAAM,CAA0E,CAAA;AAEzG;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,KAAK,GAAG,MAAM,OAAK,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAe,CAAA;AAEvH;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IACrE,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,CAAA;IACnE,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;CACrB,CAAA;AAE3E,gBAAgB;AAChB,eAAO,MAAM,WAAW,QAAS,KAAK,YAAY,OAAO,KAAG,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAuBxF,CAAA;AAED;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,KAAK,GAAG,MAAM,OAAO,QAAQ,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CASpH,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,KAAK,GAAG,MAAM,OAAO,QAAQ,CAAC,CAAC,CAAC,KAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CASrH,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,KAAK,GAAG,MAAM,SAAS,MAAM,KAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAShH,CAAA;AAQD,gBAAgB;AAChB,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,KAAK,OACtC,OAAO,KACT,KAAK,GAAG,SAAS,UACZ,OAAO,QACT,MAAM,gBACE,MAAM,SACd,SAAS,qBAEd,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAcpD,CAAA;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,KAAK,GAAG,MAAM,OAC3C,QAAQ,CAAC,CAAC,CAAC,UACR,KAAK,KACZ,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAkD,CAAA;AAEvG;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,KAAK,GAAG,MAAM,OAC1C,QAAQ,CAAC,CAAC,CAAC,UACR,KAAK,KACZ,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAgD,CAAA;AAErG;;;;;;;GAOG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IACtE,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,CAAA;IAClF,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;CAyBxG,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,CAIiB,CAAA;AAEjD;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,KAAK,GAAG,MAAM,OAAK,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAgB,CAAA;AAEtH;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAEtD,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,KAAK,GAAG,MAAM,aACnC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,KACtC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAA+B,CAAA"}

package/dist/Token.js

@@ -0,0 +1,294 @@
+import { advance, compileAny, countTokens, describeBytes, End, indexOf, matchLiteral, nextIf, NoMatch, scan, splitSurrogate } from "./internal/tokens.js";
+import { bounds } from "./internal/node.js";
+import { described } from "./Parser.js";
+/**
+ * Creates an inclusive token range (winnow's `'a'..='z'`).
+ *
+ * @since 0.1.0
+ * @category constructors
+ */
+export const range = (from, to) => ({ _tag: "TokenRange", from, to });
+const expectedAny = ["any token"];
+const anyStep = (state) => {
+    const pos = state.pos;
+    if (pos >= state.end)
+        return state.eoi("Token", expectedAny, 1);
+    switch (state.inputKind) {
+        case 0: {
+            const s = state.input;
+            if (splitSurrogate(state, pos))
+                return state.incomplete(1, expectedAny);
+            const c = s.charCodeAt(pos);
+            if (c >= 0xd800 && c <= 0xdbff && pos + 1 < s.length && (s.charCodeAt(pos + 1) & 0xfc00) === 0xdc00) {
+                state.pos = pos + 2;
+                return s.slice(pos, pos + 2);
+            }
+            state.pos = pos + 1;
+            return s[pos];
+        }
+        case 1:
+            state.pos = pos + 1;
+            return state.input[pos];
+        default:
+            state.pos = pos + 1;
+            return state.input[pos];
+    }
+};
+/**
+ * Matches any single token: a character of a string (winnow's `any`, nom's
+ * `anychar`).
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export const any = described(anyStep, "any", { _tag: "Any", encoding: undefined });
+/**
+ * Matches any single token of an input of type `I`.
+ *
+ * @example
+ * ```ts
+ * import { Parser, Token } from "@thomasfosterau/effect-parse"
+ *
+ * const byte = Token.anyToken<Uint8Array>()
+ * Parser.parse(byte, new Uint8Array([7])) // Result.succeed(7)
+ * ```
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export const anyToken = () => any;
+/**
+ * Matches a literal sequence of tokens (winnow's `literal`, nom's `tag`).
+ * Strings are matched against string input, `Uint8Array`s against byte
+ * input, and arrays element-wise (with `===`) against array input.
+ *
+ * @example
+ * ```ts
+ * import { Parser, Token } from "@thomasfosterau/effect-parse"
+ *
+ * const keyword = Parser.alt(Token.literal("true"), Token.literal("false"))
+ * //    ^? Parser<"true" | "false">
+ * ```
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export const literal = (lit) => literalImpl(lit, false);
+/** @internal */
+export const literalImpl = (lit, caseless) => {
+    const description = typeof lit === "string"
+        ? JSON.stringify(lit)
+        : lit instanceof Uint8Array
+            ? describeBytes(lit)
+            : `[${lit.map((t) => JSON.stringify(t)).join(", ")}]`;
+    const expected = [caseless ? `${description} (case insensitive)` : description];
+    // A string literal may also be matched against byte input (as UTF-8)
+    let asBytes;
+    const literalKind = typeof lit === "string" ? 0 : lit instanceof Uint8Array ? 1 : 2;
+    return described((state) => {
+        const pos = state.pos;
+        const l = literalKind === 0 && state.inputKind === 1 ? (asBytes ??= new TextEncoder().encode(lit)) : lit;
+        const len = l.length;
+        const r = matchLiteral(state, l, caseless);
+        if (r === -1)
+            return state.backtrack("Literal", expected);
+        if (r === -2) {
+            if (state.partial)
+                return state.incomplete(len - (state.end - pos), expected);
+            return state.backtrack("Literal", expected);
+        }
+        state.pos = pos + len;
+        return caseless || state.inputKind !== literalKind ? state.slice(pos, pos + len) : lit;
+    }, description, { _tag: "Literal", literal: lit, caseless, encoding: undefined });
+};
+/**
+ * Matches one token belonging to a set, returning it (winnow's and nom's
+ * `one_of`).
+ *
+ * @example
+ * ```ts
+ * import { Parser, Token } from "@thomasfosterau/effect-parse"
+ *
+ * const sign = Token.oneOf("+-")
+ * const lower = Token.oneOf(Token.range("a", "z"))
+ * const hexByte = Token.oneOf<Uint8Array>([Token.range(0x30, 0x39), Token.range(0x61, 0x66)])
+ * ```
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export const oneOf = (set) => {
+    const m = compileAny(set);
+    const expected = [m.description];
+    return described((state) => {
+        const t = nextIf(state, m, false);
+        if (t === End)
+            return state.eoi("OneOf", expected, 1);
+        if (t === NoMatch)
+            return state.backtrack("OneOf", expected);
+        return t;
+    }, m.description, { _tag: "OneOf", set, negate: false, encoding: undefined });
+};
+/**
+ * Matches one token *not* belonging to a set, returning it (winnow's and
+ * nom's `none_of`).
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export const noneOf = (set) => {
+    const m = compileAny(set);
+    const expected = [`anything but ${m.description}`];
+    return described((state) => {
+        const t = nextIf(state, m, true);
+        if (t === End)
+            return state.eoi("NoneOf", expected, 1);
+        if (t === NoMatch)
+            return state.backtrack("NoneOf", expected);
+        return t;
+    }, expected[0], { _tag: "OneOf", set, negate: true, encoding: undefined });
+};
+/**
+ * Takes exactly `count` tokens (winnow's and nom's `take`).
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export const take = (count) => {
+    const expected = [count === 1 ? "1 token" : `${count} tokens`];
+    return described((state) => {
+        const start = state.pos;
+        const { count: got, offset } = advance(state, start, count);
+        if (got < count)
+            return state.eoi("Take", expected, count - got);
+        state.pos = offset;
+        return state.slice(start, offset);
+    }, "take", { _tag: "Take", count, encoding: undefined });
+};
+const normalize = (r) => {
+    if (r === undefined)
+        return [0, Infinity];
+    if (typeof r === "number")
+        return [r, r];
+    return [r.min ?? 0, r.max ?? Infinity];
+};
+/** @internal */
+export const takeWhileImpl = (set, r, negate, name, description, kind = "TakeWhile", hint = false) => {
+    const m = compileAny(set);
+    const [min, max] = normalize(r);
+    const expected = [description ?? (negate ? `anything but ${m.description}` : m.description)];
+    return described((state) => {
+        const start = state.pos;
+        const { count, hitEnd, offset } = scan(state, m, negate, max);
+        if (hitEnd && state.partial)
+            return state.incomplete(1, expected);
+        if (count < min)
+            return state.backtrack(kind, expected, offset);
+        // More matching tokens would have been accepted where we stopped
+        if (hint && count < max)
+            state.setHint(offset, expected);
+        state.pos = offset;
+        return state.slice(start, offset);
+    }, name, { _tag: "TakeWhile", set, negate, min, max, encoding: undefined });
+};
+/**
+ * Takes the longest run of tokens belonging to a set, with the number of
+ * tokens constrained by `range` (default: zero or more). This is winnow's
+ * `take_while(range, set)`, and nom's `take_while`, `take_while1` and
+ * `take_while_m_n`.
+ *
+ * @example
+ * ```ts
+ * import { Parser, Token } from "@thomasfosterau/effect-parse"
+ *
+ * const identifier = Token.takeWhile(
+ *   [Token.range("a", "z"), Token.range("A", "Z"), "_"],
+ *   { min: 1 }
+ * )
+ * ```
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export const takeWhile = (set, range) => takeWhileImpl(set, range, false, "takeWhile");
+/**
+ * Takes the longest run of tokens *not* belonging to a set (winnow's
+ * `take_till`, nom's `take_till` and `take_till1`).
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export const takeTill = (set, range) => takeWhileImpl(set, range, true, "takeTill");
+/**
+ * Takes tokens up to (not including) the first occurrence of a literal
+ * (winnow's `take_until`, nom's `take_until`). The literal is not
+ * consumed. `range` constrains the number of tokens taken.
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export const takeUntil = (lit, r) => {
+    const [min, max] = normalize(r);
+    const description = typeof lit === "string"
+        ? JSON.stringify(lit)
+        : lit instanceof Uint8Array
+            ? describeBytes(lit)
+            : `[${lit.map((t) => JSON.stringify(t)).join(", ")}]`;
+    const expected = [description];
+    return described((state) => {
+        const start = state.pos;
+        const idx = indexOf(state, lit, start);
+        if (idx < 0) {
+            if (state.partial)
+                return state.incomplete(0, expected);
+            return state.backtrack("TakeUntil", expected, state.end);
+        }
+        // As in winnow, the first occurrence must lie within the range
+        if (min > 0 || max !== Infinity) {
+            const count = countTokens(state, start, idx);
+            if (count < min)
+                return state.backtrack("TakeUntil", expected, idx);
+            if (count > max)
+                return state.backtrack("TakeUntil", expected);
+        }
+        state.pos = idx;
+        return state.slice(start, idx);
+    }, "takeUntil", { _tag: "TakeUntil", literal: lit, ...bounds(r), encoding: undefined });
+};
+/**
+ * Takes the rest of the input (winnow's and nom's `rest`).
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export const rest = described((state) => {
+    const start = state.pos;
+    state.pos = state.end;
+    return state.slice(start, state.end);
+}, "rest", { _tag: "Rest", encoding: undefined });
+/**
+ * Takes the rest of an input of type `I`.
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export const restOf = () => rest;
+/**
+ * Returns the length of the remaining input without consuming it (winnow's
+ * and nom's `rest_len`).
+ *
+ * @since 0.1.0
+ * @category slices
+ */
+export const restLen = described((state) => state.end - state.pos, "restLen", {
+    _tag: "RestLen"
+});
+/**
+ * Matches a token satisfying a predicate (nom's `satisfy`). Equivalent to
+ * `Token.oneOf(predicate)`.
+ *
+ * @since 0.1.0
+ * @category tokens
+ */
+export const satisfy = (predicate) => oneOf(predicate);
+//# sourceMappingURL=Token.js.map

package/dist/Token.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Token.js","sourceRoot":"","sources":["../src/Token.ts"],"names":[],"mappings":"AAuBA,OAAO,EACL,OAAO,EACP,UAAU,EACV,WAAW,EACX,aAAa,EACb,GAAG,EACH,OAAO,EACP,YAAY,EACZ,MAAM,EACN,OAAO,EACP,IAAI,EACJ,cAAc,EACf,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAE3C,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAsBvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAA4B,IAAO,EAAE,EAAK,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;AA0CrH,MAAM,WAAW,GAAG,CAAC,WAAW,CAAC,CAAA;AAEjC,MAAM,OAAO,GAAG,CAAC,KAAmB,EAAW,EAAE;IAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;IACrB,IAAI,GAAG,IAAI,KAAK,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,CAAA;IAC/D,QAAQ,KAAK,CAAC,SAAS,EAAE,CAAC;QACxB,KAAK,CAAC,EAAE,CAAC;YACP,MAAM,CAAC,GAAG,KAAK,CAAC,KAAe,CAAA;YAC/B,IAAI,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;YACvE,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;YAC3B,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,MAAM,EAAE,CAAC;gBACpG,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAA;gBACnB,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,CAAA;YAC9B,CAAC;YACD,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAA;YACnB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAA;QACf,CAAC;QACD,KAAK,CAAC;YACJ,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAA;YACnB,OAAQ,KAAK,CAAC,KAAoB,CAAC,GAAG,CAAC,CAAA;QACzC;YACE,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAA;YACnB,OAAQ,KAAK,CAAC,KAAgC,CAAC,GAAG,CAAC,CAAA;IACvD,CAAC;AACH,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,GAAG,GAAmB,SAAS,CAAC,OAAc,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAA;AAEzG;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,GAAkF,EAAE,CAAC,GAAU,CAAA;AAEvH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,OAAO,GAIhB,CAAC,GAAU,EAAkC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;AAE3E,gBAAgB;AAChB,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,GAAU,EAAE,QAAiB,EAAkC,EAAE;IAC3F,MAAM,WAAW,GAAG,OAAO,GAAG,KAAK,QAAQ;QACzC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;QACrB,CAAC,CAAC,GAAG,YAAY,UAAU;YAC3B,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;YACpB,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;IACvD,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,WAAW,qBAAqB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAA;IAC/E,qEAAqE;IACrE,IAAI,OAA+B,CAAA;IACnC,MAAM,WAAW,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnF,OAAO,SAAS,CAAC,CAAC,KAAmB,EAAE,EAAE;QACvC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;QACrB,MAAM,CAAC,GAAG,WAAW,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,GAAa,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;QAClH,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAA;QACpB,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAA;QAC1C,IAAI,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;QACzD,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACb,IAAI,KAAK,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAA;YAC7E,OAAO,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;QAC7C,CAAC;QACD,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,CAAA;QACrB,OAAO,QAAQ,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IACxF,CAAC,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAA;AACnF,CAAC,CAAA;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAA2B,GAAgB,EAAuD,EAAE;IACvH,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;IACzB,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAA;IAChC,OAAO,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAA;QACjC,IAAI,CAAC,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;QACrD,IAAI,CAAC,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC5D,OAAO,CAAa,CAAA;IACtB,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAA;AAC/E,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAA2B,GAAgB,EAAuD,EAAE;IACxH,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;IACzB,MAAM,QAAQ,GAAG,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAA;IAClD,OAAO,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;QAChC,IAAI,CAAC,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;QACtD,IAAI,CAAC,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;QAC7D,OAAO,CAAa,CAAA;IACtB,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAA;AAC5E,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAA2B,KAAa,EAAuD,EAAE;IACnH,MAAM,QAAQ,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAA;IAC9D,OAAO,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAA;QACvB,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;QAC3D,IAAI,GAAG,GAAG,KAAK;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,GAAG,GAAG,CAAC,CAAA;QAChE,KAAK,CAAC,GAAG,GAAG,MAAM,CAAA;QAClB,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACnC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAA;AAC1D,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,CAAoB,EAAoB,EAAE;IAC3D,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;IACzC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACxC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,QAAQ,CAAC,CAAA;AACxC,CAAC,CAAA;AAED,gBAAgB;AAChB,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,GAAY,EACZ,CAAoB,EACpB,MAAe,EACf,IAAY,EACZ,WAAoB,EACpB,IAAI,GAAc,WAAW,EAC7B,IAAI,GAAG,KAAK,EACyC,EAAE;IACvD,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;IACzB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,MAAM,QAAQ,GAAG,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAA;IAC5F,OAAO,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAA;QACvB,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAA;QAC7D,IAAI,MAAM,IAAI,KAAK,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;QACjE,IAAI,KAAK,GAAG,GAAG;YAAE,OAAO,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;QAC/D,iEAAiE;QACjE,IAAI,IAAI,IAAI,KAAK,GAAG,GAAG;YAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;QACxD,KAAK,CAAC,GAAG,GAAG,MAAM,CAAA;QAClB,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACnC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAA;AAC7E,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,GAAgB,EAChB,KAAa,EACwC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,CAAA;AAEvG;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,GAAgB,EAChB,KAAa,EACwC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAA;AAErG;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,SAAS,GAIlB,CAAC,GAAU,EAAE,CAAS,EAAkC,EAAE;IAC5D,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,MAAM,WAAW,GAAG,OAAO,GAAG,KAAK,QAAQ;QACzC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;QACrB,CAAC,CAAC,GAAG,YAAY,UAAU;YAC3B,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;YACpB,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;IACvD,MAAM,QAAQ,GAAG,CAAC,WAAW,CAAC,CAAA;IAC9B,OAAO,SAAS,CAAC,CAAC,KAAmB,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAA;QACvB,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;QACtC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;YACZ,IAAI,KAAK,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;YACvD,OAAO,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAA;QAC1D,CAAC;QACD,+DAA+D;QAC/D,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;YAC5C,IAAI,KAAK,GAAG,GAAG;gBAAE,OAAO,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAA;YACnE,IAAI,KAAK,GAAG,GAAG;gBAAE,OAAO,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAA;QAChE,CAAC;QACD,KAAK,CAAC,GAAG,GAAG,GAAG,CAAA;QACf,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAChC,CAAC,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAA;AACzF,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAmB,SAAS,CAAC,CAAC,KAAiB,EAAE,EAAE;IAClE,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAA;IACvB,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;IACrB,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAW,CAAA;AAChD,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAA;AAEjD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,GAAkF,EAAE,CAAC,IAAW,CAAA;AAEtH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAwC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE;IACjH,IAAI,EAAE,SAAS;CAChB,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,SAAuC,EACc,EAAE,CAAC,KAAK,CAAI,SAAgB,CAAC,CAAA"}

package/dist/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * @since 0.1.0
+ */
+export * as Input from "./Input.js";
+export * as Parser from "./Parser.js";
+export * as ParseError from "./ParseError.js";
+export * as Token from "./Token.js";
+export * as Ascii from "./Ascii.js";
+export * as Text from "./Text.js";
+export * as Encoding from "./Encoding.js";
+export * as Binary from "./Binary.js";
+export * as Bits from "./Bits.js";
+export * as Expression from "./Expression.js";
+export * as Nom from "./Nom.js";
+export * as ParserSchema from "./ParserSchema.js";
+export * as ParserStream from "./ParserStream.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA"}

package/dist/index.js

@@ -0,0 +1,17 @@
+/**
+ * @since 0.1.0
+ */
+export * as Input from "./Input.js";
+export * as Parser from "./Parser.js";
+export * as ParseError from "./ParseError.js";
+export * as Token from "./Token.js";
+export * as Ascii from "./Ascii.js";
+export * as Text from "./Text.js";
+export * as Encoding from "./Encoding.js";
+export * as Binary from "./Binary.js";
+export * as Bits from "./Bits.js";
+export * as Expression from "./Expression.js";
+export * as Nom from "./Nom.js";
+export * as ParserSchema from "./ParserSchema.js";
+export * as ParserStream from "./ParserStream.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA"}

package/dist/internal/compiler/closure.d.ts

@@ -0,0 +1,25 @@
+import type { State } from "../../Input.js";
+import type { Node, ParserLike } from "../node.js";
+import { FirstSets } from "./first.js";
+export type Step = (state: State<any>) => any;
+/** A parser that the compiler left to its interpreted step. */
+export interface Fallback {
+    readonly name: string | undefined;
+    readonly tag: Node["_tag"];
+    readonly reason: string;
+}
+/** The maximum number of distinct parsers compiled for one root. */
+export declare const maxNodes = 2048;
+export interface ClosureCompiler {
+    readonly compile: (p: ParserLike, used: boolean) => Step;
+    readonly note: (p: ParserLike, node: Node, reason: string) => void;
+    readonly firsts: FirstSets;
+    readonly fallbacks: ReadonlyArray<Fallback>;
+}
+export declare const createClosureCompiler: (kind: 0 | 1 | 2, resumable?: boolean) => ClosureCompiler;
+/** Compiles a root parser for one input kind. */
+export declare const compileClosure: (root: ParserLike, kind: 0 | 1 | 2, resumable?: boolean) => {
+    readonly step: Step;
+    readonly fallbacks: ReadonlyArray<Fallback>;
+};
+//# sourceMappingURL=closure.d.ts.map

package/dist/internal/compiler/closure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"closure.d.ts","sourceRoot":"","sources":["../../../src/internal/compiler/closure.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAW,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAGpD,OAAO,KAAK,EAAE,IAAI,EAAU,UAAU,EAAE,MAAM,YAAY,CAAA;AAS1D,OAAO,EAAE,SAAS,EAAW,MAAM,YAAY,CAAA;AAI/C,MAAM,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,CAAA;AAE7C,+DAA+D;AAC/D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;IACjC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,oEAAoE;AACpE,eAAO,MAAM,QAAQ,OAAO,CAAA;AAg/C5B,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,KAAK,IAAI,CAAA;IACxD,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,KAAK,IAAI,CAAA;IAClE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAC5C;AAED,eAAO,MAAM,qBAAqB,SAAU,CAAC,GAAG,CAAC,GAAG,CAAC,0BAAsB,eAQ1E,CAAA;AAED,iDAAiD;AACjD,eAAO,MAAM,cAAc,SACnB,UAAU,QACV,CAAC,GAAG,CAAC,GAAG,CAAC,0BAEd;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAIpE,CAAA"}