chalmers-lava2000-1.5: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.SequentialCircuits

Documentation

edge :: Signal Bool -> Signal Bool Source

toggle :: Signal Bool -> Signal Bool Source

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

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

always :: Signal Bool -> Signal Bool Source

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

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

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

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

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

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