chalmers-lava2000-1.1.1: Hardware description libraryContentsIndex
Lava.Signal
Documentation
newtype Signal a
Constructors
Signal Symbol
show/hide Instances
newtype Symbol
Constructors
Symbol (Ref (S Symbol))
show/hide Instances
data S s
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
show/hide Instances
symbol :: S Symbol -> Symbol
unsymbol :: Symbol -> S Symbol
bool :: Bool -> Signal Bool
high :: Signal Bool
low :: Signal Bool
inv :: Signal Bool -> Signal Bool
orl :: [Signal Bool] -> Signal Bool
xorl :: [Signal Bool] -> Signal Bool
andl :: [Signal Bool] -> Signal Bool
equalBool :: Signal Bool -> Signal Bool -> Signal Bool
ifBool :: Signal Bool -> (Signal Bool, Signal Bool) -> Signal Bool
delayBool :: Signal Bool -> Signal Bool -> Signal Bool
varBool :: String -> Signal Bool
int :: Int -> Signal Int
neg :: Signal Int -> Signal Int
modulo :: Signal Int -> Signal Int -> Signal Int
divide :: Signal Int -> Signal Int -> Signal Int
timesl :: [Signal Int] -> Signal Int
plusl :: [Signal Int] -> Signal Int
equall :: [Signal Int] -> Signal Bool
gteInt :: Signal Int -> Signal Int -> Signal Bool
equalInt :: Signal Int -> Signal Int -> Signal Bool
ifInt :: Signal Bool -> (Signal Int, Signal Int) -> Signal a
delayInt :: Signal Int -> Signal Int -> Signal Int
varInt :: String -> Signal Int
lift0 :: S Symbol -> Signal a
lift1 :: (Symbol -> S Symbol) -> Signal a -> Signal b
lift2 :: (Symbol -> Symbol -> S Symbol) -> Signal a -> Signal b -> Signal c
lift3 :: (Symbol -> Symbol -> Symbol -> S Symbol) -> Signal a -> Signal b -> Signal c -> Signal d
liftl :: ([Symbol] -> S Symbol) -> [Signal a] -> Signal c
eval :: S (S a) -> S a
evalLazy :: S (Maybe (S a)) -> Maybe (S a)
arguments :: S a -> [a]
zips :: S [a] -> [S a]
Produced by Haddock version 2.6.0