chalmers-lava2000-1.5.1: Hardware description EDSL
Lava.Operators
and2 :: (Signal Bool, Signal Bool) -> Signal Bool Source
or2 :: (Signal Bool, Signal Bool) -> Signal Bool Source
xor2 :: (Signal Bool, Signal Bool) -> Signal Bool Source
nand2 :: (Signal Bool, Signal Bool) -> Signal Bool Source
nor2 :: (Signal Bool, Signal Bool) -> Signal Bool Source
xnor2 :: (Signal Bool, Signal Bool) -> Signal Bool Source
equiv :: (Signal Bool, Signal Bool) -> Signal Bool Source
impl :: (Signal Bool, Signal Bool) -> Signal Bool Source
nandl :: [Signal Bool] -> Signal Bool Source
norl :: [Signal Bool] -> Signal Bool Source
plus :: (Signal Int, Signal Int) -> Signal Int Source
sub :: (Signal Int, Signal Int) -> Signal Int Source
times :: (Signal Int, Signal Int) -> Signal Int Source
imod :: (Signal Int, Signal Int) -> Signal Int Source
idiv :: (Signal Int, Signal Int) -> Signal Int Source
(|->) :: Generic a => a -> a -> a infixr 1 Source
(<==>) :: Generic a => a -> a -> Signal Bool infix 4 Source
(<&>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 3 Source
(<|>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2 Source
(<#>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2 Source
(<=>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2 Source
(==>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2 Source
(<==) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2 Source
(%%) :: Signal Int -> Signal Int -> Signal Int Source
gte :: (Signal Int, Signal Int) -> Signal Bool Source
(>>==) :: Signal Int -> Signal Int -> Signal Bool Source
imin :: (Signal Int, Signal Int) -> Signal Int Source
imax :: (Signal Int, Signal Int) -> Signal Int Source
class SignalInt a where Source
Methods
toSignalInt :: Signal a -> Signal Int Source
fromSignalInt :: Signal Int -> Signal a Source
Instances
int2bit :: Signal Int -> Signal Bool Source
bit2int :: Signal Bool -> Signal Int Source