adam@1: open Json adam@1: adam@1: val json_abcd : json {A : int, B : float, C : string, D : bool} = adam@1: json_record {A = "a", B = "b", C = "c", D = "d"} adam@1: adam@0: fun main () : transaction page = return adam@1: {[toJson (1 :: 2 :: 8 :: [])]}
adam@1: {[fromJson "[1,2, 8]" : list int]} adam@0:
adam@1: {[toJson (1.2 :: 2.4 :: (-8.8) :: [])]}
adam@1: {[fromJson "[1.4,-2.7, 8.215506]" : list float]} adam@0:
adam@1: {[toJson ("hi" :: "bye" :: "tricky\\\" one!" :: [])]}
adam@1: {[fromJson "[\"abc\", \"\\\\whoa\"]" : list string]} adam@0:
adam@1: {[toJson (True :: False :: True :: [])]}
adam@1: {[fromJson "[true,false, true]" : list bool]} adam@1:
adam@1: {[toJson {A = 1, B = 2.3, C = "Hi", D = True}]} adam@0: