blob: 8ff95f6262108339fa031f32846906fa57936097 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
SELECT json_condense('"hello"');
json_condense
---------------
"hello"
(1 row)
SELECT json_condense($$"hello\u266Bworld"$$);
json_condense
---------------
"hello♫world"
(1 row)
SELECT json_condense($$"hello\u266bworld"$$);
json_condense
---------------
"hello♫world"
(1 row)
SELECT json_condense($$"hello♫world"$$);
json_condense
---------------
"hello♫world"
(1 row)
SELECT json_condense($$ "hello world" $$);
json_condense
---------------
"hello world"
(1 row)
SELECT json_condense($$ { "hello" : "world"} $$);
json_condense
-------------------
{"hello":"world"}
(1 row)
SELECT json_condense($$ { "hello" : "world", "bye": 0.0001 } $$);
json_condense
--------------------------------
{"hello":"world","bye":0.0001}
(1 row)
SELECT json_condense($$ { "hello" : "world",
"bye": 0.0000001
} $$);
json_condense
-----------------------------------
{"hello":"world","bye":0.0000001}
(1 row)
SELECT json_condense($$ { "hello" : "world"
,
"bye"
: [-0.1234e1, 12345e0] } $$);
json_condense
---------------------------------------------
{"hello":"world","bye":[-0.1234e1,12345e0]}
(1 row)
|
