chalmers-lava2000-1.6.1: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.Signal

Documentation

newtype Signal a Source #

Constructors

Signal Symbol 

Instances

newtype Symbol Source #

Constructors

Symbol (Ref (S Symbol)) 

Instances

data S s Source #

Constructors

Bool Bool 
Inv s 
And [s] 
Or [s] 
Xor [s] 
VarBool String 
DelayBool s s 
Int Int 
Neg s 
Div s s 
Mod s s 
Plus [s] 
Times [s] 
Gte s s 
Equal [s] 
If s s s 
VarInt String 
DelayInt s s 

Instances

Functor S Source # 

Methods

fmap :: (a -> b) -> S a -> S b #

(<$) :: a -> S b -> S a #

Sequent S Source # 

Methods

sequent :: Monad m => S (m a) -> m (S a) Source #

Show a => Show (S a) Source # 

Methods

showsPrec :: Int -> S a -> ShowS #

show :: S a -> String #

showList :: [S a] -> ShowS #

symbol :: S Symbol -> Symbol Source #

unsymbol :: Symbol -> S Symbol Source #

bool :: Bool -> Signal Bool Source #

low :: Signal Bool Source #

high :: Signal Bool Source #

inv :: Signal Bool -> Signal Bool Source #

andl :: [Signal Bool] -> Signal Bool Source #

orl :: [Signal Bool] -> Signal Bool Source #

xorl :: [Signal Bool] -> Signal Bool Source #

equalBool :: Signal Bool -> Signal Bool -> Signal Bool Source #

ifBool :: Signal Bool -> (Signal Bool, Signal Bool) -> Signal Bool Source #

delayBool :: Signal Bool -> Signal Bool -> Signal Bool Source #

varBool :: String -> Signal Bool Source #

int :: Int -> Signal Int Source #

neg :: Signal Int -> Signal Int Source #

divide :: Signal Int -> Signal Int -> Signal Int Source #

modulo :: Signal Int -> Signal Int -> Signal Int Source #

plusl :: [Signal Int] -> Signal Int Source #

timesl :: [Signal Int] -> Signal Int Source #

equall :: [Signal Int] -> Signal Bool Source #

gteInt :: Signal Int -> Signal Int -> Signal Bool Source #

equalInt :: Signal Int -> Signal Int -> Signal Bool Source #

ifInt :: Signal Bool -> (Signal Int, Signal Int) -> Signal a Source #

delayInt :: Signal Int -> Signal Int -> Signal Int Source #

varInt :: String -> Signal Int Source #

lift0 :: S Symbol -> Signal a Source #

lift1 :: (Symbol -> S Symbol) -> Signal a -> Signal b Source #

lift2 :: (Symbol -> Symbol -> S Symbol) -> Signal a -> Signal b -> Signal c Source #

lift3 :: (Symbol -> Symbol -> Symbol -> S Symbol) -> Signal a -> Signal b -> Signal c -> Signal d Source #

liftl :: ([Symbol] -> S Symbol) -> [Signal a] -> Signal c Source #

eval :: S (S a) -> S a Source #

evalLazy :: S (Maybe (S a)) -> Maybe (S a) Source #

arguments :: S a -> [a] Source #

zips :: S [a] -> [S a] Source #