Added missing module declarations. finos#37

AttilaMihaly · Mar 26, 2020 · 0de01be · 0de01be
1 parent a20fba8
commit 0de01be
Show file tree

Hide file tree

Showing 6 changed files with 86 additions and 6 deletions.
diff --git a/src/Morphir/IR/SDK.elm b/src/Morphir/IR/SDK.elm
@@ -2,13 +2,23 @@ module Morphir.IR.SDK exposing (..)
 
 import Dict
 import Morphir.IR.Advanced.Package as Package
+import Morphir.IR.SDK.Bool as Bool
+import Morphir.IR.SDK.Float as Float
 import Morphir.IR.SDK.Int as Int
+import Morphir.IR.SDK.List as List
+import Morphir.IR.SDK.Maybe as Maybe
+import Morphir.IR.SDK.String as String
 
 
 packageDeclaration : Package.Declaration ()
 packageDeclaration =
     { modules =
         Dict.fromList
-            [ ( [ [ "int" ] ], Int.moduleDeclaration )
+            [ ( [ [ "bool" ] ], Bool.moduleDeclaration )
+            , ( [ [ "int" ] ], Int.moduleDeclaration )
+            , ( [ [ "float" ] ], Float.moduleDeclaration )
+            , ( [ [ "string" ] ], String.moduleDeclaration )
+            , ( [ [ "maybe" ] ], Maybe.moduleDeclaration )
+            , ( [ [ "list" ] ], List.moduleDeclaration )
             ]
     }
diff --git a/src/Morphir/IR/SDK/Bool.elm b/src/Morphir/IR/SDK/Bool.elm
@@ -1,6 +1,8 @@
 module Morphir.IR.SDK.Bool exposing (..)
 
-import Morphir.IR.Advanced.Type exposing (Type(..))
+import Dict
+import Morphir.IR.Advanced.Module as Module
+import Morphir.IR.Advanced.Type exposing (Declaration(..), Type(..))
 import Morphir.IR.FQName as FQName exposing (FQName)
 import Morphir.IR.Name as Name
 import Morphir.IR.Path exposing (Path)
@@ -13,6 +15,17 @@ moduleName =
     [ [ "bool" ] ]
 
 
+moduleDeclaration : Module.Declaration ()
+moduleDeclaration =
+    { types =
+        Dict.fromList
+            [ ( [ "bool" ], OpaqueTypeDeclaration [] )
+            ]
+    , values =
+        Dict.empty
+    }
+
+
 fromLocalName : String -> FQName
 fromLocalName name =
     name

diff --git a/src/Morphir/IR/SDK/Float.elm b/src/Morphir/IR/SDK/Float.elm
@@ -1,6 +1,8 @@
 module Morphir.IR.SDK.Float exposing (..)
 
-import Morphir.IR.Advanced.Type exposing (Type(..))
+import Dict
+import Morphir.IR.Advanced.Module as Module
+import Morphir.IR.Advanced.Type exposing (Declaration(..), Type(..))
 import Morphir.IR.FQName as FQName exposing (FQName)
 import Morphir.IR.Name as Name
 import Morphir.IR.Path exposing (Path)
@@ -13,6 +15,17 @@ moduleName =
     [ [ "float" ] ]
 
 
+moduleDeclaration : Module.Declaration ()
+moduleDeclaration =
+    { types =
+        Dict.fromList
+            [ ( [ "float" ], OpaqueTypeDeclaration [] )
+            ]
+    , values =
+        Dict.empty
+    }
+
+
 fromLocalName : String -> FQName
 fromLocalName name =
     name

diff --git a/src/Morphir/IR/SDK/List.elm b/src/Morphir/IR/SDK/List.elm
@@ -1,6 +1,8 @@
 module Morphir.IR.SDK.List exposing (..)
 
-import Morphir.IR.Advanced.Type exposing (Type(..))
+import Dict
+import Morphir.IR.Advanced.Module as Module
+import Morphir.IR.Advanced.Type exposing (Declaration(..), Type(..))
 import Morphir.IR.FQName as FQName exposing (FQName)
 import Morphir.IR.Name as Name
 import Morphir.IR.Path exposing (Path)
@@ -13,6 +15,17 @@ moduleName =
     [ [ "list" ] ]
 
 
+moduleDeclaration : Module.Declaration ()
+moduleDeclaration =
+    { types =
+        Dict.fromList
+            [ ( [ "list" ], OpaqueTypeDeclaration [ [ "a" ] ] )
+            ]
+    , values =
+        Dict.empty
+    }
+
+
 fromLocalName : String -> FQName
 fromLocalName name =
     name

diff --git a/src/Morphir/IR/SDK/Maybe.elm b/src/Morphir/IR/SDK/Maybe.elm
@@ -1,6 +1,8 @@
 module Morphir.IR.SDK.Maybe exposing (..)
 
-import Morphir.IR.Advanced.Type exposing (Type(..))
+import Dict
+import Morphir.IR.Advanced.Module as Module
+import Morphir.IR.Advanced.Type as Type exposing (Declaration(..), Type(..))
 import Morphir.IR.FQName as FQName exposing (FQName)
 import Morphir.IR.Name as Name
 import Morphir.IR.Path exposing (Path)
@@ -13,6 +15,22 @@ moduleName =
     [ [ "maybe" ] ]
 
 
+moduleDeclaration : Module.Declaration ()
+moduleDeclaration =
+    { types =
+        Dict.fromList
+            [ ( [ "maybe" ]
+              , CustomTypeDeclaration [ [ "a" ] ]
+                    [ ( [ "just" ], [ ( [ "value" ], Type.Variable [ "a" ] () ) ] )
+                    , ( [ "nothing" ], [] )
+                    ]
+              )
+            ]
+    , values =
+        Dict.empty
+    }
+
+
 fromLocalName : String -> FQName
 fromLocalName name =
     name

diff --git a/src/Morphir/IR/SDK/String.elm b/src/Morphir/IR/SDK/String.elm
@@ -1,6 +1,8 @@
 module Morphir.IR.SDK.String exposing (..)
 
-import Morphir.IR.Advanced.Type exposing (Type(..))
+import Dict
+import Morphir.IR.Advanced.Module as Module
+import Morphir.IR.Advanced.Type exposing (Declaration(..), Type(..))
 import Morphir.IR.FQName as FQName exposing (FQName)
 import Morphir.IR.Name as Name
 import Morphir.IR.Path exposing (Path)
@@ -13,6 +15,17 @@ moduleName =
     [ [ "string" ] ]
 
 
+moduleDeclaration : Module.Declaration ()
+moduleDeclaration =
+    { types =
+        Dict.fromList
+            [ ( [ "string" ], OpaqueTypeDeclaration [] )
+            ]
+    , values =
+        Dict.empty
+    }
+
+
 fromLocalName : String -> FQName
 fromLocalName name =
     name