chalmers-lava2000-1.3: Hardware description library

Safe HaskellNone

Lava.SequentialCircuits

Documentation

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

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

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

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

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

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

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