chalmers-lava2000-1.6: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.SequentialCircuits

Documentation

edge :: Signal Bool -> Signal Bool Source

toggle :: Signal Bool -> Signal Bool Source

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

delayN :: (Eq a, Num a, Generic a1) => a -> a1 -> a1 -> a1 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 t1 => ((t1, t2) -> (t, t1)) -> t2 -> t Source

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

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