Serialization
json
JsonValue - A
JSON value: a tagged union of all JSON types.
Members: String,
Integer, Number, Boolean, Null, Array, Object, print, toString
JsonMember -
One key-value pair of a JSON object.
Members: key, value
JsonError - A
JSON parse error: what went wrong and the byte offset where parsing
stopped.
Members: UnexpectedCharacter,
InvalidLiteral,
ExpectedStringKey,
ExpectedColon,
ExpectedCommaOrBrace,
ExpectedCommaOrBracket,
UnterminatedString,
UnterminatedEscape,
InvalidEscape,
InvalidUnicodeEscape,
UnpairedSurrogate,
UnescapedControlCharacter,
InvalidNumber,
NumberOutOfRange,
UnexpectedTrailingCharacters,
MaximumDepthExceeded,
print
parseJson - Parses
the JSON document in text.