@elaraai/east-node-std 1.0.69 → 1.0.71

package/dist/src/json.js

@@ -0,0 +1,265 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { East, StringType, NullType, BooleanType, printType, } from "@elaraai/east";
+import { EastError } from "@elaraai/east/internal";
+import { randomUUID } from "node:crypto";
+import { JsonReader } from "./json_reader.js";
+/** Open readers, keyed by the opaque handle an East program carries. */
+const readers = new Map();
+function hold(reader) {
+    const handle = randomUUID();
+    readers.set(handle, reader);
+    return handle;
+}
+function get(handle, fn) {
+    const reader = readers.get(handle);
+    if (reader === undefined) {
+        throw new EastError(`${fn}: no open JSON reader for this handle`, {
+            location: [{ filename: fn, line: 0n, column: 0n }],
+        });
+    }
+    return reader;
+}
+/** Wraps a reader failure as an East error, keeping its pointer in the message. */
+function wrap(fn, body) {
+    try {
+        return body();
+    }
+    catch (err) {
+        // An East error is already worded for the caller — the handle lookup's
+        // is — so it passes through, as the Time and Fetch wrappers let theirs.
+        if (err instanceof EastError)
+            throw err;
+        throw new EastError(`${fn}: ${err.message}`, {
+            location: [{ filename: fn, line: 0n, column: 0n }],
+            cause: err,
+        });
+    }
+}
+/**
+ * Opens a JSON file and positions a reader on the array or object to iterate.
+ *
+ * @param path - The file to read
+ * @param pointer - RFC 6901 pointer to the container, `""` for the whole document
+ * @returns An opaque handle
+ *
+ * @throws {EastError} When the file cannot be opened, the pointer does not
+ * resolve, or the node it names is not an array or object
+ *
+ * @remarks
+ * The document is never held: the reader pulls one chunk of text at a time and
+ * constructs one value per {@link json_next}. Reading past the container is
+ * skipping, not parsing, so a pointer naming a small envelope member costs a
+ * scan and nothing more.
+ */
+export const json_open = East.platform("json_open", [StringType, StringType], StringType);
+/**
+ * Opens an in-memory JSON payload, as {@link json_open} opens a file.
+ *
+ * @param text - The document
+ * @param pointer - RFC 6901 pointer to the container, `""` for the whole document
+ * @returns An opaque handle
+ *
+ * @remarks
+ * The same reader over a string, so a request body and a multi-gigabyte file
+ * are read by one implementation and held to one definition of strict.
+ */
+export const json_open_text = East.platform("json_open_text", [StringType, StringType], StringType);
+/**
+ * Whether the container being iterated has another element.
+ *
+ * @param handle - A handle from {@link json_open} or {@link json_open_text}
+ * @returns True while elements remain
+ *
+ * @throws {EastError} When the handle is not open, or the document is malformed
+ *
+ * @remarks
+ * A predicate, not an advance: {@link json_next} moves the cursor, so the two
+ * need not alternate and asking twice is harmless.
+ */
+export const json_more = East.platform("json_more", [StringType], BooleanType);
+/**
+ * Reads the next element of the container as `T`.
+ *
+ * @param handle - A handle from {@link json_open} or {@link json_open_text}
+ * @returns The decoded value
+ *
+ * @throws {EastError} When the element does not satisfy `T` under East JSON's
+ * encoding, naming the RFC 6901 pointer of the offending node
+ *
+ * @remarks
+ * Strict: it accepts exactly what `jsonSchemaFor(T)` describes, which is what
+ * the ENCODER emits rather than what the historic decoder tolerated. An
+ * integer must be a quoted decimal in i64 range — not `"0x10"`, not `" 7 "`,
+ * not `"007"`; a timestamp must carry an explicit `+00:00`, not `Z` and not a
+ * numeric offset; a blob's hex must be lowercase.
+ *
+ * When the container is a JSON object, `T` must be a `Struct` of exactly `key`
+ * and `value`, in either order, and each member arrives as one of those —
+ * which is what a `Dict` output needs. An error inside an element is located
+ * by its index in an array and by its member name in an object, and reads
+ * word for word as it does on east-c and east-py.
+ */
+export const json_next = East.genericPlatform("json_next", ["T"], [StringType], "T");
+/**
+ * Reads one whole value from a file, without iterating.
+ *
+ * @param path - The file to read
+ * @param pointer - RFC 6901 pointer to the value
+ * @returns The decoded value
+ *
+ * @throws {EastError} When the file cannot be read, the pointer does not
+ * resolve, or the value does not satisfy `T`
+ *
+ * @remarks
+ * For the small parts of a document whose large parts are streamed — an
+ * envelope's metadata beside a ten-million-row array. Everything outside the
+ * pointer is skipped rather than constructed.
+ */
+export const json_value = East.genericPlatform("json_value", ["T"], [StringType, StringType], "T");
+/**
+ * Closes a reader and releases its file descriptor.
+ *
+ * @param handle - A handle from {@link json_open} or {@link json_open_text}
+ * @returns Null
+ *
+ * @remarks
+ * Handles are held until closed, as a database connection is. A body that can
+ * fail mid-document should close in a `.catch` that re-raises, since a `$.try`
+ * whose `.catch` is left implicit swallows the error.
+ */
+export const json_close = East.platform("json_close", [StringType], NullType);
+/** Node.js implementation of the JSON reader platform functions. */
+const JsonImpl = [
+    json_open.implement((path, pointer) => wrap("json_open", () => hold(JsonReader.openFile(path, pointer)))),
+    json_open_text.implement((text, pointer) => wrap("json_open_text", () => hold(JsonReader.openText(text, pointer)))),
+    json_more.implement((handle) => wrap("json_more", () => get(handle, "json_more").more())),
+    json_next.implement((T) => (handle) => wrap("json_next", () => get(handle, "json_next").next(T))),
+    json_value.implement((T) => (path, pointer) => wrap("json_value", () => {
+        // A pointer to a scalar cannot be "entered", so the value is read
+        // from a reader opened on the parent and positioned by the last
+        // segment — openValue does that in one step.
+        const reader = JsonReader.openValueFile(path, pointer);
+        try {
+            return reader.readValue(T);
+        }
+        finally {
+            reader.close();
+        }
+    })),
+    json_close.implement((handle) => {
+        const reader = readers.get(handle);
+        if (reader === undefined) {
+            throw new EastError("json_close: no open JSON reader for this handle", {
+                location: [{ filename: "json_close", line: 0n, column: 0n }],
+            });
+        }
+        readers.delete(handle);
+        reader.close();
+        return null;
+    }),
+];
+/** The element type a container's rows decode as must have a JSON form. */
+function checkRowType(type, fn) {
+    if (type.type === "Function" || type.type === "AsyncFunction" || type.type === "Never") {
+        throw new Error(`${fn} cannot read ${printType(type)} — it has no JSON form`);
+    }
+}
+/**
+ * Reading JSON documents that do not fit in memory.
+ *
+ * @remarks
+ * The ingest half of the contract boundary: `jsonSchemaFor(T)` publishes what a
+ * producer must send, and these read it back under exactly that contract. One
+ * element is in flight at a time, whatever the document's size, so the natural
+ * home is an `e3.streamTask` producer that emits as it reads.
+ *
+ * @example
+ * ```ts
+ * const rows = e3.streamTask('rows', {
+ *     inputs: [path],
+ *     output: ArrayType(RowType),
+ * }, ($, p, emit) => {
+ *     const handle = $.let(Json.open(p, "/data"));
+ *     $.while(Json.more(handle), $ => {
+ *         $(emit(Json.next(RowType, handle)));
+ *     });
+ *     $(Json.close(handle));
+ * });
+ * ```
+ */
+export const Json = {
+    /**
+     * Opens a JSON file and positions a reader on the container to iterate.
+     *
+     * @param path - The file to read
+     * @param pointer - RFC 6901 pointer to the container, `""` for the whole document
+     * @returns An opaque handle
+     * @throws {EastError} When the file cannot be opened or the pointer does not resolve
+     */
+    open: json_open,
+    /**
+     * Opens an in-memory payload, as {@link Json.open} opens a file.
+     *
+     * @param text - The document
+     * @param pointer - RFC 6901 pointer to the container, `""` for the whole document
+     * @returns An opaque handle
+     * @throws {EastError} When the pointer does not resolve
+     */
+    openText: json_open_text,
+    /**
+     * Whether the container has another element.
+     *
+     * @param handle - A handle from {@link Json.open} or {@link Json.openText}
+     * @returns True while elements remain
+     */
+    more: json_more,
+    /**
+     * Reads the next element as `type`.
+     *
+     * @typeParam T - The element's East type
+     * @param type - The type to decode the element as
+     * @param handle - A handle from {@link Json.open} or {@link Json.openText}
+     * @returns The decoded element
+     * @throws {Error} When `type` has no JSON form (at build time)
+     * @throws {EastError} When the element does not satisfy `type`, naming the
+     * RFC 6901 pointer of the offending node
+     */
+    next(type, handle) {
+        checkRowType(type, "Json.next");
+        return json_next([type], handle);
+    },
+    /**
+     * Reads one whole value from a file without iterating.
+     *
+     * @typeParam T - The value's East type
+     * @param type - The type to decode the value as
+     * @param path - The file to read
+     * @param pointer - RFC 6901 pointer to the value
+     * @returns The decoded value
+     * @throws {Error} When `type` has no JSON form (at build time)
+     * @throws {EastError} When the value does not satisfy `type`
+     */
+    value(type, path, pointer) {
+        checkRowType(type, "Json.value");
+        return json_value([type], path, pointer);
+    },
+    /**
+     * Closes a reader and releases its file descriptor.
+     *
+     * @param handle - A handle from {@link Json.open} or {@link Json.openText}
+     * @returns Null
+     */
+    close: json_close,
+    /**
+     * Node.js implementation of the JSON reader platform functions.
+     *
+     * Pass this to {@link East.compile} to enable them.
+     */
+    Implementation: JsonImpl,
+};
+export { JsonImpl };
+export { JsonReadError } from "./json_reader.js";
+//# sourceMappingURL=json.js.map

package/dist/src/json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.js","sourceRoot":"","sources":["../../src/json.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EACH,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAEvC,SAAS,GACZ,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,wEAAwE;AACxE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;AAE9C,SAAS,IAAI,CAAC,MAAkB;IAC5B,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5B,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,GAAG,CAAC,MAAc,EAAE,EAAU;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,uCAAuC,EAAE;YAC9D,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;SACrD,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,mFAAmF;AACnF,SAAS,IAAI,CAAI,EAAU,EAAE,IAAa;IACtC,IAAI,CAAC;QACD,OAAO,IAAI,EAAE,CAAC;IAClB,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAChB,uEAAuE;QACvE,wEAAwE;QACxE,IAAI,GAAG,YAAY,SAAS;YAAE,MAAM,GAAG,CAAC;QACxC,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,OAAO,EAAE,EAAE;YACzC,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;YAClD,KAAK,EAAE,GAAG;SACb,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;AAE1F;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;AAEpG;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;AAE/E;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;AAErF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;AAEnG;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;AAE9E,oEAAoE;AACpE,MAAM,QAAQ,GAAuB;IACjC,SAAS,CAAC,SAAS,CAAC,CAAC,IAAY,EAAE,OAAe,EAAE,EAAE,CAClD,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAEtE,cAAc,CAAC,SAAS,CAAC,CAAC,IAAY,EAAE,OAAe,EAAE,EAAE,CACvD,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAE3E,SAAS,CAAC,SAAS,CAAC,CAAC,MAAc,EAAE,EAAE,CACnC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAE7D,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAe,EAAE,EAAE,CAC3C,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,MAAgB,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAExE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAa,EAAE,OAAgB,EAAE,EAAE,CAC5D,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;QACpB,kEAAkE;QAClE,gEAAgE;QAChE,6CAA6C;QAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,aAAa,CAAC,IAAc,EAAE,OAAiB,CAAC,CAAC;QAC3E,IAAI,CAAC;YACD,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC/B,CAAC;gBAAS,CAAC;YACP,MAAM,CAAC,KAAK,EAAE,CAAC;QACnB,CAAC;IACL,CAAC,CAAC,CAAC;IAEP,UAAU,CAAC,SAAS,CAAC,CAAC,MAAc,EAAE,EAAE;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,SAAS,CAAC,iDAAiD,EAAE;gBACnE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;aAC/D,CAAC,CAAC;QACP,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvB,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC;CACL,CAAC;AAEF,2EAA2E;AAC3E,SAAS,YAAY,CAAC,IAAc,EAAE,EAAU;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,gBAAgB,SAAS,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAClF,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG;IAChB;;;;;;;OAOG;IACH,IAAI,EAAE,SAAS;IAEf;;;;;;;OAOG;IACH,QAAQ,EAAE,cAAc;IAExB;;;;;OAKG;IACH,IAAI,EAAE,SAAS;IAEf;;;;;;;;;;OAUG;IACH,IAAI,CAAqB,IAAO,EAAE,MAAsC;QACpE,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAChC,OAAO,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAgB,CAAC;IACpD,CAAC;IAED;;;;;;;;;;OAUG;IACH,KAAK,CACD,IAAO,EACP,IAAoC,EACpC,OAAuC;QAEvC,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACjC,OAAO,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAgB,CAAC;IAC5D,CAAC;IAED;;;;;OAKG;IACH,KAAK,EAAE,UAAU;IAEjB;;;;OAIG;IACH,cAAc,EAAE,QAAQ;CAClB,CAAC;AAEX,OAAO,EAAE,QAAQ,EAAE,CAAC;AACpB,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/src/json_reader.d.ts

@@ -0,0 +1,153 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { type EastTypeValue } from "@elaraai/east";
+/** A JSON document that does not satisfy the contract, located by pointer. */
+export declare class JsonReadError extends Error {
+    /** RFC 6901 pointer to the offending node. */
+    readonly pointer: string;
+    constructor(message: string, pointer: string);
+}
+/** A source of document bytes, pulled a chunk at a time. */
+interface Chunks {
+    /** The next chunk, or null once the source is exhausted. */
+    next(): Uint8Array | null;
+    close(): void;
+}
+/**
+ * A pull reader over a JSON document.
+ *
+ * @remarks
+ * Holds one chunk of bytes and the path it has descended, never the document
+ * and never a batch. Values are constructed one at a time, directly against
+ * the East type, so nothing intermediate is materialised either — a string is
+ * decoded from its bytes in runs, never grown a character at a time, and a
+ * skipped value is validated without being built at all.
+ */
+export declare class JsonReader {
+    private chunks;
+    private buf;
+    private pos;
+    private eof;
+    /** The path descended so far, for error pointers. */
+    private path;
+    /** Index within the array currently being iterated. */
+    private index;
+    /** Whether iteration has begun, so a separator is expected next. */
+    private started;
+    /** The container kind at the cursor: `[` for an array, `{` for an object. */
+    private container;
+    /** Nesting depth of the value currently being read or skipped. */
+    private depth;
+    private closed;
+    private decoder;
+    private constructor();
+    /** Opens a document and descends to the container the pointer names. */
+    static open(chunks: Chunks, pointer: string): JsonReader;
+    /**
+     * Opens a document and positions on the value the pointer names, without
+     * entering it — for reading one whole value rather than iterating.
+     */
+    static openValue(chunks: Chunks, pointer: string): JsonReader;
+    static openFile(path: string, pointer: string): JsonReader;
+    static openText(text: string, pointer: string): JsonReader;
+    static openValueFile(path: string, pointer: string): JsonReader;
+    static openValueText(text: string, pointer: string): JsonReader;
+    close(): void;
+    /** Ensures at least `n` bytes are buffered; false once the input cannot supply them. */
+    private ensure;
+    /** The byte at the cursor, or {@link EOF}. */
+    private peek;
+    private take;
+    private skipSpace;
+    /** Whether the bytes at the cursor spell `word`, without consuming them. */
+    private startsWith;
+    /**
+     * The code point at the cursor, for a message — U+FFFD when the bytes
+     * there are not a well-formed sequence.
+     */
+    private charAtCursor;
+    /**
+     * What sits at the cursor, for a message: `a string`, `a number`, `an
+     * array`, `an object`, `a boolean`, `null`, `end of document`, or the
+     * quoted character when it starts no JSON value.
+     */
+    private describe;
+    private fail;
+    /**
+     * Reads the string whose opening quote is at the cursor.
+     *
+     * @remarks
+     * The bytes between escapes are validated as UTF-8 and decoded in runs,
+     * one chunk at a time, so a long string costs its own size and no more —
+     * appending a character at a time would build a rope of thirty-odd bytes
+     * per character.
+     */
+    private readString;
+    /** One escape, the backslash already consumed. */
+    private readEscape;
+    /** Validates the string at the cursor without building it. */
+    private skipString;
+    /** The JSON number at the cursor, exactly as written, checked against the grammar. */
+    private readNumber;
+    private readLiteral;
+    /** Consumes one value without constructing anything, checking it against the grammar. */
+    private skipValue;
+    private skipValueInner;
+    /** A quoted name — a struct field, an object member, a variant case — at the cursor. */
+    private readName;
+    /** The `:` after a name. */
+    private expectColon;
+    /**
+     * Descends to the node the RFC 6901 pointer names.
+     *
+     * @param pointer - The pointer to follow
+     * @param enter - Whether to step inside the node and iterate it, rather
+     * than stop in front of it to read it whole
+     */
+    private descend;
+    /** Positions the cursor on the value of `key`, skipping the members before it. */
+    private enterObjectMember;
+    /** Positions the cursor on element `index`, skipping the elements before it. */
+    private enterArrayIndex;
+    /**
+     * Whether another element remains in the container being iterated.
+     *
+     * @remarks
+     * A predicate: it consumes the container's closing bracket once there is
+     * nothing left, and otherwise leaves the cursor where it was. Advancing is
+     * {@link next}'s job, so the two do not have to alternate.
+     */
+    more(): boolean;
+    /**
+     * Reads the next element as `type`.
+     *
+     * @remarks
+     * For an object container, `type` must be a two-field struct named `key`
+     * and `value`, in either order, and each member arrives as one of those.
+     * An error inside an element is located by its index in an array and by
+     * its member name in an object, as RFC 6901 addresses them.
+     */
+    next(type: EastTypeValue): unknown;
+    /**
+     * The value type of an object entry: `type` must be a struct of exactly
+     * the fields `key` and `value`, in either order, with a String key.
+     */
+    private entryValueType;
+    /** One object member, as a `{ key, value }` struct. */
+    private readMember;
+    /** Reads one whole value, strictly, as `type`. */
+    readValue(type: EastTypeValue): unknown;
+    private readValueInner;
+    /** Recursive type bodies, keyed by the id their wrapper carries. */
+    private recursive;
+    /** Runs `body` for each element of a JSON array. */
+    private eachElement;
+    private readOneElementArray;
+    private readEntry;
+    private readStruct;
+    private readVariant;
+}
+export {};
+//# sourceMappingURL=json_reader.d.ts.map

package/dist/src/json_reader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json_reader.d.ts","sourceRoot":"","sources":["../../src/json_reader.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAQH,KAAK,aAAa,EACrB,MAAM,eAAe,CAAC;AA0CvB,8EAA8E;AAC9E,qBAAa,aAAc,SAAQ,KAAK;IACpC,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;gBAEb,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK/C;AAED,4DAA4D;AAC5D,UAAU,MAAM;IACZ,4DAA4D;IAC5D,IAAI,IAAI,UAAU,GAAG,IAAI,CAAC;IAC1B,KAAK,IAAI,IAAI,CAAC;CACjB;AA2GD;;;;;;;;;GASG;AACH,qBAAa,UAAU;IACnB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,GAAG,CAAiC;IAC5C,OAAO,CAAC,GAAG,CAAK;IAChB,OAAO,CAAC,GAAG,CAAS;IACpB,qDAAqD;IACrD,OAAO,CAAC,IAAI,CAAgB;IAC5B,uDAAuD;IACvD,OAAO,CAAC,KAAK,CAAK;IAClB,oEAAoE;IACpE,OAAO,CAAC,OAAO,CAAS;IACxB,6EAA6E;IAC7E,OAAO,CAAC,SAAS,CAA0B;IAC3C,kEAAkE;IAClE,OAAO,CAAC,KAAK,CAAK;IAClB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,OAAO,CAA4B;IAE3C,OAAO;IAIP,wEAAwE;IACxE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU;IAWxD;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU;IAW7D,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU;IAI1D,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU;IAI1D,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU;IAI/D,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU;IAI/D,KAAK,IAAI,IAAI;IAQb,wFAAwF;IACxF,OAAO,CAAC,MAAM;IAgBd,8CAA8C;IAC9C,OAAO,CAAC,IAAI;IAIZ,OAAO,CAAC,IAAI;IAKZ,OAAO,CAAC,SAAS;IAQjB,4EAA4E;IAC5E,OAAO,CAAC,UAAU;IAQlB;;;OAGG;IACH,OAAO,CAAC,YAAY;IAcpB;;;;OAIG;IACH,OAAO,CAAC,QAAQ;IAahB,OAAO,CAAC,IAAI;IAMZ;;;;;;;;OAQG;IACH,OAAO,CAAC,UAAU;IAoClB,kDAAkD;IAClD,OAAO,CAAC,UAAU;IAyBlB,8DAA8D;IAC9D,OAAO,CAAC,UAAU;IAyBlB,sFAAsF;IACtF,OAAO,CAAC,UAAU;IAiClB,OAAO,CAAC,WAAW;IAMnB,yFAAyF;IACzF,OAAO,CAAC,SAAS;IAYjB,OAAO,CAAC,cAAc;IAwCtB,wFAAwF;IACxF,OAAO,CAAC,QAAQ;IAMhB,4BAA4B;IAC5B,OAAO,CAAC,WAAW;IAQnB;;;;;;OAMG;IACH,OAAO,CAAC,OAAO;IAyBf,kFAAkF;IAClF,OAAO,CAAC,iBAAiB;IAezB,gFAAgF;IAChF,OAAO,CAAC,eAAe;IAmBvB;;;;;;;OAOG;IACH,IAAI,IAAI,OAAO;IAQf;;;;;;;;OAQG;IACH,IAAI,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;IA2BlC;;;OAGG;IACH,OAAO,CAAC,cAAc;IAgBtB,uDAAuD;IACvD,OAAO,CAAC,UAAU;IAalB,kDAAkD;IAClD,SAAS,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO;IAmBvC,OAAO,CAAC,cAAc;IA6KtB,oEAAoE;IACpE,OAAO,CAAC,SAAS,CAAoC;IAErD,oDAAoD;IACpD,OAAO,CAAC,WAAW;IAenB,OAAO,CAAC,mBAAmB;IAY3B,OAAO,CAAC,SAAS;IAiCjB,OAAO,CAAC,UAAU;IAiClB,OAAO,CAAC,WAAW;CAwCtB"}