Accept various builtin types in type expressions

1 files changed, 43 insertions, 0 deletions

diff --git a/src/Run/Builtins.hs b/src/Run/Builtins.hs
new file mode 100644
index 0000000..409e723
--- /dev/null
+++ b/src/Run/Builtins.hs
@@ -0,0 +1,43 @@
+module Run.Builtins (
+    module Run,
+    loadModules,
+) where
+
+import Data.Proxy
+import Data.Scientific
+import Data.Text (Text)
+import Data.Void
+
+import Asset (Asset)
+import Network (Network, Node)
+import Parser (CustomTestError)
+import Process (Process)
+import Process.Signal (Signal)
+import Run
+import Script.Expr
+import Test (Test, Tag)
+
+
+builtinTypes :: [ SomePrimType ]
+builtinTypes =
+    [ SomePrimType @() Proxy
+    , SomePrimType @Integer Proxy
+    , SomePrimType @Scientific Proxy
+    , SomePrimType @Bool Proxy
+    , SomePrimType @Text Proxy
+    , SomePrimType @Void Proxy
+    , SomePrimType @Regex Proxy
+
+    , SomePrimType @Test Proxy
+    , SomePrimType @Tag Proxy
+    , SomePrimType @Asset Proxy
+
+    , SomePrimType @Network Proxy
+    , SomePrimType @Node Proxy
+
+    , SomePrimType @Process Proxy
+    , SomePrimType @Signal Proxy
+    ]
+
+loadModules :: [ ( FilePath, Maybe Text ) ] -> IO (Either CustomTestError LoadedModules)
+loadModules = loadModules' builtinTypes