chalmers-lava2000-1.0.2: Hardware description library

Lava2000.Signal

Documentation

newtype Signal a Source

Constructors

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 aSource

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

varInt :: String -> Signal Int Source

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