Lava.SequentialCircuits

Documentation

edge :: Signal Bool -> Signal Bool

toggle :: Signal Bool -> Signal Bool

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

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

always :: Signal Bool -> Signal Bool

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

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

outputList :: Generic b => [b] -> () -> b

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

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

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