Lava.SequentialCircuits

Documentation

edge :: Signal Bool -> Signal Bool

toggle :: Signal Bool -> Signal Bool

delayClk :: (Choice t, Generic t) => t -> (Signal Bool, t) -> t

delayN :: (Generic t, Num a, Eq a) => a -> t -> t -> t

always :: Signal Bool -> Signal Bool

constant :: Constructive t => t -> Signal Bool

puls :: (Eq t, Num t) => t -> () -> Signal Bool

outputList :: (Generic b, Foldable t) => t b -> () -> b

rowSeq :: Constructive t => ((t, t2) -> (t1, t)) -> t2 -> t1

rowSeqReset :: (Constructive t, Choice t) => ((t, t2) -> (t1, t)) -> (Signal Bool, t2) -> t1

rowSeqPeriod :: (Choice t, Constructive t, Num t3, Eq t3) => t3 -> ((t, t2) -> (t1, t)) -> t2 -> t1