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.

What a walk's continuations return: a read that needs input, has failed or been refused, or is done.

Walk a body as readJsonStream reads one, from the lexer's first token.

readJsonWalk for a walk that writes in ST as it reads, run in the reader's effect.

The parse error that marks a retained value past its structural budget.

A walk's state between tokens: the read's table and the consumer's accumulator.

How a consumer takes each field: it continues with its next state, or refuses the field.

A consumer that takes each field without an effect of its own.

Pass a field to the consumer's step. A refused field ends the walk.

The next element, suspending for input at a chunk boundary. The continuation runs once.

Skip the value starting at the element without decoding it, as json-stream's ignoreVal does.

Skip to the end of the container the given number of levels up. Any closing token closes a level.

Skip the value, then fail: a retained value with no structural budget left.

Whether the element starts a string.

Decode the string starting at the element, failing where json-stream's string fails.

Visit each member of an object whose opening brace was read, as json-stream's objectKeyValues does: every key is decoded, and a key longer than 64 KiB across pieces drops its member unread.

Decode the object key at the element, or skip its member when json-stream drops it unread.

Visit each item of an array whose opening bracket was read, with its position.