Module reader 

Reading elements in sequence, and descending into the constructed ones.

Three invariants hold throughout. Nothing copies the document: elements borrow it and carry the range they occupy. Nothing recurses: depth is bounded by the caller’s budget rather than by the stack. An element carries no path; the path belongs to the reader that produced it.

Structs

Element

One element, as it was found.

IntegerReading

An INTEGER’s original contents, numeric view and encoding diagnostic.

Parser

Holds the budget for one parse and hands out readers that share it.

ScopedReader

Reads the elements of one container, in order.

Span

Where in a document one run of bytes sits.

Type Aliases

Reader

Source reader whose input and operation have the same lifetime. Scoped schema processing can instead use ScopedReader to return input views independently of the current operation’s borrowed budget.