add data definition edsl

6 files changed, 129 insertions, 0 deletions

diff --git a/templates/data.hs.ede b/templates/data.hs.ede
new file mode 100644
index 0000000..b2ad9de
--- /dev/null
+++ b/templates/data.hs.ede
@@ -0,0 +1,27 @@
+-- generated file, do not modify!
+-- {{ dateTime }}
+
+module {{ moduleName }} where
+
+import Data.Int
+import Data.Word
+import Data.Map
+import Linear
+
+{% for t in dataAndType %}
+{% case t.value | constType %}
+{% when "DataDef" %}
+data {{ t.value.dataName }}{% for c in t.value.constructors %}
+{% if c.value.fields | hasFieldNames %}
+  {% if c.first %}={% else %}|{% endif %} {{ c.value.name }}
+{% for f in c.value.fields %}{% if f.first %}  { {%else%}  , {%endif%}{{ f.value.fieldName }} :: {{ f.value.fieldType | hsType }}
+{% endfor %}
+  }
+{% else %}
+  {% if c.first %}={% else %}|{% endif %} {{ c.value.name }}{% for f in c.value.fields %} {{ f.value.fieldType | hsType | parens }}{% endfor %}{% endif %}{% endfor %}
+  deriving (Show, Eq, Ord)
+{% when "TypeAlias" %}
+type {{ t.value.aliasName }} = {{ t.value.aliasType | hsType }}
+{% endcase %}
+
+{% endfor %}
diff --git a/templates/data.purs.ede b/templates/data.purs.ede
new file mode 100644
index 0000000..ccaa7de
--- /dev/null
+++ b/templates/data.purs.ede
@@ -0,0 +1,16 @@
+-- generated file, do not modify!
+-- {{ dateTime }}
+
+module {{ moduleName }} where
+
+{% for t in definitions %}
+data {{ t.value.dataName }}{% for c in t.value.constructors %}
+{% if c.value.fields | hasFieldNames %}
+  {% if c.first %}={% else %}|{% endif %} {{ c.value.name }}
+{% for f in c.value.fields %}{% if f.first %}  { {%else%}  , {%endif%}{{ f.value.fieldName }} :: {{ f.value.fieldType | psType }}
+{% endfor %}
+  }
+{% else %}
+  {% if c.first %}={% else %}|{% endif %} {{ c.value.name }}{% for f in c.value.fields %} {{ f.value.fieldType | psType | parens }}{% endfor %}{% endif %}{% endfor %}
+
+{% endfor %}
diff --git a/templates/decode.hs.ede b/templates/decode.hs.ede
new file mode 100644
index 0000000..743bb39
--- /dev/null
+++ b/templates/decode.hs.ede
@@ -0,0 +1,26 @@
+-- generated file, do not modify!
+-- {{ dateTime }}
+
+{-# LANGUAGE OverloadedStrings #-}
+module {{ moduleName }}Decode where
+
+import Data.Text
+import Data.Aeson hiding (Value,Bool)
+import Control.Monad
+import Linear
+import {{ moduleName }}
+
+{% for t in definitions %}
+instance FromJSON {{ t.value.dataName }} where
+  parseJSON (Object obj) = do
+    tag <- obj .: "tag"
+    case tag :: Text of{% for c in t.value.constructors %}{% if c.value.fields | hasFieldNames %}
+      "{{ c.value.name }}" -> do{% for f in c.value.fields %}
+        {{ f.value.fieldName }} <- obj .: "{{ f.value.fieldName }}"{% endfor %}
+        pure $ {{ c.value.name }}{% for f in c.value.fields %}
+          {% if f.first %}{ {% else %}, {%endif%}{{ f.value.fieldName }} = {{ f.value.fieldName }}{% endfor %}
+          } {% else %}
+      "{{ c.value.name }}" -> {% for f in c.value.fields %}{% if f.first %}{{ c.value.name }} <$>{% else %} <*>{% endif %} obj .: "arg{{ f.index0 }}"{%else%}pure {{ c.value.name }}{% endfor %}{% endif %}{% endfor %}
+  parseJSON _ = mzero
+
+{% endfor %}
\ No newline at end of file
diff --git a/templates/decode.purs.ede b/templates/decode.purs.ede
new file mode 100644
index 0000000..d5390a9
--- /dev/null
+++ b/templates/decode.purs.ede
@@ -0,0 +1,19 @@
+-- generated file, do not modify!
+-- {{ dateTime }}
+
+module {{ moduleName }}Decode where
+
+{% for t in definitions %}
+instance decodeJson{{ t.value.dataName }} :: DecodeJson {{ t.value.dataName }} where
+  decodeJson json = do
+    obj <- decodeJson json
+    tag <- obj .? "tag"
+    case tag of{% for c in t.value.constructors %}{% if c.value.fields | hasFieldNames %}
+      "{{ c.value.name }}" -> do{% for f in c.value.fields %}
+        {{ f.value.fieldName }} <- obj .? "{{ f.value.fieldName }}"{% endfor %}
+        pure $ {{ c.value.name }}{% for f in c.value.fields %}
+          {% if f.first %}{ {% else %}, {%endif%}{{ f.value.fieldName }}:{{ f.value.fieldName }}{% endfor %}
+          } {% else %}
+      "{{ c.value.name }}" -> {{ c.value.name }}{% for f in c.value.fields %} {% if f.first %}<$>{% else %}<*>{% endif %} obj .? "arg{{ f.index0 }}"{% endfor %}{% endif %}{% endfor %}
+
+{% endfor %}
\ No newline at end of file
diff --git a/templates/encode.hs.ede b/templates/encode.hs.ede
new file mode 100644
index 0000000..f305eb1
--- /dev/null
+++ b/templates/encode.hs.ede
@@ -0,0 +1,26 @@
+-- generated file, do not modify!
+-- {{ dateTime }}
+
+{-# LANGUAGE OverloadedStrings, RecordWildCards #-}
+module {{ moduleName }}Encode where
+
+import Data.Text
+import Data.Aeson hiding (Value,Bool)
+import Data.Aeson.Types hiding (Value,Bool)
+import Linear
+
+import {{ moduleName }}
+
+(.-) :: 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 %}
+      , "{{ 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 %}
+
+{% endfor %}
\ No newline at end of file
diff --git a/templates/encode.purs.ede b/templates/encode.purs.ede
new file mode 100644
index 0000000..e2cfcac
--- /dev/null
+++ b/templates/encode.purs.ede
@@ -0,0 +1,15 @@
+-- generated file, do not modify!
+-- {{ dateTime }}
+
+module {{ moduleName }}Encode where
+
+{% for t in definitions %}
+instance encodeJson{{ t.value.dataName }} :: EncodeJson {{ t.value.dataName }} where
+  encodeJson v = case v of{% for c in t.value.constructors %}{% if c.value.fields | hasFieldNames %}
+    {{ c.value.name }} r ->
+      "tag" := "{{ c.value.name }}" ~>{% for f in c.value.fields %}
+      "{{ f.value.fieldName }}" := r.{{ f.value.fieldName }} ~>{% endfor %}
+      jsonEmptyObject{% else %}
+    {{ c.value.name }}{% for f in c.value.fields %} arg{{ f.index0 }}{% endfor %} -> "tag" := "{{ c.value.name }}"{% for f in c.value.fields %} ~> "arg{{ f.index0 }}" := arg{{ f.index0 }}{% endfor %} ~> jsonEmptyObject{% endif %}{% endfor %}
+
+{% endfor %}
\ No newline at end of file