law preserves_array_order

qasim-bend-kit@0.1.0.2 · LAWS.bend:227

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as Json

227# Arrays retain source order. Objects retain source order and duplicate keys;
228# consumers that need map semantics must choose their own duplicate-key policy.
229law preserves_array_order:
230    { Json.parse("[3,1,2]") == Done{Json.Arr{
231            Json.Number{"3", Json.Certified{Json.number_proof("3", {==})}} <>
232            Json.Number{"1", Json.Certified{Json.number_proof("1", {==})}} <>
233            Json.Number{"2", Json.Certified{Json.number_proof("2", {==})}} <>
234            Nil{}
235        }} : Result<&1, &1, Json.Error, Json.Value> }