JsonCodec
Related Doc:
package ejson
Error describing why decoding the given value failed.
Constants used in the Json encoding.
Attempt to decode an EJson value from Json.
Encode an EJson value as Json.
Encode an EJson value as Json.
In order to remain compatible with JSON and achieve a compact encoding the following scheme is used:
1. All JSON compatible values are encoded verbatim.
2. Extended values are encoded as
Meta -> { ∃value: ..., ∃meta: ...} Map -> { ∃map: [{∃key: ..., ∃value: ...}, ...] } Byte -> { ∃byte: 42 } Char -> { ∃char: "x" } Int -> { ∃int: 2345 }
3. A Map where the keys are all strings will be encoded as a Json object with encoded EJson values.
4. Any map keys in a source EJson value that begin with '∃' are prefixed with an additional '∃'.