chalmers-lava2000-1.1.1: Hardware description library Source code Contents Index

Lava.Signal

Documentation

newtype Signal a Source

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 Source

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

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

symbol :: S Symbol -> Symbol Source

unsymbol :: Symbol -> S Symbol Source

bool :: Bool -> Signal Bool Source

high :: Signal Bool Source

low :: Signal Bool Source

inv :: Signal Bool -> Signal Bool Source

orl :: [Signal Bool] -> Signal Bool Source

xorl :: [Signal Bool] -> Signal Bool Source

andl :: [Signal Bool] -> Signal Bool Source

equalBool :: Signal Bool -> Signal Bool -> Signal Bool Source

ifBool :: Signal Bool -> (Signal Bool, Signal Bool) -> Signal Bool Source

delayBool :: Signal Bool -> Signal Bool -> Signal Bool Source

varBool :: String -> Signal Bool Source

int :: Int -> Signal Int Source

neg :: Signal Int -> Signal Int Source

modulo :: Signal Int -> Signal Int -> Signal Int Source

divide :: Signal Int -> Signal Int -> Signal Int Source

timesl :: [Signal Int] -> Signal Int Source

plusl :: [Signal Int] -> Signal Int Source

equall :: [Signal Int] -> Signal Bool Source

gteInt :: Signal Int -> Signal Int -> Signal Bool Source

equalInt :: Signal Int -> Signal Int -> Signal Bool Source

ifInt :: Signal Bool -> (Signal Int, Signal Int) -> Signal a Source

delayInt :: Signal Int -> Signal Int -> Signal Int Source

varInt :: String -> Signal Int Source

lift0 :: S Symbol -> Signal a Source

lift1 :: (Symbol -> S Symbol) -> Signal a -> Signal b Source

lift2 :: (Symbol -> Symbol -> S Symbol) -> Signal a -> Signal b -> Signal c Source

lift3 :: (Symbol -> Symbol -> Symbol -> S Symbol) -> Signal a -> Signal b -> Signal c -> Signal d Source

liftl :: ([Symbol] -> S Symbol) -> [Signal a] -> Signal c Source

eval :: S (S a) -> S a Source

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