add C++ backend

4 files changed, 124 insertions, 5 deletions

diff --git a/templates/data.cpp.ede b/templates/data.cpp.ede
new file mode 100644
index 0000000..8e106a6
--- /dev/null
+++ b/templates/data.cpp.ede
@@ -0,0 +1,63 @@
+// generated file, do not modify!
+// {{ dateTime }}
+
+#include "{{ moduleName }}.hpp"
+
+template<> json toJSON<String>(String &v) {
+  return json(v);
+}
+
+template<> json toJSON<Float>(Float &v) {
+  return json(v);
+}
+
+template<> json toJSON<bool>(bool &v) {
+  return json(v);
+}
+
+template<> json toJSON<int>(int &v) {
+  return json(v);
+}
+
+template<> json toJSON<unsigned int>(unsigned int &v) {
+  return json(v);
+}
+
+template<typename any>
+json toJSON(std::vector<any> &v) {
+  json obj = json::array();
+  for (any i : v) {
+    obj.push_back(toJSON(i));
+  }
+  return obj;
+}
+
+template<typename k, typename v>
+json toJSON(std::map<k,v> &value) {
+  return json();
+}
+
+{% for t in definitions %}
+template<> json toJSON<{{ t.value.dataName }}>({{ t.value.dataName }} &v) {
+  json obj;
+  switch (v.tag) { {% for c in t.value.constructors %}
+    case ::{{ t.value.dataName }}::tag::{{ c.value.name }}:
+      obj["tag"] = "{{ c.value.name }}";{% if !(c.value.fields | empty) %}
+      {
+        auto tv = static_cast<::data::{{ c.value.name }}&>(v);{% for f in c.value.fields %}{% if c.value.fields | hasFieldNames %}
+        obj["{{ f.value.fieldName }}"] = toJSON(tv.{{ f.value.fieldName }});{% else %}
+        obj["arg{{ f.index0 }}"] = toJSON(tv._{{ f.index0 }});{% endif %}{% endfor %}
+      }{% endif %}
+      break;{% endfor %}
+  }
+  return obj;
+}
+{% endfor %}
+
+{#
+{% for c in t.value.constructors %}
+json data::{{ c.value.name }}::toJSON() {
+  return obj;
+}
+{% endif %}{% endfor %}{% endfor %}
+#}
\ No newline at end of file
diff --git a/templates/data.hpp.ede b/templates/data.hpp.ede
new file mode 100644
index 0000000..10e1ff4
--- /dev/null
+++ b/templates/data.hpp.ede
@@ -0,0 +1,51 @@
+// generated file, do not modify!
+// {{ dateTime }}
+
+#ifndef HEADER_{{ moduleName }}_H
+#define HEADER_{{ moduleName }}_H
+
+#include <vector>
+#include <map>
+#include <string>
+
+#include "json.hpp"
+
+typedef int Int;
+typedef int Int32;
+typedef unsigned int Word;
+typedef unsigned int Word32;
+typedef float Float;
+typedef bool Bool;
+typedef std::string String;
+
+using json = nlohmann::json;
+
+template<typename T>
+json toJSON(T &v);
+
+{% for m in imports %}
+#include "{{ m.value }}.hpp"
+{% endfor %}
+
+{% for t in dataAndType %}
+{% case t.value | constType %}
+{% when "DataDef" %}
+class {{ t.value.dataName }} {
+  public:
+    enum class tag { {% for c in t.value.constructors %}
+      {{ c.value.name }}{% if !c.last %},{% endif %}{% endfor %}
+    } tag;
+};
+namespace data { {% for c in t.value.constructors %}{% if !(c.value.fields | empty) %}
+  class {{ c.value.name }} : public ::{{ t.value.dataName }} {
+    public:{% for f in c.value.fields %}{% if c.value.fields | hasFieldNames %}
+      {{ f.value.fieldType | cppType }} {{ f.value.fieldName }};{% else %}
+      {{ f.value.fieldType | cppType | parens }} _{{ f.index0 }};{% endif %}{% endfor %}
+  };{% endif %}{% endfor %}
+}
+{% when "TypeAlias" %}
+typedef {{ t.value.aliasType | cppType }} {{ t.value.aliasName }};
+
+{% endcase %}
+{% endfor %}
+#endif
diff --git a/templates/data.hs.ede b/templates/data.hs.ede
index fccd7dc..54a148b 100644
--- a/templates/data.hs.ede
+++ b/templates/data.hs.ede
@@ -15,6 +15,10 @@ import Data.Aeson hiding (Value,Bool)
 import Data.Aeson.Types hiding (Value,Bool)
 import Control.Monad
 
+{% for m in imports %}
+import {{ m.value }}
+{% endfor %}
+
 {% for t in dataAndType %}
 {% case t.value | constType %}
 {% when "DataDef" %}
@@ -33,17 +37,14 @@ type {{ t.value.aliasName }} = {{ t.value.aliasType | hsType }}
 
 {% endfor %}
 
-(.-) :: Text -> Text -> Pair
-a .- b = a .= b
-
 {% for t in definitions %}
 instance ToJSON {{ t.value.dataName }} where
   toJSON v = case v of{% for c in t.value.constructors %}{% if c.value.fields | hasFieldNames %}
     {{ c.value.name }}{..} -> object
-      [ "tag" .- "{{ c.value.name }}"{% for f in c.value.fields %}
+      [ "tag" .= ("{{ c.value.name }}" :: Text){% for f in c.value.fields %}
       , "{{ f.value.fieldName }}" .= {{ f.value.fieldName }}{% endfor %}
       ]{% else %}
-    {{ c.value.name }}{% for f in c.value.fields %} arg{{ f.index0 }}{% endfor %} -> object [ "tag" .- "{{ c.value.name }}"{% for f in c.value.fields %}, "arg{{ f.index0 }}" .= arg{{ f.index0 }}{% endfor %}]{% endif %}{% endfor %}
+    {{ c.value.name }}{% for f in c.value.fields %} arg{{ f.index0 }}{% endfor %} -> object [ "tag" .= ("{{ c.value.name }}" :: Text){% for f in c.value.fields %}, "arg{{ f.index0 }}" .= arg{{ f.index0 }}{% endfor %}]{% endif %}{% endfor %}
 
 instance FromJSON {{ t.value.dataName }} where
   parseJSON (Object obj) = do
diff --git a/templates/data.purs.ede b/templates/data.purs.ede
index 957fff4..0474931 100644
--- a/templates/data.purs.ede
+++ b/templates/data.purs.ede
@@ -16,6 +16,10 @@ import Data.Argonaut.Printer (printJson)
 import Data.Argonaut.Encode (EncodeJson, encodeJson)
 import Data.Argonaut.Decode (DecodeJson, decodeJson)
 
+{% for m in imports %}
+import {{ m.value }}
+{% endfor %}
+
 {% for t in dataAndType %}
 {% case t.value | constType %}
 {% when "DataDef" %}