Overview
The JSON Library provides operations on the datatype representation
of JSON (JavaScript Object Notation)
values. The datatype representation is defined in the JSON
structure, which is part of the the Util Library.
This library provides support for parsing, printing, and manipulating JSON
values as trees. There is also support for processing JSON data as
streams using a "SAX-style" API.
Contents
Tree-based API
structure JSONParser-
A parser for JSON input.
structure JSONPrinter-
A printer for JSON output.
structure JSONUtil-
A collection of utility functions for working with JSON values.
structure JSONDecode-
A collection of combinators for decoding JSON values.
Stream-based API
structure JSONStreamParser-
A stream (or event) based parser for JSON input.
signature JSON_STREAM_OUTPUT-
The interface to a stream-based printer for JSON output.
structure JSONBufferPrinter-
A stream-based printer for JSON output to character buffers.
structure JSONStreamPrinter-
A stream-based printer for JSON output to text files.