chalmers-lava2000-1.1.1: Hardware description library Contents Index

Lava.Signal

Documentation

newtype Signal a

Constructors Signal Symbol Instances SignalInt a => Enum (Signal a) Eq (Signal a) SignalInt a => Fractional (Signal a) SignalInt a => Num (Signal a) SignalInt a => Ord (Signal a) Show (Signal a) Choice (Signal a) FiniteSig a => Finite (Signal a) ConstructiveSig a => Constructive (Signal a) Generic (Signal a) ShowModel (Signal a) Checkable a => Checkable (Signal a) ChoiceWithSig a => CoFresh (Signal a) ConstructiveSig a => Fresh (Signal a)

newtype Symbol

Constructors Symbol (Ref (S Symbol)) Instances Show Symbol Choice Symbol Generic Symbol

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 Instances Functor S Sequent S Show a => Show (S a)

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