chalmers-lava2000-1.6.1: Hardware description EDSL
Lava.Operators
Contents
and2 :: (Signal Bool, Signal Bool) -> Signal Bool #
or2 :: (Signal Bool, Signal Bool) -> Signal Bool #
xor2 :: (Signal Bool, Signal Bool) -> Signal Bool #
nand2 :: (Signal Bool, Signal Bool) -> Signal Bool #
nor2 :: (Signal Bool, Signal Bool) -> Signal Bool #
xnor2 :: (Signal Bool, Signal Bool) -> Signal Bool #
equiv :: (Signal Bool, Signal Bool) -> Signal Bool #
impl :: (Signal Bool, Signal Bool) -> Signal Bool #
nandl :: [Signal Bool] -> Signal Bool #
norl :: [Signal Bool] -> Signal Bool #
plus :: (Signal Int, Signal Int) -> Signal Int #
sub :: (Signal Int, Signal Int) -> Signal Int #
times :: (Signal Int, Signal Int) -> Signal Int #
imod :: (Signal Int, Signal Int) -> Signal Int #
idiv :: (Signal Int, Signal Int) -> Signal Int #
(|->) :: Generic a => a -> a -> a infixr 1 #
(<==>) :: Generic a => a -> a -> Signal Bool infix 4 #
(<&>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 3 #
(<|>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2 #
(<#>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2 #
(<=>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2 #
(==>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2 #
(<==) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2 #
(%%) :: Signal Int -> Signal Int -> Signal Int #
gte :: (Signal Int, Signal Int) -> Signal Bool #
(>>==) :: Signal Int -> Signal Int -> Signal Bool #
imin :: (Signal Int, Signal Int) -> Signal Int #
imax :: (Signal Int, Signal Int) -> Signal Int #
class SignalInt a where #
Minimal complete definition
toSignalInt, fromSignalInt
Methods
toSignalInt :: Signal a -> Signal Int #
fromSignalInt :: Signal Int -> Signal a #
Instances
toSignalInt :: Signal Int -> Signal Int #
fromSignalInt :: Signal Int -> Signal Int #
int2bit :: Signal Int -> Signal Bool #
bit2int :: Signal Bool -> Signal Int #
succ :: Signal a -> Signal a #
pred :: Signal a -> Signal a #
toEnum :: Int -> Signal a #
fromEnum :: Signal a -> Int #
enumFrom :: Signal a -> [Signal a] #
enumFromThen :: Signal a -> Signal a -> [Signal a] #
enumFromTo :: Signal a -> Signal a -> [Signal a] #
enumFromThenTo :: Signal a -> Signal a -> Signal a -> [Signal a] #
(/) :: Signal a -> Signal a -> Signal a #
recip :: Signal a -> Signal a #
fromRational :: Rational -> Signal a #
(+) :: Signal a -> Signal a -> Signal a #
(-) :: Signal a -> Signal a -> Signal a #
(*) :: Signal a -> Signal a -> Signal a #
negate :: Signal a -> Signal a #
abs :: Signal a -> Signal a #
signum :: Signal a -> Signal a #
fromInteger :: Integer -> Signal a #
compare :: Signal a -> Signal a -> Ordering #
(<) :: Signal a -> Signal a -> Bool #
(<=) :: Signal a -> Signal a -> Bool #
(>) :: Signal a -> Signal a -> Bool #
(>=) :: Signal a -> Signal a -> Bool #
max :: Signal a -> Signal a -> Signal a #
min :: Signal a -> Signal a -> Signal a #