chalmers-lava2000-1.6.1: Hardware description EDSL
Safe HaskellNone
LanguageHaskell98

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 #

Instances

Instances details
SignalInt Int Source # 
Instance details

Defined in Lava.Operators

Methods

toSignalInt :: Signal Int -> Signal Int Source #

fromSignalInt :: Signal Int -> Signal Int Source #

int2bit :: Signal Int -> Signal Bool Source #

bit2int :: Signal Bool -> Signal Int Source #

Orphan instances

SignalInt a => Enum (Signal a) Source # 
Instance details

Methods

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]

SignalInt a => Fractional (Signal a) Source # 
Instance details

Methods

(/) :: Signal a -> Signal a -> Signal a

recip :: Signal a -> Signal a

fromRational :: Rational -> Signal a

SignalInt a => Num (Signal a) Source # 
Instance details

Methods

(+) :: 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

SignalInt a => Ord (Signal a) Source # 
Instance details

Methods

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