chalmers-lava2000-1.4.1: Hardware description EDSL

Safe Haskell	None

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 -> aSource

(<==>) :: Generic a => a -> a -> Signal Bool Source

(<&>) :: Signal Bool -> Signal Bool -> Signal Bool Source

(<|>) :: Signal Bool -> Signal Bool -> Signal Bool Source

(<#>) :: Signal Bool -> Signal Bool -> Signal Bool Source

(<=>) :: Signal Bool -> Signal Bool -> Signal Bool Source

(==>) :: Signal Bool -> Signal Bool -> Signal Bool Source

(<==) :: Signal Bool -> Signal Bool -> Signal Bool 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 whereSource

Methods

toSignalInt :: Signal a -> Signal Int Source

fromSignalInt :: Signal Int -> Signal aSource

Instances

int2bit :: Signal Int -> Signal Bool Source

bit2int :: Signal Bool -> Signal Int Source