Lava.Operators

Documentation

and2 :: (Signal Bool, Signal Bool) -> Signal Bool

or2 :: (Signal Bool, Signal Bool) -> Signal Bool

xor2 :: (Signal Bool, Signal Bool) -> Signal Bool

nand2 :: (Signal Bool, Signal Bool) -> Signal Bool

nor2 :: (Signal Bool, Signal Bool) -> Signal Bool

xnor2 :: (Signal Bool, Signal Bool) -> Signal Bool

equiv :: (Signal Bool, Signal Bool) -> Signal Bool

impl :: (Signal Bool, Signal Bool) -> Signal Bool

nandl :: [Signal Bool] -> Signal Bool

norl :: [Signal Bool] -> Signal Bool

plus :: (Signal Int, Signal Int) -> Signal Int

sub :: (Signal Int, Signal Int) -> Signal Int

times :: (Signal Int, Signal Int) -> Signal Int

imod :: (Signal Int, Signal Int) -> Signal Int

idiv :: (Signal Int, Signal Int) -> Signal Int

(|->) :: Generic a => a -> a -> a infixr 1

(<==>) :: Generic a => a -> a -> Signal Bool infix 4

(<&>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 3

(<|>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2

(<#>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2

(<=>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2

(==>) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2

(<==) :: Signal Bool -> Signal Bool -> Signal Bool infixr 2

(%%) :: Signal Int -> Signal Int -> Signal Int

gte :: (Signal Int, Signal Int) -> Signal Bool

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

imin :: (Signal Int, Signal Int) -> Signal Int

imax :: (Signal Int, Signal Int) -> Signal Int

class SignalInt a where

Minimal complete definition

toSignalInt, fromSignalInt

Methods

toSignalInt :: Signal a -> Signal Int

fromSignalInt :: Signal Int -> Signal a

Instances

SignalInt Int

Methods

toSignalInt :: Signal Int -> Signal Int

fromSignalInt :: Signal Int -> Signal Int

int2bit :: Signal Int -> Signal Bool

bit2int :: Signal Bool -> Signal Int

Orphan instances

SignalInt a => Enum (Signal a)

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)

Methods

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

recip :: Signal a -> Signal a

fromRational :: Rational -> Signal a

SignalInt a => Num (Signal a)

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)

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