From 455f1bc540754c023475efc76ab6394c9f8968cd Mon Sep 17 00:00:00 2001
From: totoro <david.rene@calexium.com>
Date: Thu, 9 Mar 2017 17:53:00 +0100
Subject: [PATCH] add to_json_array function which transforms List(String) into JSON array of String

---
 web/CXM_json.anubis | 8 ++++++++
 1 file changed, 8 insertions(+), 0 deletions(-)

diff --git a/web/CXM_json.anubis b/web/CXM_json.anubis
index 06d4a07..0f736c0 100644
--- a/web/CXM_json.anubis
+++ b/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
 
--
libgit2 0.21.4