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