initial C# support in DDL

3 files changed, 47 insertions, 16 deletions

diff --git a/Generate.hs b/Generate.hs
index 3b5bb0e..a35cb66 100644
--- a/Generate.hs
+++ b/Generate.hs
@@ -24,6 +24,7 @@ main :: IO ()
 main = do
   dataHpp <- eitherParseFile "templates/data.hpp.ede"
   dataCpp <- eitherParseFile "templates/data.cpp.ede"
+  dataCs <- eitherParseFile "templates/data.cs.ede"
   dataHs <- eitherParseFile "templates/data.hs.ede"
   dataPs <- eitherParseFile "templates/data.purs.ede"
   let generate (ModuleDef name imports def) = do
@@ -44,7 +45,7 @@ main = do
                 , "hsType"          @: hsType aliasMap
                 , "psType"          @: psType aliasMap
                 , "cppType"         @: cppType aliasMap
-                , "mangleTypeName"  @: mangleTypeName aliasMap
+                , "csType"          @: csType aliasMap
                 ]
 
         -- Haskell
@@ -54,4 +55,6 @@ main = do
         -- C++
         either error (\x -> writeFile ("out/" ++ name ++ ".hpp") $ LText.unpack x) $ dataHpp >>= (\t -> eitherRenderWith mylib t env)
         either error (\x -> writeFile ("out/" ++ name ++ ".cpp") $ LText.unpack x) $ dataCpp >>= (\t -> eitherRenderWith mylib t env)
+        -- C#
+        either error (\x -> writeFile ("out/" ++ name ++ ".cs") $ LText.unpack x) $ dataCs >>= (\t -> eitherRenderWith mylib t env)
   mapM_ generate $ execWriter modules
diff --git a/Language.hs b/Language.hs
index 1a2385d..e0e53cf 100644
--- a/Language.hs
+++ b/Language.hs
@@ -56,6 +56,7 @@ data Target
   = Haskell
   | PureScript
   | Cpp
+  | CSharp
   deriving (Show,Generic)
 
 data Type
@@ -175,6 +176,21 @@ hsType aliasMap = \case
   Data t        -> t
   x -> error $ "unknown type: " ++ show x
 
+csType :: AliasMap -> Type -> String
+csType aliasMap a = case normalize aliasMap a of
+  Data t        -> t
+  Int           -> "int"
+  Int32         -> "int"
+  Word          -> "uint"
+  Word32        -> "uint"
+  Float         -> "float"
+  Bool          -> "bool"
+  String        -> "string"
+  Array t       -> "List<" ++ csType aliasMap t ++ ">"
+  List t        -> "List<" ++ csType aliasMap t ++ ">"
+  Map k v       -> "Dictionary<" ++ csType aliasMap k ++ ", " ++ csType aliasMap v ++ ">"
+  _ -> "int"
+
 cppType :: AliasMap -> Type -> String
 cppType aliasMap = \case
   Data t        -> "::" ++ t
@@ -231,21 +247,6 @@ cppType aliasMap = \case
   x -> error $ "unknown type: " ++ show x
 -}
 
-mangleTypeName :: AliasMap -> Type -> String
-mangleTypeName aliasMap t = case normalize aliasMap t of 
-{-
-  Int     -> "Int"
-  Int32   -> "Int32"
-  Word    -> "Word"
-  Word32  -> "Word32"
-  Float   -> "Float"
-  Bool    -> "Bool"
-  String  -> "String"
--}
-  -- user defined
-  Data t  -> "ToJSON"
-  t   -> cppType aliasMap t
-
 hasFieldNames :: [Field] -> Bool
 hasFieldNames [] = False
 hasFieldNames l = all (not . null . fieldName) l
diff --git a/templates/data.cs.ede b/templates/data.cs.ede
new file mode 100644
index 0000000..c88d41c
--- /dev/null
+++ b/templates/data.cs.ede
@@ -0,0 +1,27 @@
+// generated file, do not modify!
+// {{ dateTime }}
+
+using System.Collections.Generic;
+
+{% for m in imports %}
+using {{ m.value }};
+{% endfor %}
+
+{% for t in dataAndType %}
+{% case t.value | constType %}
+{% when "DataDef" %}
+class {{ t.value.dataName }} {
+    public enum Tag { {% for c in t.value.constructors %}
+      {{ c.value.name }}{% if !c.last %},{% endif %}{% endfor %}
+    };
+    public Tag tag;
+};
+
+namespace data { {% for c in t.value.constructors %}{% if !(c.value.fields | empty) %}
+  class {{ c.value.name }} : global::{{ t.value.dataName }} { {% for f in c.value.fields %}{% if c.value.fields | hasFieldNames %}
+    public {{ f.value.fieldType | csType }} {{ f.value.fieldName }};{% else %}
+    public {{ f.value.fieldType | csType | parens }} _{{ f.index0 }};{% endif %}{% endfor %}
+  };{% endif %}{% endfor %}
+}
+{% endcase %}
+{% endfor %}