From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Fri, 6 Feb 2009 08:36:59 +0000 (+0100)
Subject: Add a new module "Flatten".
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fc%CE%BBash.git;a=commitdiff_plain;h=17a24cefad374d2ac91e3249867ff291fe0a761e

Add a new module "Flatten".

Only contains data structures so far, but this module will also contain
code for translaten Core to FlatFunctions.
---

diff --git a/Flatten.hs b/Flatten.hs
new file mode 100644
index 0000000..a6b3be8
--- /dev/null
+++ b/Flatten.hs
@@ -0,0 +1,68 @@
+module Flatten where
+import Translator (HsValueMap)
+
+
+data FlatFunction = FlatFunction {
+  args   :: [SignalDefMap],
+  res    :: SignalUseMap,
+  --sigs   :: [SignalDef],
+  apps   :: [App],
+  conds  :: [CondDef]
+} deriving (Show, Eq)
+    
+type SignalUseMap = HsValueMap SignalUse
+type SignalDefMap = HsValueMap SignalDef
+
+data SignalUse = SignalUse {
+  sigUseId :: Int
+} deriving (Show, Eq)
+
+data SignalDef = SignalDef {
+  sigDefId :: Int
+} deriving (Show, Eq)
+
+data App = App {
+  appFunc :: HsFunction,
+  appArgs :: [SignalUseMap],
+  appRes  :: SignalDefMap
+} deriving (Show, Eq)
+
+data CondDef = CondDef {
+  cond    :: SignalUse,
+  high    :: SignalUse,
+  low     :: SignalUse,
+  condRes :: SignalDef
+} deriving (Show, Eq)
+
+-- | How is a given (single) value in a function's type (ie, argument or
+-- return value) used?
+data HsValueUse = 
+  Port           -- ^ Use it as a port (input or output)
+  | State Int    -- ^ Use it as state (input or output). The int is used to
+                 --   match input state to output state.
+  | HighOrder {  -- ^ Use it as a high order function input
+    hoName :: String,  -- ^ Which function is passed in?
+    hoArgs :: [HsUseMap]   -- ^ Which arguments are already applied? This
+                         -- ^ map should only contain Port and other
+                         --   HighOrder values. 
+  }
+  deriving (Show, Eq)
+
+type HsUseMap = HsValueMap HsValueUse
+
+data HsFunction = HsFunction {
+  hsFuncName :: String,
+  hsFuncArgs :: [HsUseMap],
+  hsFuncRes  :: HsUseMap
+} deriving (Show, Eq)
+
+type BindMap = [(
+  String,              -- ^ The bind name
+  Either               -- ^ The bind value which is either
+    SignalUse          -- ^ a signal
+    (
+      HsValueUse,      -- ^ or a HighOrder function
+      [SignalUse]      -- ^ With these signals already applied to it
+    )
+  )]
+-- vim: set ts=8 sw=2 sts=2 expandtab: