@thomasfosterau/effect-parse 0.0.0-stage → 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +550 -2
- package/dist/Ascii.d.ts +392 -0
- package/dist/Ascii.d.ts.map +1 -0
- package/dist/Ascii.js +610 -0
- package/dist/Ascii.js.map +1 -0
- package/dist/Binary.d.ts +153 -0
- package/dist/Binary.d.ts.map +1 -0
- package/dist/Binary.js +171 -0
- package/dist/Binary.js.map +1 -0
- package/dist/Bits.d.ts +60 -0
- package/dist/Bits.d.ts.map +1 -0
- package/dist/Bits.js +144 -0
- package/dist/Bits.js.map +1 -0
- package/dist/Encoding.d.ts +116 -0
- package/dist/Encoding.d.ts.map +1 -0
- package/dist/Encoding.js +85 -0
- package/dist/Encoding.js.map +1 -0
- package/dist/Expression.d.ts +124 -0
- package/dist/Expression.d.ts.map +1 -0
- package/dist/Expression.js +139 -0
- package/dist/Expression.js.map +1 -0
- package/dist/Input.d.ts +301 -0
- package/dist/Input.d.ts.map +1 -0
- package/dist/Input.js +312 -0
- package/dist/Input.js.map +1 -0
- package/dist/Nom.d.ts +518 -0
- package/dist/Nom.d.ts.map +1 -0
- package/dist/Nom.js +519 -0
- package/dist/Nom.js.map +1 -0
- package/dist/ParseError.d.ts +120 -0
- package/dist/ParseError.d.ts.map +1 -0
- package/dist/ParseError.js +301 -0
- package/dist/ParseError.js.map +1 -0
- package/dist/Parser.d.ts +1312 -0
- package/dist/Parser.d.ts.map +1 -0
- package/dist/Parser.js +1936 -0
- package/dist/Parser.js.map +1 -0
- package/dist/ParserSchema.d.ts +31 -0
- package/dist/ParserSchema.d.ts.map +1 -0
- package/dist/ParserSchema.js +56 -0
- package/dist/ParserSchema.js.map +1 -0
- package/dist/ParserStream.d.ts +127 -0
- package/dist/ParserStream.d.ts.map +1 -0
- package/dist/ParserStream.js +270 -0
- package/dist/ParserStream.js.map +1 -0
- package/dist/Text.d.ts +330 -0
- package/dist/Text.d.ts.map +1 -0
- package/dist/Text.js +529 -0
- package/dist/Text.js.map +1 -0
- package/dist/Token.d.ts +225 -0
- package/dist/Token.d.ts.map +1 -0
- package/dist/Token.js +294 -0
- package/dist/Token.js.map +1 -0
- package/dist/index.d.ts +17 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +17 -0
- package/dist/index.js.map +1 -0
- package/dist/internal/compiler/closure.d.ts +25 -0
- package/dist/internal/compiler/closure.d.ts.map +1 -0
- package/dist/internal/compiler/closure.js +1668 -0
- package/dist/internal/compiler/closure.js.map +1 -0
- package/dist/internal/compiler/entries.d.ts +19 -0
- package/dist/internal/compiler/entries.d.ts.map +1 -0
- package/dist/internal/compiler/entries.js +32 -0
- package/dist/internal/compiler/entries.js.map +1 -0
- package/dist/internal/compiler/first.d.ts +33 -0
- package/dist/internal/compiler/first.d.ts.map +1 -0
- package/dist/internal/compiler/first.js +235 -0
- package/dist/internal/compiler/first.js.map +1 -0
- package/dist/internal/compiler/jit.d.ts +20 -0
- package/dist/internal/compiler/jit.d.ts.map +1 -0
- package/dist/internal/compiler/jit.js +1030 -0
- package/dist/internal/compiler/jit.js.map +1 -0
- package/dist/internal/compiler/registry.d.ts +34 -0
- package/dist/internal/compiler/registry.d.ts.map +1 -0
- package/dist/internal/compiler/registry.js +46 -0
- package/dist/internal/compiler/registry.js.map +1 -0
- package/dist/internal/compiler/sets.d.ts +29 -0
- package/dist/internal/compiler/sets.d.ts.map +1 -0
- package/dist/internal/compiler/sets.js +85 -0
- package/dist/internal/compiler/sets.js.map +1 -0
- package/dist/internal/entries.d.ts +27 -0
- package/dist/internal/entries.d.ts.map +1 -0
- package/dist/internal/entries.js +42 -0
- package/dist/internal/entries.js.map +1 -0
- package/dist/internal/node.d.ts +251 -0
- package/dist/internal/node.d.ts.map +1 -0
- package/dist/internal/node.js +73 -0
- package/dist/internal/node.js.map +1 -0
- package/dist/internal/numbers.d.ts +41 -0
- package/dist/internal/numbers.d.ts.map +1 -0
- package/dist/internal/numbers.js +302 -0
- package/dist/internal/numbers.js.map +1 -0
- package/dist/internal/resume.d.ts +39 -0
- package/dist/internal/resume.d.ts.map +1 -0
- package/dist/internal/resume.js +37 -0
- package/dist/internal/resume.js.map +1 -0
- package/dist/internal/text.d.ts +72 -0
- package/dist/internal/text.d.ts.map +1 -0
- package/dist/internal/text.js +391 -0
- package/dist/internal/text.js.map +1 -0
- package/dist/internal/tokens.d.ts +93 -0
- package/dist/internal/tokens.d.ts.map +1 -0
- package/dist/internal/tokens.js +400 -0
- package/dist/internal/tokens.js.map +1 -0
- package/package.json +115 -3
- package/src/Ascii.ts +741 -0
- package/src/Binary.ts +228 -0
- package/src/Bits.ts +192 -0
- package/src/Encoding.ts +128 -0
- package/src/Expression.ts +245 -0
- package/src/Input.ts +429 -0
- package/src/Nom.ts +642 -0
- package/src/ParseError.ts +378 -0
- package/src/Parser.ts +2763 -0
- package/src/ParserSchema.ts +87 -0
- package/src/ParserStream.ts +390 -0
- package/src/Text.ts +757 -0
- package/src/Token.ts +416 -0
- package/src/index.ts +16 -0
- package/src/internal/compiler/closure.ts +1583 -0
- package/src/internal/compiler/entries.ts +36 -0
- package/src/internal/compiler/first.ts +252 -0
- package/src/internal/compiler/jit.ts +1091 -0
- package/src/internal/compiler/registry.ts +79 -0
- package/src/internal/compiler/sets.ts +100 -0
- package/src/internal/entries.ts +51 -0
- package/src/internal/node.ts +207 -0
- package/src/internal/numbers.ts +291 -0
- package/src/internal/resume.ts +55 -0
- package/src/internal/text.ts +411 -0
- package/src/internal/tokens.ts +409 -0
package/dist/Input.d.ts
ADDED
|
@@ -0,0 +1,301 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Input types and the mutable parse {@link State} cursor.
|
|
3
|
+
*
|
|
4
|
+
* Like winnow, effect-parse parsers advance a mutable cursor rather than
|
|
5
|
+
* returning the remaining input. A {@link State} wraps the original input
|
|
6
|
+
* together with the current offset, the streaming (partial) flag, the
|
|
7
|
+
* services available to the parser, and the details of the most recent
|
|
8
|
+
* failure.
|
|
9
|
+
*
|
|
10
|
+
* Most users never touch `State` directly. It is exposed for writing custom
|
|
11
|
+
* low-level parsers with `Parser.make`.
|
|
12
|
+
*
|
|
13
|
+
* @since 0.1.0
|
|
14
|
+
*/
|
|
15
|
+
import * as Context from "effect/Context";
|
|
16
|
+
import type { Encoding } from "./Encoding.js";
|
|
17
|
+
import type { ErrorKind } from "./ParseError.js";
|
|
18
|
+
/**
|
|
19
|
+
* The kinds of input a parser can consume.
|
|
20
|
+
*
|
|
21
|
+
* - `string`: tokens are Unicode code points (returned as strings), offsets
|
|
22
|
+
* are UTF-16 code-unit indices.
|
|
23
|
+
* - `Uint8Array`: tokens are bytes (numbers), slices are `subarray` views.
|
|
24
|
+
* - `ReadonlyArray<T>`: tokens are elements, e.g. the output of a lexer.
|
|
25
|
+
*
|
|
26
|
+
* @since 0.1.0
|
|
27
|
+
* @category models
|
|
28
|
+
*/
|
|
29
|
+
export type Input = string | Uint8Array | ReadonlyArray<unknown>;
|
|
30
|
+
/**
|
|
31
|
+
* Binary data that can be passed wherever a `Uint8Array` input is expected:
|
|
32
|
+
* an `ArrayBuffer`, a `SharedArrayBuffer`, a `DataView` or any typed array.
|
|
33
|
+
*
|
|
34
|
+
* It is viewed, not copied, as a `Uint8Array` of its bytes. A typed array
|
|
35
|
+
* with wider elements is viewed in the platform's byte order, which is
|
|
36
|
+
* little endian on all common platforms, so a `Uint16Array` of UTF-16 code
|
|
37
|
+
* units can be parsed with `Text.utf16le`.
|
|
38
|
+
*
|
|
39
|
+
* @since 0.1.0
|
|
40
|
+
* @category models
|
|
41
|
+
*/
|
|
42
|
+
export type BinaryInput = ArrayBufferLike | ArrayBufferView;
|
|
43
|
+
/**
|
|
44
|
+
* What the runners accept for a parser over `I`: the input itself, or, for
|
|
45
|
+
* byte parsers, any {@link BinaryInput}.
|
|
46
|
+
*
|
|
47
|
+
* @since 0.1.0
|
|
48
|
+
* @category models
|
|
49
|
+
*/
|
|
50
|
+
export type Source<I> = I | ([I] extends [Uint8Array] ? BinaryInput : never);
|
|
51
|
+
/**
|
|
52
|
+
* Converts a {@link Source} to the input parsers read: binary data becomes a
|
|
53
|
+
* `Uint8Array` view of the same memory, everything else is returned as is.
|
|
54
|
+
*
|
|
55
|
+
* @example
|
|
56
|
+
* ```ts
|
|
57
|
+
* import { Input } from "@thomasfosterau/effect-parse"
|
|
58
|
+
*
|
|
59
|
+
* Input.fromSource(new Uint16Array([0x41]).buffer) // Uint8Array [0x41, 0x00]
|
|
60
|
+
* ```
|
|
61
|
+
*
|
|
62
|
+
* @since 0.1.0
|
|
63
|
+
* @category constructors
|
|
64
|
+
*/
|
|
65
|
+
export declare const fromSource: {
|
|
66
|
+
(source: BinaryInput): Uint8Array;
|
|
67
|
+
<I extends Input>(source: Source<I>): I;
|
|
68
|
+
};
|
|
69
|
+
/**
|
|
70
|
+
* The type of a single token of an input.
|
|
71
|
+
*
|
|
72
|
+
* @since 0.1.0
|
|
73
|
+
* @category models
|
|
74
|
+
*/
|
|
75
|
+
export type Token<I> = I extends string ? string : I extends Uint8Array ? number : I extends ReadonlyArray<infer T> ? T : never;
|
|
76
|
+
/**
|
|
77
|
+
* The type of a contiguous slice of an input.
|
|
78
|
+
*
|
|
79
|
+
* @since 0.1.0
|
|
80
|
+
* @category models
|
|
81
|
+
*/
|
|
82
|
+
export type Slice<I> = I extends string ? string : I extends Uint8Array ? Uint8Array : I extends ReadonlyArray<infer T> ? ReadonlyArray<T> : never;
|
|
83
|
+
/**
|
|
84
|
+
* Sentinel returned by a parser step to signal failure. The failure details
|
|
85
|
+
* are stored on the {@link State}.
|
|
86
|
+
*
|
|
87
|
+
* @since 0.1.0
|
|
88
|
+
* @category failure
|
|
89
|
+
*/
|
|
90
|
+
export declare const Fail: unique symbol;
|
|
91
|
+
/**
|
|
92
|
+
* @since 0.1.0
|
|
93
|
+
* @category failure
|
|
94
|
+
*/
|
|
95
|
+
export type Fail = typeof Fail;
|
|
96
|
+
/**
|
|
97
|
+
* How a failure propagates (winnow's `ErrMode`, nom's `Err`).
|
|
98
|
+
*
|
|
99
|
+
* - `Backtrack`: recoverable; `alt`, `opt`, `repeat`, ... try something else.
|
|
100
|
+
* - `Cut`: unrecoverable; alternatives are not attempted.
|
|
101
|
+
* - `Incomplete`: a partial (streaming) input ran out; more data is needed.
|
|
102
|
+
*
|
|
103
|
+
* @since 0.1.0
|
|
104
|
+
* @category failure
|
|
105
|
+
*/
|
|
106
|
+
export type ErrMode = "Backtrack" | "Cut" | "Incomplete";
|
|
107
|
+
/**
|
|
108
|
+
* The details of a parse failure.
|
|
109
|
+
*
|
|
110
|
+
* @since 0.1.0
|
|
111
|
+
* @category failure
|
|
112
|
+
*/
|
|
113
|
+
export declare class Failure {
|
|
114
|
+
/** Offset into the input where the failure occurred. */
|
|
115
|
+
readonly offset: number;
|
|
116
|
+
/** The kind of parser that failed. */
|
|
117
|
+
readonly kind: ErrorKind;
|
|
118
|
+
/** Rendered descriptions of what was expected at `offset`. */
|
|
119
|
+
readonly expected: ReadonlyArray<string>;
|
|
120
|
+
/** Context labels added by `Parser.context`, innermost first. */
|
|
121
|
+
readonly context: ReadonlyArray<string>;
|
|
122
|
+
/** Whether a user supplied cause is present. */
|
|
123
|
+
readonly hasCause: boolean;
|
|
124
|
+
/** A user supplied (typed) cause. */
|
|
125
|
+
readonly cause: unknown;
|
|
126
|
+
/** An optional free-form message. */
|
|
127
|
+
readonly message: string | undefined;
|
|
128
|
+
/** For `Incomplete` failures, how many more tokens are needed (0 if unknown). */
|
|
129
|
+
readonly needed: number;
|
|
130
|
+
constructor(
|
|
131
|
+
/** Offset into the input where the failure occurred. */
|
|
132
|
+
offset: number,
|
|
133
|
+
/** The kind of parser that failed. */
|
|
134
|
+
kind: ErrorKind,
|
|
135
|
+
/** Rendered descriptions of what was expected at `offset`. */
|
|
136
|
+
expected: ReadonlyArray<string>,
|
|
137
|
+
/** Context labels added by `Parser.context`, innermost first. */
|
|
138
|
+
context: ReadonlyArray<string>,
|
|
139
|
+
/** Whether a user supplied cause is present. */
|
|
140
|
+
hasCause: boolean,
|
|
141
|
+
/** A user supplied (typed) cause. */
|
|
142
|
+
cause: unknown,
|
|
143
|
+
/** An optional free-form message. */
|
|
144
|
+
message: string | undefined,
|
|
145
|
+
/** For `Incomplete` failures, how many more tokens are needed (0 if unknown). */
|
|
146
|
+
needed: number);
|
|
147
|
+
}
|
|
148
|
+
/** @internal */
|
|
149
|
+
export declare const emptyStrings: readonly string[];
|
|
150
|
+
/**
|
|
151
|
+
* A tracing event emitted by `Parser.trace`.
|
|
152
|
+
*
|
|
153
|
+
* @since 0.1.0
|
|
154
|
+
* @category tracing
|
|
155
|
+
*/
|
|
156
|
+
export interface TraceEvent {
|
|
157
|
+
readonly _tag: "Enter" | "Exit";
|
|
158
|
+
readonly name: string;
|
|
159
|
+
readonly depth: number;
|
|
160
|
+
readonly offset: number;
|
|
161
|
+
/** For `Exit` events: the outcome. */
|
|
162
|
+
readonly result?: "Ok" | ErrMode;
|
|
163
|
+
/** For `Exit` events: the offset reached. */
|
|
164
|
+
readonly endOffset?: number;
|
|
165
|
+
readonly state: State;
|
|
166
|
+
}
|
|
167
|
+
/**
|
|
168
|
+
* The mutable parsing cursor.
|
|
169
|
+
*
|
|
170
|
+
* @since 0.1.0
|
|
171
|
+
* @category models
|
|
172
|
+
*/
|
|
173
|
+
export declare class State<I extends Input = Input> {
|
|
174
|
+
/** The full input being parsed. */
|
|
175
|
+
readonly input: I;
|
|
176
|
+
/** The current offset. Advanced by parsers, rewound on backtracking. */
|
|
177
|
+
pos: number;
|
|
178
|
+
/** The end offset (the input's length; in bits inside `Bits.bits`). */
|
|
179
|
+
end: number;
|
|
180
|
+
/** 0 = string, 1 = Uint8Array, 2 = array. */
|
|
181
|
+
readonly inputKind: 0 | 1 | 2;
|
|
182
|
+
/** Whether the input is partial (streaming): running out yields `Incomplete`. */
|
|
183
|
+
partial: boolean;
|
|
184
|
+
/** Services available to `Parser.service`. */
|
|
185
|
+
context: Context.Context<never>;
|
|
186
|
+
/** Mode of the latest failure. Only meaningful after a step returned {@link Fail}. */
|
|
187
|
+
mode: ErrMode;
|
|
188
|
+
/** Details of the latest failure. Only meaningful after a step returned {@link Fail}. */
|
|
189
|
+
failure: Failure;
|
|
190
|
+
/**
|
|
191
|
+
* The offset of a recoverable failure that occurred without consuming
|
|
192
|
+
* input (for example the last attempt of a `repeat`). Its
|
|
193
|
+
* expectations are merged into new failures at the same offset, producing
|
|
194
|
+
* messages like `expected digit or ")"`.
|
|
195
|
+
*/
|
|
196
|
+
hintOffset: number;
|
|
197
|
+
/** The expectations of the hint at {@link hintOffset}. */
|
|
198
|
+
hintExpected: ReadonlyArray<string>;
|
|
199
|
+
/**
|
|
200
|
+
* The furthest recoverable failure seen so far, including failures that
|
|
201
|
+
* were later swallowed by backtracking (for example a trailing separator
|
|
202
|
+
* followed by an invalid element). It is reported instead of the final
|
|
203
|
+
* failure when it lies further into the input. This is the classic PEG
|
|
204
|
+
* "farthest failure" heuristic.
|
|
205
|
+
*/
|
|
206
|
+
deepest: Failure | undefined;
|
|
207
|
+
/** When defined, `Parser.resumeAfter`/`retryAfter` record failures here. */
|
|
208
|
+
recovered: Array<Failure> | undefined;
|
|
209
|
+
/** When defined, `Parser.trace` reports events here. */
|
|
210
|
+
tracer: ((event: TraceEvent) => void) | undefined;
|
|
211
|
+
/** Current tracing depth. */
|
|
212
|
+
depth: number;
|
|
213
|
+
/**
|
|
214
|
+
* The text encoding of a byte input, recorded by `Text` parsers when they
|
|
215
|
+
* fail so that errors can show the input as text.
|
|
216
|
+
*/
|
|
217
|
+
encoding: Encoding<any> | undefined;
|
|
218
|
+
/**
|
|
219
|
+
* The checkpoints of a resumable streaming parse (see
|
|
220
|
+
* `ParserStream.parseAll`); `undefined` otherwise.
|
|
221
|
+
*
|
|
222
|
+
* @internal
|
|
223
|
+
*/
|
|
224
|
+
resume: Map<object, Map<number, unknown>> | undefined;
|
|
225
|
+
constructor(source: I | Source<I>, options?: {
|
|
226
|
+
readonly partial?: boolean | undefined;
|
|
227
|
+
readonly context?: Context.Context<never> | undefined;
|
|
228
|
+
readonly offset?: number | undefined;
|
|
229
|
+
});
|
|
230
|
+
/**
|
|
231
|
+
* The number of input units (code units, bytes or elements) remaining.
|
|
232
|
+
*/
|
|
233
|
+
remaining(): number;
|
|
234
|
+
/**
|
|
235
|
+
* Whether the cursor is at the end of the input.
|
|
236
|
+
*/
|
|
237
|
+
atEnd(): boolean;
|
|
238
|
+
/**
|
|
239
|
+
* Extracts the slice `[start, end)` of the input.
|
|
240
|
+
*/
|
|
241
|
+
slice(start: number, end: number): Slice<I>;
|
|
242
|
+
/**
|
|
243
|
+
* Records a recoverable failure at the current offset and returns {@link Fail}.
|
|
244
|
+
*/
|
|
245
|
+
backtrack(kind: ErrorKind, expected?: ReadonlyArray<string>, offset?: number): Fail;
|
|
246
|
+
/**
|
|
247
|
+
* Records an unrecoverable failure at the current offset and returns {@link Fail}.
|
|
248
|
+
*/
|
|
249
|
+
cut(kind: ErrorKind, expected?: ReadonlyArray<string>, offset?: number): Fail;
|
|
250
|
+
/**
|
|
251
|
+
* Records an `Incomplete` failure (only meaningful for partial input) and
|
|
252
|
+
* returns {@link Fail}.
|
|
253
|
+
*/
|
|
254
|
+
incomplete(needed: number, expected?: ReadonlyArray<string>): Fail;
|
|
255
|
+
/**
|
|
256
|
+
* Fails because the input ended: `Incomplete` for partial input, otherwise
|
|
257
|
+
* a `Backtrack` failure of the given kind.
|
|
258
|
+
*/
|
|
259
|
+
eoi(kind: ErrorKind, expected: ReadonlyArray<string>, needed: number): Fail;
|
|
260
|
+
/**
|
|
261
|
+
* Records a failure carrying a user supplied cause.
|
|
262
|
+
*/
|
|
263
|
+
failCause(mode: ErrMode, kind: ErrorKind, cause: unknown, offset?: number): Fail;
|
|
264
|
+
/**
|
|
265
|
+
* Records a failure carrying a message.
|
|
266
|
+
*/
|
|
267
|
+
failMessage(mode: ErrMode, kind: ErrorKind, message: string, offset?: number): Fail;
|
|
268
|
+
/**
|
|
269
|
+
* Records the given failure and returns {@link Fail}.
|
|
270
|
+
*/
|
|
271
|
+
failWith(mode: ErrMode, failure: Failure): Fail;
|
|
272
|
+
/**
|
|
273
|
+
* Replaces the details of the current failure (for example to add context),
|
|
274
|
+
* keeping the record of the furthest failure consistent.
|
|
275
|
+
*/
|
|
276
|
+
replaceFailure(failure: Failure): void;
|
|
277
|
+
/**
|
|
278
|
+
* The failure to report to the user: the current failure, or the furthest
|
|
279
|
+
* failure if it lies beyond the current one and the current failure is a
|
|
280
|
+
* plain syntax error (no user cause or message).
|
|
281
|
+
*/
|
|
282
|
+
reportedFailure(): Failure;
|
|
283
|
+
/**
|
|
284
|
+
* Records that, at `offset`, any of `expected` could also have been
|
|
285
|
+
* accepted. Used by parsers that stop without failing, such as `opt`,
|
|
286
|
+
* `repeat` and `Ascii.digit1`.
|
|
287
|
+
*/
|
|
288
|
+
setHint(offset: number, expected: ReadonlyArray<string>): void;
|
|
289
|
+
/** @internal */
|
|
290
|
+
makeFailure(offset: number, kind: ErrorKind, expected: ReadonlyArray<string>): Failure;
|
|
291
|
+
}
|
|
292
|
+
/** @internal */
|
|
293
|
+
export declare const mergeExpected: (a: ReadonlyArray<string>, b: ReadonlyArray<string>) => ReadonlyArray<string>;
|
|
294
|
+
/**
|
|
295
|
+
* Combines the failures of two alternatives: the furthest failure wins, and
|
|
296
|
+
* failures at the same offset have their expectations merged.
|
|
297
|
+
*
|
|
298
|
+
* @internal
|
|
299
|
+
*/
|
|
300
|
+
export declare const mergeFailures: (a: Failure, b: Failure) => Failure;
|
|
301
|
+
//# sourceMappingURL=Input.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"Input.d.ts","sourceRoot":"","sources":["../src/Input.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAEhD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,GAAG,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;AAEhE;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,GAAG,eAAe,GAAG,eAAe,CAAA;AAE3D;;;;;;GAMG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,WAAW,GAAG,KAAK,CAAC,CAAA;AAE5E;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,MAAM,EAAE,WAAW,GAAG,UAAU,CAAA;IACjC,CAAC,CAAC,SAAS,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;CAOxC,CAAA;AAKD;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,GAC5C,CAAC,SAAS,UAAU,GAAG,MAAM,GAC7B,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GACpC,KAAK,CAAA;AAET;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,GAC5C,CAAC,SAAS,UAAU,GAAG,UAAU,GACjC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GACnD,KAAK,CAAA;AAET;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,EAAE,OAAO,MAAwC,CAAA;AAElE;;;GAGG;AACH,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAA;AAE9B;;;;;;;;;GASG;AACH,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,KAAK,GAAG,YAAY,CAAA;AAExD;;;;;GAKG;AACH,qBAAa,OAAO;IAEhB,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB,sCAAsC;IACtC,QAAQ,CAAC,IAAI,EAAE,SAAS;IACxB,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC;IACxC,iEAAiE;IACjE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC;IACvC,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,OAAO;IAC1B,qCAAqC;IACrC,QAAQ,CAAC,KAAK,EAAE,OAAO;IACvB,qCAAqC;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS;IACpC,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,MAAM;IAhBzB;IACE,wDAAwD;IAC/C,MAAM,EAAE,MAAM;IACvB,sCAAsC;IAC7B,IAAI,EAAE,SAAS;IACxB,8DAA8D;IACrD,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC;IACxC,iEAAiE;IACxD,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC;IACvC,gDAAgD;IACvC,QAAQ,EAAE,OAAO;IAC1B,qCAAqC;IAC5B,KAAK,EAAE,OAAO;IACvB,qCAAqC;IAC5B,OAAO,EAAE,MAAM,GAAG,SAAS;IACpC,iFAAiF;IACxE,MAAM,EAAE,MAAM,EACrB;CACL;AAID,gBAAgB;AAChB,eAAO,MAAM,YAAY,mBAAQ,CAAA;AAEjC;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAAA;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,sCAAsC;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,OAAO,CAAA;IAChC,6CAA6C;IAC7C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB;AAED;;;;;GAKG;AACH,qBAAa,KAAK,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK;IACxC,mCAAmC;IACnC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB,wEAAwE;IACxE,GAAG,EAAE,MAAM,CAAA;IACX,uEAAuE;IACvE,GAAG,EAAE,MAAM,CAAA;IACX,6CAA6C;IAC7C,QAAQ,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7B,iFAAiF;IACjF,OAAO,EAAE,OAAO,CAAA;IAChB,8CAA8C;IAC9C,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAC/B,sFAAsF;IACtF,IAAI,EAAE,OAAO,CAAc;IAC3B,yFAAyF;IACzF,OAAO,EAAE,OAAO,CAAA;IAChB;;;;;OAKG;IACH,UAAU,SAAK;IACf,0DAA0D;IAC1D,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAQ;IAC3C;;;;;;OAMG;IACH,OAAO,EAAE,OAAO,GAAG,SAAS,CAAY;IACxC,4EAA4E;IAC5E,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,SAAS,CAAY;IACjD,wDAAwD;IACxD,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,UAAU,KAAK,IAAI,CAAC,GAAG,SAAS,CAAY;IAC7D,6BAA6B;IAC7B,KAAK,SAAI;IACT;;;OAGG;IACH,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,SAAS,CAAY;IAC/C;;;;;OAKG;IACH,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAAY;IAEjE,YAAY,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE;QAC3C,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;QACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,SAAS,CAAA;QACrD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KACrC,EASA;IAED;;OAEG;IACH,SAAS,IAAI,MAAM,CAElB;IAED;;OAEG;IACH,KAAK,IAAI,OAAO,CAEf;IAED;;OAEG;IACH,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAU1C;IAED;;OAEG;IACH,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,GAAE,aAAa,CAAC,MAAM,CAAS,EAAE,MAAM,GAAE,MAAiB,GAAG,IAAI,CAEnG;IAED;;OAEG;IACH,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,GAAE,aAAa,CAAC,MAAM,CAAS,EAAE,MAAM,GAAE,MAAiB,GAAG,IAAI,CAE7F;IAED;;;OAGG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,GAAE,aAAa,CAAC,MAAM,CAAS,GAAG,IAAI,CAKxE;IAED;;;OAGG;IACH,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAE1E;IAED;;OAEG;IACH,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,GAAE,MAAiB,GAAG,IAAI,CAEzF;IAED;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAE,MAAiB,GAAG,IAAI,CAE5F;IAED;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAO9C;IAED;;;OAGG;IACH,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAGrC;IAED;;;;OAIG;IACH,eAAe,IAAI,OAAO,CAWzB;IAED;;;;OAIG;IACH,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,IAAI,CAO7D;IAED,gBAAgB;IAChB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,OAAO,CAKrF;CACF;AAED,gBAAgB;AAChB,eAAO,MAAM,aAAa,MACrB,aAAa,CAAC,MAAM,CAAC,KACrB,aAAa,CAAC,MAAM,CAAC,KACvB,aAAa,CAAC,MAAM,CAQtB,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,aAAa,MAAO,OAAO,KAAK,OAAO,KAAG,OAetD,CAAA"}
|
package/dist/Input.js
ADDED
|
@@ -0,0 +1,312 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Input types and the mutable parse {@link State} cursor.
|
|
3
|
+
*
|
|
4
|
+
* Like winnow, effect-parse parsers advance a mutable cursor rather than
|
|
5
|
+
* returning the remaining input. A {@link State} wraps the original input
|
|
6
|
+
* together with the current offset, the streaming (partial) flag, the
|
|
7
|
+
* services available to the parser, and the details of the most recent
|
|
8
|
+
* failure.
|
|
9
|
+
*
|
|
10
|
+
* Most users never touch `State` directly. It is exposed for writing custom
|
|
11
|
+
* low-level parsers with `Parser.make`.
|
|
12
|
+
*
|
|
13
|
+
* @since 0.1.0
|
|
14
|
+
*/
|
|
15
|
+
import * as Context from "effect/Context";
|
|
16
|
+
/**
|
|
17
|
+
* Converts a {@link Source} to the input parsers read: binary data becomes a
|
|
18
|
+
* `Uint8Array` view of the same memory, everything else is returned as is.
|
|
19
|
+
*
|
|
20
|
+
* @example
|
|
21
|
+
* ```ts
|
|
22
|
+
* import { Input } from "@thomasfosterau/effect-parse"
|
|
23
|
+
*
|
|
24
|
+
* Input.fromSource(new Uint16Array([0x41]).buffer) // Uint8Array [0x41, 0x00]
|
|
25
|
+
* ```
|
|
26
|
+
*
|
|
27
|
+
* @since 0.1.0
|
|
28
|
+
* @category constructors
|
|
29
|
+
*/
|
|
30
|
+
export const fromSource = (source) => {
|
|
31
|
+
if (typeof source === "string" || source instanceof Uint8Array || Array.isArray(source))
|
|
32
|
+
return source;
|
|
33
|
+
if (ArrayBuffer.isView(source))
|
|
34
|
+
return new Uint8Array(source.buffer, source.byteOffset, source.byteLength);
|
|
35
|
+
// An explicit length fixes the view's size even for a resizable buffer
|
|
36
|
+
if (isArrayBufferLike(source))
|
|
37
|
+
return new Uint8Array(source, 0, source.byteLength);
|
|
38
|
+
return source;
|
|
39
|
+
};
|
|
40
|
+
const isArrayBufferLike = (u) => u instanceof ArrayBuffer || (typeof SharedArrayBuffer !== "undefined" && u instanceof SharedArrayBuffer);
|
|
41
|
+
/**
|
|
42
|
+
* Sentinel returned by a parser step to signal failure. The failure details
|
|
43
|
+
* are stored on the {@link State}.
|
|
44
|
+
*
|
|
45
|
+
* @since 0.1.0
|
|
46
|
+
* @category failure
|
|
47
|
+
*/
|
|
48
|
+
export const Fail = Symbol.for("effect-parse/Fail");
|
|
49
|
+
/**
|
|
50
|
+
* The details of a parse failure.
|
|
51
|
+
*
|
|
52
|
+
* @since 0.1.0
|
|
53
|
+
* @category failure
|
|
54
|
+
*/
|
|
55
|
+
export class Failure {
|
|
56
|
+
offset;
|
|
57
|
+
kind;
|
|
58
|
+
expected;
|
|
59
|
+
context;
|
|
60
|
+
hasCause;
|
|
61
|
+
cause;
|
|
62
|
+
message;
|
|
63
|
+
needed;
|
|
64
|
+
constructor(
|
|
65
|
+
/** Offset into the input where the failure occurred. */
|
|
66
|
+
offset,
|
|
67
|
+
/** The kind of parser that failed. */
|
|
68
|
+
kind,
|
|
69
|
+
/** Rendered descriptions of what was expected at `offset`. */
|
|
70
|
+
expected,
|
|
71
|
+
/** Context labels added by `Parser.context`, innermost first. */
|
|
72
|
+
context,
|
|
73
|
+
/** Whether a user supplied cause is present. */
|
|
74
|
+
hasCause,
|
|
75
|
+
/** A user supplied (typed) cause. */
|
|
76
|
+
cause,
|
|
77
|
+
/** An optional free-form message. */
|
|
78
|
+
message,
|
|
79
|
+
/** For `Incomplete` failures, how many more tokens are needed (0 if unknown). */
|
|
80
|
+
needed) {
|
|
81
|
+
this.offset = offset;
|
|
82
|
+
this.kind = kind;
|
|
83
|
+
this.expected = expected;
|
|
84
|
+
this.context = context;
|
|
85
|
+
this.hasCause = hasCause;
|
|
86
|
+
this.cause = cause;
|
|
87
|
+
this.message = message;
|
|
88
|
+
this.needed = needed;
|
|
89
|
+
}
|
|
90
|
+
}
|
|
91
|
+
const empty = [];
|
|
92
|
+
/** @internal */
|
|
93
|
+
export const emptyStrings = empty;
|
|
94
|
+
/**
|
|
95
|
+
* The mutable parsing cursor.
|
|
96
|
+
*
|
|
97
|
+
* @since 0.1.0
|
|
98
|
+
* @category models
|
|
99
|
+
*/
|
|
100
|
+
export class State {
|
|
101
|
+
/** The full input being parsed. */
|
|
102
|
+
input;
|
|
103
|
+
/** The current offset. Advanced by parsers, rewound on backtracking. */
|
|
104
|
+
pos;
|
|
105
|
+
/** The end offset (the input's length; in bits inside `Bits.bits`). */
|
|
106
|
+
end;
|
|
107
|
+
/** 0 = string, 1 = Uint8Array, 2 = array. */
|
|
108
|
+
inputKind;
|
|
109
|
+
/** Whether the input is partial (streaming): running out yields `Incomplete`. */
|
|
110
|
+
partial;
|
|
111
|
+
/** Services available to `Parser.service`. */
|
|
112
|
+
context;
|
|
113
|
+
/** Mode of the latest failure. Only meaningful after a step returned {@link Fail}. */
|
|
114
|
+
mode = "Backtrack";
|
|
115
|
+
/** Details of the latest failure. Only meaningful after a step returned {@link Fail}. */
|
|
116
|
+
failure;
|
|
117
|
+
/**
|
|
118
|
+
* The offset of a recoverable failure that occurred without consuming
|
|
119
|
+
* input (for example the last attempt of a `repeat`). Its
|
|
120
|
+
* expectations are merged into new failures at the same offset, producing
|
|
121
|
+
* messages like `expected digit or ")"`.
|
|
122
|
+
*/
|
|
123
|
+
hintOffset = -1;
|
|
124
|
+
/** The expectations of the hint at {@link hintOffset}. */
|
|
125
|
+
hintExpected = empty;
|
|
126
|
+
/**
|
|
127
|
+
* The furthest recoverable failure seen so far, including failures that
|
|
128
|
+
* were later swallowed by backtracking (for example a trailing separator
|
|
129
|
+
* followed by an invalid element). It is reported instead of the final
|
|
130
|
+
* failure when it lies further into the input. This is the classic PEG
|
|
131
|
+
* "farthest failure" heuristic.
|
|
132
|
+
*/
|
|
133
|
+
deepest = undefined;
|
|
134
|
+
/** When defined, `Parser.resumeAfter`/`retryAfter` record failures here. */
|
|
135
|
+
recovered = undefined;
|
|
136
|
+
/** When defined, `Parser.trace` reports events here. */
|
|
137
|
+
tracer = undefined;
|
|
138
|
+
/** Current tracing depth. */
|
|
139
|
+
depth = 0;
|
|
140
|
+
/**
|
|
141
|
+
* The text encoding of a byte input, recorded by `Text` parsers when they
|
|
142
|
+
* fail so that errors can show the input as text.
|
|
143
|
+
*/
|
|
144
|
+
encoding = undefined;
|
|
145
|
+
/**
|
|
146
|
+
* The checkpoints of a resumable streaming parse (see
|
|
147
|
+
* `ParserStream.parseAll`); `undefined` otherwise.
|
|
148
|
+
*
|
|
149
|
+
* @internal
|
|
150
|
+
*/
|
|
151
|
+
resume = undefined;
|
|
152
|
+
constructor(source, options) {
|
|
153
|
+
const input = fromSource(source);
|
|
154
|
+
this.input = input;
|
|
155
|
+
this.end = input.length;
|
|
156
|
+
this.pos = options?.offset ?? 0;
|
|
157
|
+
this.partial = options?.partial ?? false;
|
|
158
|
+
this.context = options?.context ?? Context.empty();
|
|
159
|
+
this.inputKind = typeof input === "string" ? 0 : input instanceof Uint8Array ? 1 : 2;
|
|
160
|
+
this.failure = new Failure(0, "Fail", empty, empty, false, undefined, undefined, 0);
|
|
161
|
+
}
|
|
162
|
+
/**
|
|
163
|
+
* The number of input units (code units, bytes or elements) remaining.
|
|
164
|
+
*/
|
|
165
|
+
remaining() {
|
|
166
|
+
return this.end - this.pos;
|
|
167
|
+
}
|
|
168
|
+
/**
|
|
169
|
+
* Whether the cursor is at the end of the input.
|
|
170
|
+
*/
|
|
171
|
+
atEnd() {
|
|
172
|
+
return this.pos >= this.end;
|
|
173
|
+
}
|
|
174
|
+
/**
|
|
175
|
+
* Extracts the slice `[start, end)` of the input.
|
|
176
|
+
*/
|
|
177
|
+
slice(start, end) {
|
|
178
|
+
const input = this.input;
|
|
179
|
+
switch (this.inputKind) {
|
|
180
|
+
case 0:
|
|
181
|
+
return input.slice(start, end);
|
|
182
|
+
case 1:
|
|
183
|
+
return input.subarray(start, end);
|
|
184
|
+
default:
|
|
185
|
+
return input.slice(start, end);
|
|
186
|
+
}
|
|
187
|
+
}
|
|
188
|
+
/**
|
|
189
|
+
* Records a recoverable failure at the current offset and returns {@link Fail}.
|
|
190
|
+
*/
|
|
191
|
+
backtrack(kind, expected = empty, offset = this.pos) {
|
|
192
|
+
return this.failWith("Backtrack", this.makeFailure(offset, kind, expected));
|
|
193
|
+
}
|
|
194
|
+
/**
|
|
195
|
+
* Records an unrecoverable failure at the current offset and returns {@link Fail}.
|
|
196
|
+
*/
|
|
197
|
+
cut(kind, expected = empty, offset = this.pos) {
|
|
198
|
+
return this.failWith("Cut", this.makeFailure(offset, kind, expected));
|
|
199
|
+
}
|
|
200
|
+
/**
|
|
201
|
+
* Records an `Incomplete` failure (only meaningful for partial input) and
|
|
202
|
+
* returns {@link Fail}.
|
|
203
|
+
*/
|
|
204
|
+
incomplete(needed, expected = empty) {
|
|
205
|
+
return this.failWith("Incomplete", new Failure(this.pos, "Incomplete", expected, empty, false, undefined, undefined, needed));
|
|
206
|
+
}
|
|
207
|
+
/**
|
|
208
|
+
* Fails because the input ended: `Incomplete` for partial input, otherwise
|
|
209
|
+
* a `Backtrack` failure of the given kind.
|
|
210
|
+
*/
|
|
211
|
+
eoi(kind, expected, needed) {
|
|
212
|
+
return this.partial ? this.incomplete(needed, expected) : this.backtrack(kind, expected);
|
|
213
|
+
}
|
|
214
|
+
/**
|
|
215
|
+
* Records a failure carrying a user supplied cause.
|
|
216
|
+
*/
|
|
217
|
+
failCause(mode, kind, cause, offset = this.pos) {
|
|
218
|
+
return this.failWith(mode, new Failure(offset, kind, empty, empty, true, cause, undefined, 0));
|
|
219
|
+
}
|
|
220
|
+
/**
|
|
221
|
+
* Records a failure carrying a message.
|
|
222
|
+
*/
|
|
223
|
+
failMessage(mode, kind, message, offset = this.pos) {
|
|
224
|
+
return this.failWith(mode, new Failure(offset, kind, empty, empty, false, undefined, message, 0));
|
|
225
|
+
}
|
|
226
|
+
/**
|
|
227
|
+
* Records the given failure and returns {@link Fail}.
|
|
228
|
+
*/
|
|
229
|
+
failWith(mode, failure) {
|
|
230
|
+
this.mode = mode;
|
|
231
|
+
this.failure = failure;
|
|
232
|
+
if (mode === "Backtrack" && (this.deepest === undefined || failure.offset >= this.deepest.offset)) {
|
|
233
|
+
this.deepest = failure;
|
|
234
|
+
}
|
|
235
|
+
return Fail;
|
|
236
|
+
}
|
|
237
|
+
/**
|
|
238
|
+
* Replaces the details of the current failure (for example to add context),
|
|
239
|
+
* keeping the record of the furthest failure consistent.
|
|
240
|
+
*/
|
|
241
|
+
replaceFailure(failure) {
|
|
242
|
+
if (this.deepest === this.failure)
|
|
243
|
+
this.deepest = failure;
|
|
244
|
+
this.failure = failure;
|
|
245
|
+
}
|
|
246
|
+
/**
|
|
247
|
+
* The failure to report to the user: the current failure, or the furthest
|
|
248
|
+
* failure if it lies beyond the current one and the current failure is a
|
|
249
|
+
* plain syntax error (no user cause or message).
|
|
250
|
+
*/
|
|
251
|
+
reportedFailure() {
|
|
252
|
+
const f = this.failure;
|
|
253
|
+
const d = this.deepest;
|
|
254
|
+
if (d === undefined || d === f || d.offset <= f.offset || this.mode === "Incomplete" ||
|
|
255
|
+
f.hasCause || f.message !== undefined) {
|
|
256
|
+
return f;
|
|
257
|
+
}
|
|
258
|
+
const context = d.context.length === 0 ? f.context : [...d.context, ...f.context.filter((l) => !d.context.includes(l))];
|
|
259
|
+
return new Failure(d.offset, d.kind, d.expected, context, d.hasCause, d.cause, d.message, d.needed);
|
|
260
|
+
}
|
|
261
|
+
/**
|
|
262
|
+
* Records that, at `offset`, any of `expected` could also have been
|
|
263
|
+
* accepted. Used by parsers that stop without failing, such as `opt`,
|
|
264
|
+
* `repeat` and `Ascii.digit1`.
|
|
265
|
+
*/
|
|
266
|
+
setHint(offset, expected) {
|
|
267
|
+
if (this.hintOffset === offset) {
|
|
268
|
+
this.hintExpected = mergeExpected(this.hintExpected, expected);
|
|
269
|
+
}
|
|
270
|
+
else {
|
|
271
|
+
this.hintOffset = offset;
|
|
272
|
+
this.hintExpected = expected;
|
|
273
|
+
}
|
|
274
|
+
}
|
|
275
|
+
/** @internal */
|
|
276
|
+
makeFailure(offset, kind, expected) {
|
|
277
|
+
if (this.hintOffset === offset && this.hintExpected.length > 0) {
|
|
278
|
+
expected = mergeExpected(this.hintExpected, expected);
|
|
279
|
+
}
|
|
280
|
+
return new Failure(offset, kind, expected, empty, false, undefined, undefined, 0);
|
|
281
|
+
}
|
|
282
|
+
}
|
|
283
|
+
/** @internal */
|
|
284
|
+
export const mergeExpected = (a, b) => {
|
|
285
|
+
if (a.length === 0)
|
|
286
|
+
return b;
|
|
287
|
+
if (b.length === 0)
|
|
288
|
+
return a;
|
|
289
|
+
const out = a.slice();
|
|
290
|
+
for (const e of b) {
|
|
291
|
+
if (!out.includes(e))
|
|
292
|
+
out.push(e);
|
|
293
|
+
}
|
|
294
|
+
return out;
|
|
295
|
+
};
|
|
296
|
+
/**
|
|
297
|
+
* Combines the failures of two alternatives: the furthest failure wins, and
|
|
298
|
+
* failures at the same offset have their expectations merged.
|
|
299
|
+
*
|
|
300
|
+
* @internal
|
|
301
|
+
*/
|
|
302
|
+
export const mergeFailures = (a, b) => {
|
|
303
|
+
if (a.offset > b.offset)
|
|
304
|
+
return a;
|
|
305
|
+
if (b.offset > a.offset)
|
|
306
|
+
return b;
|
|
307
|
+
const expected = mergeExpected(a.expected, b.expected);
|
|
308
|
+
if (expected === b.expected)
|
|
309
|
+
return b;
|
|
310
|
+
return new Failure(b.offset, b.kind, expected, b.context.length > 0 ? b.context : a.context, b.hasCause || a.hasCause, b.hasCause ? b.cause : a.cause, b.message ?? a.message, b.needed);
|
|
311
|
+
};
|
|
312
|
+
//# sourceMappingURL=Input.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"Input.js","sourceRoot":"","sources":["../src/Input.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AAwCzC;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,UAAU,GAGnB,CAAC,MAA2B,EAAO,EAAE;IACvC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,YAAY,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAA;IACtG,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;IAC1G,uEAAuE;IACvE,IAAI,iBAAiB,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;IAClF,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CAAC,CAAU,EAAwB,EAAE,CAC7D,CAAC,YAAY,WAAW,IAAI,CAAC,OAAO,iBAAiB,KAAK,WAAW,IAAI,CAAC,YAAY,iBAAiB,CAAC,CAAA;AAwB1G;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAkB,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAA;AAoBlE;;;;;GAKG;AACH,MAAM,OAAO,OAAO;IAGP,MAAM;IAEN,IAAI;IAEJ,QAAQ;IAER,OAAO;IAEP,QAAQ;IAER,KAAK;IAEL,OAAO;IAEP,MAAM;IAhBjB;IACE,wDAAwD;IAC/C,MAAc;IACvB,sCAAsC;IAC7B,IAAe;IACxB,8DAA8D;IACrD,QAA+B;IACxC,iEAAiE;IACxD,OAA8B;IACvC,gDAAgD;IACvC,QAAiB;IAC1B,qCAAqC;IAC5B,KAAc;IACvB,qCAAqC;IAC5B,OAA2B;IACpC,iFAAiF;IACxE,MAAc;sBAdd,MAAM;oBAEN,IAAI;wBAEJ,QAAQ;uBAER,OAAO;wBAEP,QAAQ;qBAER,KAAK;uBAEL,OAAO;sBAEP,MAAM;IACd,CAAC;CACL;AAED,MAAM,KAAK,GAA0B,EAAE,CAAA;AAEvC,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,CAAA;AAoBjC;;;;;GAKG;AACH,MAAM,OAAO,KAAK;IAChB,mCAAmC;IAC1B,KAAK,CAAG;IACjB,wEAAwE;IACxE,GAAG,CAAQ;IACX,uEAAuE;IACvE,GAAG,CAAQ;IACX,6CAA6C;IACpC,SAAS,CAAW;IAC7B,iFAAiF;IACjF,OAAO,CAAS;IAChB,8CAA8C;IAC9C,OAAO,CAAwB;IAC/B,sFAAsF;IACtF,IAAI,GAAY,WAAW,CAAA;IAC3B,yFAAyF;IACzF,OAAO,CAAS;IAChB;;;;;OAKG;IACH,UAAU,GAAG,CAAC,CAAC,CAAA;IACf,0DAA0D;IAC1D,YAAY,GAA0B,KAAK,CAAA;IAC3C;;;;;;OAMG;IACH,OAAO,GAAwB,SAAS,CAAA;IACxC,4EAA4E;IAC5E,SAAS,GAA+B,SAAS,CAAA;IACjD,wDAAwD;IACxD,MAAM,GAA8C,SAAS,CAAA;IAC7D,6BAA6B;IAC7B,KAAK,GAAG,CAAC,CAAA;IACT;;;OAGG;IACH,QAAQ,GAA8B,SAAS,CAAA;IAC/C;;;;;OAKG;IACH,MAAM,GAAkD,SAAS,CAAA;IAEjE,YAAY,MAAqB,EAAE,OAIlC;QACC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAe,CAAM,CAAA;QAC9C,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,MAAM,CAAA;QACvB,IAAI,CAAC,GAAG,GAAG,OAAO,EAAE,MAAM,IAAI,CAAC,CAAA;QAC/B,IAAI,CAAC,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,KAAK,CAAA;QACxC,IAAI,CAAC,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,OAAO,CAAC,KAAK,EAAE,CAAA;QAClD,IAAI,CAAC,SAAS,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACpF,IAAI,CAAC,OAAO,GAAG,IAAI,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAA;IACrF,CAAC;IAED;;OAEG;IACH,SAAS;QACP,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;IAC5B,CAAC;IAED;;OAEG;IACH,KAAK;QACH,OAAO,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAA;IAC7B,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAa,EAAE,GAAW;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAY,CAAA;QAC/B,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;YACvB,KAAK,CAAC;gBACJ,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YAChC,KAAK,CAAC;gBACJ,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YACnC;gBACE,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAClC,CAAC;IACH,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,IAAe,EAAE,QAAQ,GAA0B,KAAK,EAAE,MAAM,GAAW,IAAI,CAAC,GAAG;QAC3F,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC7E,CAAC;IAED;;OAEG;IACH,GAAG,CAAC,IAAe,EAAE,QAAQ,GAA0B,KAAK,EAAE,MAAM,GAAW,IAAI,CAAC,GAAG;QACrF,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;IACvE,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,MAAc,EAAE,QAAQ,GAA0B,KAAK;QAChE,OAAO,IAAI,CAAC,QAAQ,CAClB,YAAY,EACZ,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAC1F,CAAA;IACH,CAAC;IAED;;;OAGG;IACH,GAAG,CAAC,IAAe,EAAE,QAA+B,EAAE,MAAc;QAClE,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC1F,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,IAAa,EAAE,IAAe,EAAE,KAAc,EAAE,MAAM,GAAW,IAAI,CAAC,GAAG;QACjF,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAA;IAChG,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,IAAa,EAAE,IAAe,EAAE,OAAe,EAAE,MAAM,GAAW,IAAI,CAAC,GAAG;QACpF,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;IACnG,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,IAAa,EAAE,OAAgB;QACtC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,IAAI,KAAK,WAAW,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAClG,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACxB,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;OAGG;IACH,cAAc,CAAC,OAAgB;QAC7B,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACzD,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;IACxB,CAAC;IAED;;;;OAIG;IACH,eAAe;QACb,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAA;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAA;QACtB,IACE,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAChF,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EACrC,CAAC;YACD,OAAO,CAAC,CAAA;QACV,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACvH,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;IACrG,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,MAAc,EAAE,QAA+B;QACrD,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;QAChE,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,UAAU,GAAG,MAAM,CAAA;YACxB,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAA;QAC9B,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,WAAW,CAAC,MAAc,EAAE,IAAe,EAAE,QAA+B;QAC1E,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAA;QACvD,CAAC;QACD,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAA;IACnF,CAAC;CACF;AAED,gBAAgB;AAChB,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,CAAwB,EACxB,CAAwB,EACD,EAAE;IACzB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAA;IAC5B,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAA;IAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAA;IACrB,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACnC,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE;IAC/D,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM;QAAE,OAAO,CAAC,CAAA;IACjC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM;QAAE,OAAO,CAAC,CAAA;IACjC,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;IACtD,IAAI,QAAQ,KAAK,CAAC,CAAC,QAAQ;QAAE,OAAO,CAAC,CAAA;IACrC,OAAO,IAAI,OAAO,CAChB,CAAC,CAAC,MAAM,EACR,CAAC,CAAC,IAAI,EACN,QAAQ,EACR,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAC5C,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,EACxB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAC9B,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,EACtB,CAAC,CAAC,MAAM,CACT,CAAA;AACH,CAAC,CAAA"}
|