Lava.Arithmetic

Documentation

halfAdd :: (Signal Bool, Signal Bool) -> (Signal Bool, Signal Bool)

fullAdd :: (Signal Bool, (Signal Bool, Signal Bool)) -> (Signal Bool, Signal Bool)

bitAdder :: (Signal Bool, [Signal Bool]) -> ([Signal Bool], Signal Bool)

adder :: (Signal Bool, ([Signal Bool], [Signal Bool])) -> ([Signal Bool], Signal Bool)

binAdder :: ([Signal Bool], [Signal Bool]) -> [Signal Bool]

bitMulti :: (Signal Bool, [Signal Bool]) -> [Signal Bool]

multi :: ([Signal Bool], [Signal Bool]) -> [Signal Bool]

numBreak :: Signal Int -> (Signal Bool, Signal Int)

int2bin :: (Num a, Eq a) => a -> Signal Int -> [Signal Bool]

bin2int :: [Signal Bool] -> Signal Int