1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
module Data.JSON where
-- Hmm... it doesn't look like we can have a JSON object, just JSON representation, because a JSON object would have to have existential type fields.
data JSON = Array [JSON] | Object [(String,JSON)] | Number a | Bool Bool | String String | Null
json_to_string (Array x) = "["++intercalate "," (map json_to_string x) ++ "]"
-- we aren't escaping strings here...
-- if we actually build a C++ json object we could print that
json_to_string (Object x) = "{"++ intercalate ", " ["\""++key++"\": "++json_to_string value | (key,value) <- x] ++ "}"
json_to_string (Number x) = show x
json_to_string (Bool True) = "true"
json_to_string (Bool False) = "false"
json_to_string (String x) = "\""++x++"\""
json_to_string (Null) = "null"
to_json s@(c:_) | is_char = String s
to_json [] = Array []
to_json l@(_:_) = Array [to_json x | x <- l]
to_json x | is_double x = Number x
| is_int x = Number x
to_json True = Bool True
to_json False = Bool False
to_json _ = Null
|
