| ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
Documentation | ||||||||||||||||||||||||||||||||||||||||
newtype Signal a | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
newtype Symbol | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
data S s | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
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 |