aboutsummaryrefslogtreecommitdiff
path: root/src/Language/SimpleShell/Parser/Module.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Language/SimpleShell/Parser/Module.hs')
-rw-r--r--src/Language/SimpleShell/Parser/Module.hs44
1 files changed, 44 insertions, 0 deletions
diff --git a/src/Language/SimpleShell/Parser/Module.hs b/src/Language/SimpleShell/Parser/Module.hs
new file mode 100644
index 0000000..01a8975
--- /dev/null
+++ b/src/Language/SimpleShell/Parser/Module.hs
@@ -0,0 +1,44 @@
+module Language.SimpleShell.Parser.Module
+ ( moduleP0
+ , modulePF
+ )
+where
+
+
+import Language.SimpleShell.AST.Module (Module)
+import Language.SimpleShell.AST.Name (FunName, ProcedureName)
+import Language.SimpleShell.AST.SimpleType (FunSig, ProcedureSig)
+import Language.SimpleShell.Parser.Root (RootParser)
+
+import Control.Monad.Reader (ReaderT, runReaderT)
+import Control.Monad.State (StateT, execStateT)
+import Data.Map (Map)
+import qualified Data.Map as Map (empty)
+
+
+type ModuleParser0 = StateT ModuleContext RootParser
+
+type ModuleParser = ReaderT ModuleContext RootParser
+
+moduleP0 :: RootParser ModuleContext
+moduleP0 = execStateT moduleMP0 initModuleContext
+
+modulePF :: ModuleContext -> RootParser Module
+modulePF = runReaderT moduleMP
+
+
+data ModuleContext
+ = ModuleContext
+ (Map FunName FunSig)
+ (Map ProcedureName ProcedureSig)
+
+initModuleContext :: ModuleContext
+initModuleContext = ModuleContext Map.empty Map.empty
+
+
+moduleMP0 :: ModuleParser0 ()
+moduleMP0 = undefined
+
+
+moduleMP :: ModuleParser Module
+moduleMP = undefined