add to_json_array function which transforms List(String) into JSON array of String

totoro
1 parent 717cc766
Showing 1 changed file with 8 additions and 0 deletions Show diff stats
web/CXM_json.anubis
@@ -110,6 +110,14 @@ public define JsonMember
   ) =
   json_member(name, json_null).
  
+public define JsonValue
+  to_json_array
+  (
+    List(String)  list_str
+  )=
+  json_array(map((String str) |-> json_string(str), list_str))
+.
+
 //-------------------------------------------
 // Outputing Json to Printable_tree