Add Connectable instance for connecting ReadOnly to WriteOnly

Author: darius-bluespec

src/Libraries/Base1/Connectable.bs

@@ -152,3 +152,12 @@ instance Connectable Action Action
              ==> action
                     a1
                     a2
+
+instance Connectable (ReadOnly a) (WriteOnly a) where
+    mkConnection :: (IsModule m c) => (ReadOnly a) -> (WriteOnly a) -> (m Empty)
+    mkConnection ro wo =
+      module
+        rules
+	  "write":
+	    when True
+	     ==> wo._write(ro._read)