Add Connectable instance for connecting ReadOnly to WriteOnly

B-Lang-org · Jan 24, 2025 · 86236bf · 86236bf
1 parent 934465e
commit 86236bf
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/Libraries/Base1/Connectable.bs b/src/Libraries/Base1/Connectable.bs
@@ -152,3 +152,14 @@ 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
+          {-# ASSERT fire when enabled #-}
+          {-# ASSERT no implicit conditions #-}
+          "write":
+            when True
+             ==> wo._write(ro._read)