Overview
The JSON Library provides a representation of the JavaScript Object Notation (JSON) with 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 JSON-
Defines the representation of JSON values as an SML datatype.
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.