chalmers-lava2000-1.5: Hardware description EDSL

Safe Haskell	None
Language	Haskell98

Lava.Operators

Documentation

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