JsonCodec
JsonCodec copied to clipboard
Arrays as tuples
It's common in JSON to use arrays as tuples, e.g.
{
"pairs": [
[1, 2],
[3, 4]
]
}
To support this pattern, add pair, triple, quad codecs (and/or tuple2, tuple3, tuple4 etc.)
When decoding arrays as tuples, unexpected extra elements should be ignored.