law preserves_object_order_and_duplicates

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

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

237law preserves_object_order_and_duplicates:
238    { Json.parse("{\"x\":1,\"x\":2}") == Done{Json.Obj{
239            ("x", Json.Number{"1", Json.Certified{Json.number_proof("1", {==})}}) <>
240            ("x", Json.Number{"2", Json.Certified{Json.number_proof("2", {==})}}) <>
241            Nil{}
242        }} : Result<&1, &1, Json.Error, Json.Value> }

Uses (8)

Used by (0)

No other definition uses this definition.