bs/Bus.bs

@@ -2,11 +2,16 @@ package Bus(a) where
 
 import Types
 import BusTypes
+import TagEngine
+import Vector
 
 interface (TestType :: * -> *) t = {}
     -- doSomething :: t -> Action
 
-mkTestType :: (Bits t n, Arith t, Eq t) => Module (TestType t)
+mkTestType :: (
+                Bits t n, Arith t, Eq t
+                )
+           => Module (TestType t)
 mkTestType = do
     return $ interface TestType {}
 
@@ -16,5 +21,15 @@ mkTestTop = do
     testType <- mkTestType
     return $ interface Empty { }
 
+mkBus :: Vector numClients (BusClient (UInt (TLog numClients)))
+      -> Vector numServers (BusServer (UInt (TLog numClients)) clientTagType)
+      -> Module Empty
+mkBus clientVec serverVec = do
+    tagEngineByClient :: Vector numClients (TagEngine (TLog numClients))
+    tagEngineByClient <- replicateM mkTagEngine
+
+    return $ interface Empty { }
+
+
 a :: UInt 5
 a = 3

bs/BusTypes.bs

@@ -1,4 +1,5 @@
 package BusTypes(
+    Bus(..),
     BusClient(..), BusServer(..),
     BusRequest(..), BusResponse(..),
     ReadRequest(..), ReadResponse(..), WriteRequest(..), WriteResponse(..),
@@ -87,10 +88,6 @@ interface (BusServer :: * -> * -> *) transactionTagType clientTagType =
   dequeueResponse :: ActionValue (clientTagType, BusResponse, transactionTagType)
   peekClientTagDestination :: clientTagTye
 
-interface (Bus :: # -> # -> * -> * -> *) numClients numServers transactionTagType clientTagType =
-  clients :: Vector numClients (BusClient transactionTagType)
-  servers :: Vector numServers (BusServer transactionTagType clientTagType)
-
 type Token = UInt 5
 type Numeric = 5