Json
A library for JSON.
The JavaScript Object Notation (JSON) is described by:
These are all meant to be consistent,
at least in defining the JSON format,
although they may contain
slightly different notations and recommendations.
Currently this library contains:
- A formalization of the syntax of JSON,
based on the ABNF grammar in the RFC.
- A formalization of JSON values.
- Some operations on JSON values,
including some lightweight checkers.
- A translator from the output of
the JSON parser in kestrel/json-parser/
to the JSON value representation defined in this library.
- b* binders for
the representation of JSON values defined in this library.
Subtopics
- Parser-output-to-values
- A translator
from the JSON parser's output to our model of JSON values.
- Values
- JSON values.
- Syntax
- Syntax of JSON.
- Patbind-pattern
- b* binder for JSON pattern matching.
- Operations
- Operations on JSON values.
