git.iko.soy/elk
on fb21e21 help sign in
elk/core-js/foreign/JSON.js
152 lines 4.5 kB history raw
2var JSjson = window.JSON;
3Elm.JSON = function() {
4 var JS = Elm.JavaScript;
5 var empty = ['JSON',{}];
6 function singleton(k) { return function(v) {
7 var obj = {};
8 obj[JS.castStringToJSString(k)] = v;
9 return ['JSON', obj ];
10 };
11 }
12 function insert(k) { return function(v) { return function(inObj) {
13 var obj = inObj[1];
14 var outObj = {};
15 for (var i in obj) {
16 outObj[i] = obj[i];
17 }
18 outObj[JS.castStringToJSString(k)] = v;
19 return ['JSON', outObj ];
20 };
21 };
22 }
24 function lookup(key) { return function(obj) {
25 var k = JS.castStringToJSString(key);
26 return obj[1].hasOwnProperty(k) ? ["Just", obj[1][k]] : ["Nothing"] ;
27 };
28 }
29 function find(tipe,base) { return function (key) { return function(obj) {
30 var k = JS.castStringToJSString(key);
31 if (obj[1].hasOwnProperty(k)) {
32 var v = obj[1][k];
33 if (v[0] === tipe) { return v[1]; }
34 }
35 return base;
36 };
37 }
38 }
39 function lookupWithDefault(base) { return function(key) { return function(obj) {
40 var k = JS.castStringToJSString(key);
41 return obj[1].hasOwnProperty(k) ? obj[1][k] : base ;
42 };
43 };
44 }
46 function remove(k) { return function(inObj) {
47 var obj = inObj[1];
48 var outObj = {};
49 for (var i in obj) {
50 outObj[i] = obj[i];
51 }
52 delete outObj[JS.castStringToJSString(k)];
53 return ['JSON', outObj];
54 };
55 }
57 function JsonString(v) { return [ "JsonString", v ]; }
58 function JsonNumber(v) { return [ "JsonNumber", v ]; }
59 function JsonBool(v) { return [ "JsonBool", v ]; }
60 var JsonNull = [ "JsonNull" ];
61 function JsonArray(v) { return [ "JsonArray", v ]; }
62 function JsonObject(v) { return [ "JsonObject", v ]; }
64 function toList(json) {
65 var obj = json[1];
66 var arr = [];
67 for (var i in obj) {
68 arr.push(Value.Tuple(JS.castJSStringToString(i), obj[i]));
69 }
70 return JS.castJSArrayToList(arr);
71 }
72 function fromList(list) {
73 var arr = JS.castListToJSArray(list);
74 var obj = {};
75 for (var i = arr.length; i--; ) {
76 obj[JS.castStringToJSString(arr[i][1])] = arr[i][2];
77 }
78 return [ "JSON", obj ];
79 }
81 function toPrettyJSString(sep) { return function (obj) {
82 function fromValue(v) {
83 switch (v[0]) {
84 case 'JsonNull' : return null;
85 case 'JsonString' : return JS.castStringToJSString(v[1]);
86 case 'JsonObject' :
87 var o = {};
88 var from = v[1][1];
89 for (var i in from) {
90 o[i] = fromValue(from[i]);
91 }
92 return o;
93 case 'JsonArray' :
94 var a = JS.castListToJSArray(v[1]);
95 for (var i = a.length; i--; ) {
96 a[i] = fromValue(a[i]);
97 }
98 return a;
99 default :
100 return v[1];
101 }
102 }
103 return JSjson.stringify(fromValue([ 'JsonObject', obj ]), null, JS.castStringToJSString(sep));
104 };
105 }
106 function fromJSString(str) {
107 var obj = JSjson.parse(str);
108 function toValue(v) {
109 switch (typeof v) {
110 case 'string' : return [ "JsonString", JS.castJSStringToString(v) ];
111 case 'number' : return [ "JsonNumber", JS.castJSNumberToFloat(v) ];
112 case 'boolean' : return [ "JsonBool", JS.castJSBoolToBool(v) ];
113 case 'object' :
114 if (v === null) return [ "JsonNull" ];
115 for (var i in v) {
116 v[i] = toValue(v[i]);
117 }
118 if (v instanceof Array) return [ "JsonArray", JS.castJSArrayToList(v) ];
119 return [ "JsonObject", [ "JSON", v ] ];
120 }
121 }
122 for (var i in obj) {
123 obj[i] = toValue(obj[i]);
124 }
125 return ['JSON',obj];
126 }
127 return {empty : empty,
128 singleton : singleton,
129 insert : insert,
130 lookup : lookup,
131 findString : find("JsonString",["Nil"]),
132 findObject : find("JsonObject", empty ),
133 findArray : find("JsonArray" ,["Nil"]),
134 findWithDefault : lookupWithDefault,
135 remove : remove,
136 toPrettyJSString : toPrettyJSString,
137 toJSString : toPrettyJSString(''),
138 fromJSString : fromJSString,
139 toPrettyString : function(sep) { return function(v) {
140 return JS.castJSStringToString(toPrettyJSString(sep)(v)); }; },
141 toString : function(v) { return JS.castJSStringToString(toPrettyJSString('')(v)); },
142 fromString : function(v) { return fromJSString(JS.castStringToJSString(v)); },
143 toList : toList,
144 fromList : fromList,
145 JsonString : JsonString,
146 JsonNumber : JsonNumber,
147 JsonBool : JsonBool,
148 JsonNull : JsonNull,
149 JsonArray : JsonArray,
150 JsonObject : JsonObject
151 };
152}();