-------------------------------------------------------------------------------
--- $Id: Serial.hs#1 2009/10/01 10:31:09 REDMOND\\satnams $
-------------------------------------------------------------------------------

module Lava.Serial
where

infixr 5 >->

-------------------------------------------------------------------------------

(>->) :: Monad m => (a-> m b) -> (b-> m c) -> (a-> m c)
(>->) circuit1 circuit2 input1 
  = do ir <- circuit1 input1
       circuit2 ir

-------------------------------------------------------------------------------

hRepN :: Monad m => Int -> (a -> m a) -> (a -> m a)
hRepN 1 circuit = circuit
hRepN n circuit = circuit >-> hRepN (n-1) circuit 

-------------------------------------------------------------------------------