add lambdacube-ir haskell lib

1 files changed, 0 insertions, 61 deletions

diff --git a/templates/data.hs.ede b/templates/data.hs.ede
deleted file mode 100644
index 54a148b..0000000
--- a/templates/data.hs.ede
+++ /dev/null
@@ -1,61 +0,0 @@
--- generated file, do not modify!
--- {{ dateTime }}
-
-{-# LANGUAGE OverloadedStrings, RecordWildCards #-}
-module {{ moduleName }} where
-
-import Data.Int
-import Data.Word
-import Data.Map
-import Data.Vector (Vector(..))
-import Linear
-
-import Data.Text
-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" %}
-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 %}
-
-{% 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 }}" :: 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 }}" :: 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
-    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