chalmers-lava2000-1.6.1: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.SequentialCircuits

Documentation

edge :: Signal Bool -> Signal Bool Source #

toggle :: Signal Bool -> Signal Bool Source #

delayClk :: (Generic b, Choice b) => b -> (Signal Bool, b) -> b Source #

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

always :: Signal Bool -> Signal Bool Source #

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

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

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

rowSeq :: Constructive a1 => ((a1, b) -> (a2, a1)) -> b -> a2 Source #

rowSeqReset :: (Constructive a1, Choice a1) => ((a1, b) -> (a2, a1)) -> (Signal Bool, b) -> a2 Source #

rowSeqPeriod :: (Eq a1, Num a1, Constructive a2, Choice a2) => a1 -> ((a2, b) -> (a3, a2)) -> b -> a3 Source #