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 #

Methods

toSignalInt :: Signal a -> Signal Int Source #

fromSignalInt :: Signal Int -> Signal a 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