1 files changed, 26 insertions, 0 deletions
diff --git a/src/VeriFuzz/Env.hs b/src/VeriFuzz/Env.hs
new file mode 100644
index 0000000..85c761e
--- /dev/null
+++ b/src/VeriFuzz/Env.hs
@@ -0,0 +1,26 @@
+{-|
+Module      : VeriFuzz.Env
+Description : Environment to run the simulator and synthesisers in a matrix.
+Copyright   : (c) 2019, Yann Herklotz Grave
+License     : GPL-3
+Maintainer  : ymherklotz [at] gmail [dot] com
+Stability   : experimental
+Portability : POSIX
+
+Environment to run the simulator and synthesisers in a matrix.
+-}
+
+module VeriFuzz.Env where
+
+-- | Environment used to run the main
+data SimMatrix = SimMatrix { yosys  :: Yosys
+                           , xst    :: Maybe Xst
+                           , icarus :: Maybe Icarus
+                           }
+
+type SimEnv = ReaderT SimMatrix IO
+
+runAll :: SimEnv ()
+runAll = do
+  val <- asks xst
+  shelly $ run_ "echo" ["Hello World"]