Multiplex (#45)

bayeux.cabal

@@ -30,6 +30,7 @@ library
                     , Bayeux.Ice40.Spi
                     , Bayeux.Ice40.Spram
                     , Bayeux.Lp
+                    , Bayeux.Mux
                     , Bayeux.Rtl
                     , Bayeux.Signal
                     , Bayeux.Tableaux

lib/Bayeux/Mux.hs

@@ -0,0 +1,26 @@
+-- | [Multiplex](https://en.wikipedia.org/wiki/Multiplexer)
+module Bayeux.Mux
+  ( MonadMux(..)
+  ) where
+
+import Bayeux.Rtl hiding (mux)
+import Bayeux.Signal
+import Bayeux.Width
+import Control.Monad.Writer
+import Yosys.Rtl
+
+class MonadMux m where
+  mux :: Width a
+      => Sig a     -- ^ 'False'
+      -> Sig a     -- ^ 'True'
+      -> Sig Bool
+      -> m (Sig a)
+
+instance MonadMux Rtl where
+  mux f t s = do
+    y   <- freshWire w
+    cId <- freshCellId
+    tell [ModuleBodyCell $ muxC cId w (spec f) (spec t) (spec s) y]
+    return $ Sig y
+    where
+      w = width f

lib/Bayeux/Rtl.hs

@@ -174,7 +174,7 @@ instance MonadRtl Rtl where
     y <- freshWire 1
     tell [ModuleBodyConnStmt $ ConnStmt y (SigSpecSlice sigSpec ix Nothing)]
     return y
-  
+
   mux w s a b = do
     y <- freshWire w
     cId <- freshCellId