Serialization
json
Json.Value
- A JSON value: a tagged union of all JSON types.
Members: String,
Integer,
Number,
Boolean,
Null,
Array,
Object,
print,
toString
Json.Member
- One key-value pair of a JSON object.
Members: key, value
Json.Error
- 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
Json.parse
- Parses the JSON document in text.