Extracted data and the size of the complete decompressed source, including ignored fields.

A read in progress: it needs input, stops on a parse error or a refused value, or has finished. A read that writes as it goes resumes in its own effect.

A read with no effect of its own.

Feed a read in pieces of at most 32 KiB, within the body ceiling, and drain the body after the read finishes. An empty chunk ends the body. The read resumes in its effect, run in the reader's.

Fold each value the parser yields through the step, as readSteps feeds it.

Decode a retained field within a structural budget. Unknown fields never call this parser.

Charge the parsed value's own level, including empty containers. Children need one less level.

Which members of an object are retained, with what parser, and under which key. Every object read with one Members value holds each name it knows under one shared key.

Retain only the named members. The first entry for a name wins.

Retain every member with one parser, each under its own key.

Supply an invalid-shape witness without traversing a valid object through a parallel fallback.

Read a scalar without materialising an object or array when the field has the wrong shape.

Select object events before folding. The fallback handles scalars and other container shapes.

Select array events before folding. A container fallback must yield only its completed value.