chalmers-lava2000-1.6.1: Hardware description EDSL

Safe Haskell	None
Language	Haskell98

Lava.Operators

Contents

Orphan instances

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 #

Minimal complete definition

toSignalInt, fromSignalInt

Methods

toSignalInt :: Signal a -> Signal Int Source #

fromSignalInt :: Signal Int -> Signal a Source #

Instances

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 #