chalmers-lava2000-1.6.1: Hardware description EDSL
Lava.Signal
newtype Signal a #
Constructors
Instances
Methods
(==) :: Signal a -> Signal a -> Bool #
(/=) :: Signal a -> Signal a -> Bool #
showsPrec :: Int -> Signal a -> ShowS #
show :: Signal a -> String #
showList :: [Signal a] -> ShowS #
ifThenElse :: Signal Bool -> (Signal a, Signal a) -> Signal a #
domain :: [Signal a] #
zero :: Signal a #
var :: String -> Signal a #
random :: Rnd -> Signal a #
struct :: Signal a -> Struct Symbol #
construct :: Struct Symbol -> Signal a #
showModel :: Model -> Signal a -> [String] #
property :: Signal a -> Property #
cofresh :: (Choice b, Fresh b) => Gen b -> Gen (Signal a -> b) #
fresh :: Gen (Signal a) #
newtype Symbol #
showsPrec :: Int -> Symbol -> ShowS #
show :: Symbol -> String #
showList :: [Symbol] -> ShowS #
ifThenElse :: Signal Bool -> (Symbol, Symbol) -> Symbol #
struct :: Symbol -> Struct Symbol #
construct :: Struct Symbol -> Symbol #
data S s #
fmap :: (a -> b) -> S a -> S b #
(<$) :: a -> S b -> S a #
sequent :: Monad m => S (m a) -> m (S a) #
showsPrec :: Int -> S a -> ShowS #
show :: S a -> String #
showList :: [S a] -> ShowS #
symbol :: S Symbol -> Symbol #
unsymbol :: Symbol -> S Symbol #
bool :: Bool -> Signal Bool #
low :: Signal Bool #
high :: Signal Bool #
inv :: Signal Bool -> Signal Bool #
andl :: [Signal Bool] -> Signal Bool #
orl :: [Signal Bool] -> Signal Bool #
xorl :: [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 #
divide :: Signal Int -> Signal Int -> Signal Int #
modulo :: Signal Int -> Signal Int -> Signal Int #
plusl :: [Signal Int] -> Signal Int #
timesl :: [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] #