From 0cbbe31c5f16df73dcc3a73b37cac4a72948f3a6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Thu, 27 Aug 2026 20:34:57 +0200
Subject: Accept various builtin types in type expressions

---
 src/Run/Builtins.hs | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 src/Run/Builtins.hs

(limited to 'src/Run/Builtins.hs')

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
-- 
cgit v1.2.3