chalmers-lava2000-1.6.1: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.SequentialCircuits

Documentation

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

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

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

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

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

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

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